public class DotAttributes
extends java.lang.Object
DotAttributes
class contains all properties which are supported
by DotImport
and DotExport
, i.e. they are set on the
resulting Graph
.Modifier and Type | Field and Description |
---|---|
static java.lang.String |
_NAME__GNE
Specifies the name of a graph, node, or edge (not an attribute), as
retrieved through the graph, node_id, as well as edge_stmt and edgeRHS
grammar rules.
|
static java.lang.String |
_TYPE__G
Specifies the graph type.
|
static java.lang.String |
_TYPE__G__DIGRAPH
This
_TYPE__G value specifies that the edges within the graph
are undirected. |
static java.lang.String |
_TYPE__G__GRAPH
This
_TYPE__G value specifies that the edges within the graph
are directed. |
static java.util.Set<java.lang.String> |
_TYPE__G__VALUES
Defines all possible values for the
_TYPE__G property. |
static java.lang.String |
ARROWHEAD__E
Specifies the 'arrowhead' attribute of an edge.
|
static java.lang.String |
HEAD_LP__E
Specifies the 'head_lp' attribute (head label position) of an edge.
|
static java.lang.String |
HEADLABEL__E
Specifies the tail label of an edge (headlabel).
|
static java.lang.String |
HEIGHT__N
Specified the 'height' attribute of a node.
|
static java.lang.String |
ID__GNE
Specifies the 'id' attribute of a graph, node, or edge.
|
static java.lang.String |
LABEL__GNE
Specifies the 'label' attribute of a graph, node, or edge.
|
static java.lang.String |
LAYOUT__G__CIRCO
This
LAYOUT_G value specifies that the "circo" layout algorithm
is to be used for laying out the graph. |
static java.lang.String |
LAYOUT__G__DEFAULT
Defines the default value for the
LAYOUT_G property, which is
LAYOUT__G__DOT . |
static java.lang.String |
LAYOUT__G__DOT
This
LAYOUT_G value specifies that the "dot" layout algorithm is
to be used for laying out the graph. |
static java.lang.String |
LAYOUT__G__FDP
This
LAYOUT_G value specifies that the "fdp" layout algorithm is
to be used for laying out the graph. |
static java.lang.String |
LAYOUT__G__GRID
This
LAYOUT_G value specifies that the "grid" layout algorithm
is to be used for laying out the graph. |
static java.lang.String |
LAYOUT__G__NEATO
This
LAYOUT_G value specifies that the "neato" layout algorithm
is to be used for laying out the graph. |
static java.lang.String |
LAYOUT__G__OSAGE
This
LAYOUT_G value specifies that the "osage" layout algorithm
is to be used for laying out the graph. |
static java.lang.String |
LAYOUT__G__SFDP
This
LAYOUT_G value specifies that the "sfdp" layout algorithm
is to be used for laying out the graph. |
static java.lang.String |
LAYOUT__G__TWOPI
This
LAYOUT_G value specifies that the "twopi" layout algorithm
is to be used for laying out the graph. |
static java.util.Set<java.lang.String> |
LAYOUT__G__VALUES
Defines all possible values for the
LAYOUT_G property. |
static java.lang.String |
LAYOUT_G
Specifies the layout algorithm which shall be used to layout the graph.
|
static java.lang.String |
LP__E
Specifies 'lp' attribute (label position) of an edge.
|
static java.lang.String |
POS__NE
Specified the 'pos' attribute of a node or edge.
|
static java.lang.String |
RANKDIR__G
Specifies the rankdir property which is passed to the layout algorithm
which is used for laying out the graph.
|
static java.lang.String |
RANKDIR__G__DEFAULT
Defines the default value for the
RANKDIR__G property. |
static java.lang.String |
RANKDIR__G__LR
This
RANKDIR__G value specifies that the graph is to be laid out
horizontally from left to right. |
static java.lang.String |
RANKDIR__G__TD
This
RANKDIR__G value specifies that the graph is to be laid out
vertically from top to bottom. |
static java.util.Set<java.lang.String> |
RANKDIR__G__VALUES
Defines all possible values for the
RANKDIR__G property. |
static java.lang.String |
STYLE__E
Specifies the rendering style of an edge, i.e. if it is solid, dashed,
dotted, etc.
|
static java.lang.String |
STYLE__E__BOLD
This
STYLE__E value specifies that the edge is rendered bold. |
static java.lang.String |
STYLE__E__DASHED
This
STYLE__E value specifies that the edge is rendered dashed. |
static java.lang.String |
STYLE__E__DEFAULT
Defines the default value for the
STYLE__E property, which is
STYLE__E__SOLID . |
static java.lang.String |
STYLE__E__DOTTED
This
STYLE__E value specifies that the edge is rendered dotted. |
static java.lang.String |
STYLE__E__INVIS
This
STYLE__E value specifies that the edge is rendered
invisible. |
static java.lang.String |
STYLE__E__SOLID
This
STYLE__E value specifies that the edge is rendered solid. |
static java.lang.String |
STYLE__E__TAPERED
This
STYLE__E value specifies that the edge is rendered tapered. |
static java.util.Set<java.lang.String> |
STYLE__E__VALUES
Defines all possible values for the
STYLE__E property. |
static java.lang.String |
STYLE__E__VOID
This
STYLE__E value specifies that the edge is rendered with the
void, which means the the original Dot default value is used. |
static java.lang.String |
TAIL_LP__E
Specifies the 'tail_lp' attribute (tail label position) of an edge.
|
static java.lang.String |
TAILLABEL__E
Specifies the tail label of an edge (taillabel).
|
static java.lang.String |
WIDTH__N
Specified the 'width' attribute of a node.
|
static java.lang.String |
XLABEL__NE
Specifies the external label of an node.
|
static java.lang.String |
XLP__NE
Specifies the 'xlp' attribute (external label position) of a node or
edge.
|
Constructor and Description |
---|
DotAttributes() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getArrowHead(org.eclipse.gef4.graph.Edge edge)
Returns the value of the
ARROWHEAD__E property of the given
Edge . |
static org.eclipse.gef4.dot.internal.parser.arrowtype.ArrowType |
getArrowHeadParsed(org.eclipse.gef4.graph.Edge edge)
Returns the (parsed) value of the
ARROWHEAD__E property of the
given Edge . |
static java.lang.String |
getHeadLabel(org.eclipse.gef4.graph.Edge edge)
Returns the value of the
HEADLABEL__E property of the given
Edge . |
static java.lang.String |
getHeadLp(org.eclipse.gef4.graph.Edge edge)
Returns the value of the
HEAD_LP__E property of the given
Node . |
static org.eclipse.gef4.dot.internal.parser.point.Point |
getHeadLpParsed(org.eclipse.gef4.graph.Edge edge)
Returns the (parsed) value of the
HEAD_LP__E property of the
given Node . |
static java.lang.String |
getHeight(org.eclipse.gef4.graph.Node node)
Returns the value of the
HEIGHT__N property of the given
Node . |
static java.lang.String |
getId(org.eclipse.gef4.graph.Edge edge)
Returns the value of the
ID__GNE property of the given
Edge . |
static java.lang.String |
getId(org.eclipse.gef4.graph.Graph graph)
Returns the value of the
ID__GNE property of the given
Graph . |
static java.lang.String |
getId(org.eclipse.gef4.graph.Node node)
Returns the value of the
ID__GNE property of the given
Node . |
static java.lang.String |
getLabel(org.eclipse.gef4.graph.Edge edge)
Returns the value of the
LABEL__GNE property of the given
Edge . |
static java.lang.String |
getLabel(org.eclipse.gef4.graph.Node node)
Returns the value of the
LABEL__GNE property of the given
Node . |
static java.lang.String |
getLayout(org.eclipse.gef4.graph.Graph graph)
Returns the value of the
LAYOUT_G property of the given
Graph . |
static java.lang.String |
getLp(org.eclipse.gef4.graph.Edge edge)
Returns the value of the
LP__E property of the given
Node . |
static org.eclipse.gef4.dot.internal.parser.point.Point |
getLpParsed(org.eclipse.gef4.graph.Edge edge)
Returns the (parsed) value of the
LP__E property of the given
Node . |
static java.lang.String |
getName(org.eclipse.gef4.graph.Edge edge)
Returns the value of the
_NAME__GNE property of the given
Edge . |
static java.lang.String |
getName(org.eclipse.gef4.graph.Graph graph)
Returns the value of the
_NAME__GNE property of the given
Edge . |
static java.lang.String |
getName(org.eclipse.gef4.graph.Node node)
Returns the value of the
_NAME__GNE property of the given
Node . |
static java.lang.String |
getPos(org.eclipse.gef4.graph.Edge edge)
Returns the value of the
POS__NE property of the given
Node . |
static java.lang.String |
getPos(org.eclipse.gef4.graph.Node node)
Returns the value of the
POS__NE property of the given
Node . |
static org.eclipse.gef4.dot.internal.parser.splinetype.SplineType |
getPosParsed(org.eclipse.gef4.graph.Edge edge)
Returns the (parsed) value of the
POS__NE property of the given
Edge . |
static org.eclipse.gef4.dot.internal.parser.point.Point |
getPosParsed(org.eclipse.gef4.graph.Node node)
Returns the (parsed) value of the
POS__NE property of the given
Node . |
static java.lang.String |
getRankdir(org.eclipse.gef4.graph.Graph graph)
Returns the value of the
RANKDIR__G property of the given
Graph . |
static java.lang.String |
getStyle(org.eclipse.gef4.graph.Edge edge)
Returns the value of the
STYLE__E property of the given
Edge . |
static java.lang.String |
getTailLabel(org.eclipse.gef4.graph.Edge edge)
Returns the value of the
TAILLABEL__E property of the given
Edge . |
static java.lang.String |
getTailLp(org.eclipse.gef4.graph.Edge edge)
Returns the value of the
TAIL_LP__E property of the given
Node . |
static org.eclipse.gef4.dot.internal.parser.point.Point |
getTailLpParsed(org.eclipse.gef4.graph.Edge edge)
Returns the (parsed) value of the
TAIL_LP__E property of the
given Node . |
static java.lang.String |
getType(org.eclipse.gef4.graph.Graph graph)
Returns the value of the
_TYPE__G property of the given
Graph . |
static java.lang.String |
getWidth(org.eclipse.gef4.graph.Node node)
Returns the value of the
WIDTH__N property of the given
Node . |
static java.lang.String |
getXLabel(org.eclipse.gef4.graph.Edge edge)
Returns the value of the
XLABEL__NE property of the given
Edge . |
static java.lang.String |
getXLabel(org.eclipse.gef4.graph.Node node)
Returns the value of the
XLABEL__NE property of the given
Node . |
static java.lang.String |
getXlp(org.eclipse.gef4.graph.Edge edge)
Returns the value of the
XLP__NE property of the given
Edge . |
static java.lang.String |
getXlp(org.eclipse.gef4.graph.Node node)
Returns the value of the
XLP__NE property of the given
Node . |
static org.eclipse.gef4.dot.internal.parser.point.Point |
getXlpParsed(org.eclipse.gef4.graph.Edge edge)
Returns the (parsed) value of the
XLP__NE property of the given
Node . |
static org.eclipse.gef4.dot.internal.parser.point.Point |
getXlpParsed(org.eclipse.gef4.graph.Node node)
Returns the (parsed) value of the
XLP__NE property of the given
Node . |
static boolean |
isValidArrowType(java.lang.String arrowType) |
static void |
setArrowHead(org.eclipse.gef4.graph.Edge edge,
java.lang.String arrowHead)
Sets the
ARROWHEAD__E property of the given Edge to the
given arrowHead value. |
static void |
setHeadLabel(org.eclipse.gef4.graph.Edge edge,
java.lang.String label)
Sets the
HEADLABEL__E property of the given Edge to the
given label value. |
static void |
setHeadLp(org.eclipse.gef4.graph.Edge edge,
java.lang.String headLp)
Sets the
HEAD_LP__E property of the given Edge to the
given headLp value. |
static void |
setHeight(org.eclipse.gef4.graph.Node node,
java.lang.String height)
Sets the
HEIGHT__N property of the given Node to the
given value. |
static void |
setId(org.eclipse.gef4.graph.Edge edge,
java.lang.String id)
Sets the
ID__GNE property of the given Edge to the given
id value. |
static void |
setId(org.eclipse.gef4.graph.Graph graph,
java.lang.String id)
Sets the
ID__GNE property of the given Graph to the
given id value. |
static void |
setId(org.eclipse.gef4.graph.Node node,
java.lang.String id)
Sets the
ID__GNE property of the given Node to the given
id value. |
static void |
setLabel(org.eclipse.gef4.graph.Edge edge,
java.lang.String label)
Sets the
LABEL__GNE property of the given Edge to the
given label value. |
static void |
setLabel(org.eclipse.gef4.graph.Node node,
java.lang.String label)
Sets the
LABEL__GNE property of the given Node to the
given label value. |
static void |
setLayout(org.eclipse.gef4.graph.Graph graph,
java.lang.String layout)
Sets the
LAYOUT_G property of the given Graph to the
given layout value. |
static void |
setLp(org.eclipse.gef4.graph.Edge edge,
java.lang.String lp)
Sets the
LP__E property of the given Edge to the given
lp value. |
static void |
setName(org.eclipse.gef4.graph.Edge edge,
java.lang.String name)
Sets the
_NAME__GNE property of the given Graph to the
given name value. |
static void |
setName(org.eclipse.gef4.graph.Graph graph,
java.lang.String name)
Sets the
_NAME__GNE property of the given Graph to the
given name value. |
static void |
setName(org.eclipse.gef4.graph.Node node,
java.lang.String id)
Sets the
_NAME__GNE property of the given Node to the
given id value. |
static void |
setPos(org.eclipse.gef4.graph.Edge edge,
java.lang.String pos)
Sets the
POS__NE property of the given Edge to the given
value. |
static void |
setPos(org.eclipse.gef4.graph.Node node,
java.lang.String pos)
Sets the
POS__NE property of the given Node to the given
value. |
static void |
setRankdir(org.eclipse.gef4.graph.Graph graph,
java.lang.String rankdir)
Sets the
RANKDIR__G property of the given Graph to the
given rankdir value. |
static void |
setStyle(org.eclipse.gef4.graph.Edge edge,
java.lang.String style)
Sets the
STYLE__E property of the given Edge to the
given style value. |
static void |
setTailLabel(org.eclipse.gef4.graph.Edge edge,
java.lang.String label)
Sets the
TAILLABEL__E property of the given Edge to the
given label value. |
static void |
setTailLp(org.eclipse.gef4.graph.Edge edge,
java.lang.String tailLp)
Sets the
TAIL_LP__E property of the given Edge to the
given tailLp value. |
static void |
setType(org.eclipse.gef4.graph.Graph graph,
java.lang.String type)
Sets the
_TYPE__G property of the given Graph to the
given type value. |
static void |
setWidth(org.eclipse.gef4.graph.Node node,
java.lang.String width)
Sets the
WIDTH__N property of the given Node to the
given value. |
static void |
setXLabel(org.eclipse.gef4.graph.Edge edge,
java.lang.String xLabel)
Sets the
XLABEL__NE property of the given Edge to the
given xLabel value. |
static void |
setXLabel(org.eclipse.gef4.graph.Node node,
java.lang.String xLabel)
Sets the
XLABEL__NE property of the given Node to the
given xLabel value. |
static void |
setXlp(org.eclipse.gef4.graph.Edge edge,
java.lang.String xlp)
Sets the
XLP__NE property of the given Edge to the given
xlp value. |
static void |
setXlp(org.eclipse.gef4.graph.Node node,
java.lang.String xlp)
Sets the
XLP__NE property of the given Node to the given
xlp value. |
public static final java.lang.String _NAME__GNE
public static final java.lang.String _TYPE__G
_TYPE__G__VALUES
.public static final java.lang.String _TYPE__G__DIGRAPH
_TYPE__G
value specifies that the edges within the graph
are undirected.public static final java.lang.String _TYPE__G__GRAPH
_TYPE__G
value specifies that the edges within the graph
are directed.public static final java.util.Set<java.lang.String> _TYPE__G__VALUES
_TYPE__G
property.public static final java.lang.String ARROWHEAD__E
public static final java.lang.String HEAD_LP__E
public static final java.lang.String HEADLABEL__E
public static final java.lang.String HEIGHT__N
public static final java.lang.String ID__GNE
public static final java.lang.String LABEL__GNE
public static final java.lang.String LAYOUT__G__CIRCO
LAYOUT_G
value specifies that the "circo" layout algorithm
is to be used for laying out the graph.public static final java.lang.String LAYOUT__G__DOT
LAYOUT_G
value specifies that the "dot" layout algorithm is
to be used for laying out the graph.public static final java.lang.String LAYOUT__G__FDP
LAYOUT_G
value specifies that the "fdp" layout algorithm is
to be used for laying out the graph.public static final java.lang.String LAYOUT__G__GRID
LAYOUT_G
value specifies that the "grid" layout algorithm
is to be used for laying out the graph.public static final java.lang.String LAYOUT__G__NEATO
LAYOUT_G
value specifies that the "neato" layout algorithm
is to be used for laying out the graph.public static final java.lang.String LAYOUT__G__OSAGE
LAYOUT_G
value specifies that the "osage" layout algorithm
is to be used for laying out the graph.public static final java.lang.String LAYOUT__G__SFDP
LAYOUT_G
value specifies that the "sfdp" layout algorithm
is to be used for laying out the graph.public static final java.lang.String LAYOUT__G__TWOPI
LAYOUT_G
value specifies that the "twopi" layout algorithm
is to be used for laying out the graph.public static final java.lang.String LAYOUT__G__DEFAULT
LAYOUT_G
property, which is
LAYOUT__G__DOT
.public static final java.util.Set<java.lang.String> LAYOUT__G__VALUES
LAYOUT_G
property.public static final java.lang.String LAYOUT_G
LAYOUT__G__VALUES
. The default
value is defined by LAYOUT__G__DEFAULT
.public static final java.lang.String LP__E
public static final java.lang.String POS__NE
public static final java.lang.String RANKDIR__G
RANKDIR__G__VALUES
. The default value is defined by
RANKDIR__G__DEFAULT
.public static final java.lang.String RANKDIR__G__LR
RANKDIR__G
value specifies that the graph is to be laid out
horizontally from left to right.public static final java.lang.String RANKDIR__G__TD
RANKDIR__G
value specifies that the graph is to be laid out
vertically from top to bottom.public static final java.lang.String RANKDIR__G__DEFAULT
RANKDIR__G
property.public static final java.util.Set<java.lang.String> RANKDIR__G__VALUES
RANKDIR__G
property.public static final java.lang.String STYLE__E
STYLE__E__VALUES
.
The default value is defined by STYLE__E__DEFAULT
.public static final java.lang.String STYLE__E__BOLD
STYLE__E
value specifies that the edge is rendered bold.public static final java.lang.String STYLE__E__DASHED
STYLE__E
value specifies that the edge is rendered dashed.public static final java.lang.String STYLE__E__DOTTED
STYLE__E
value specifies that the edge is rendered dotted.public static final java.lang.String STYLE__E__INVIS
STYLE__E
value specifies that the edge is rendered
invisible.public static final java.lang.String STYLE__E__SOLID
STYLE__E
value specifies that the edge is rendered solid.public static final java.lang.String STYLE__E__TAPERED
STYLE__E
value specifies that the edge is rendered tapered.public static final java.lang.String STYLE__E__VOID
STYLE__E
value specifies that the edge is rendered with the
void, which means the the original Dot default value is used.public static final java.lang.String STYLE__E__DEFAULT
STYLE__E
property, which is
STYLE__E__SOLID
.public static final java.util.Set<java.lang.String> STYLE__E__VALUES
STYLE__E
property.public static final java.lang.String TAIL_LP__E
public static final java.lang.String TAILLABEL__E
public static final java.lang.String WIDTH__N
public static final java.lang.String XLABEL__NE
public static final java.lang.String XLP__NE
public static java.lang.String getArrowHead(org.eclipse.gef4.graph.Edge edge)
ARROWHEAD__E
property of the given
Edge
.edge
- The Edge
for which to return the value of the
ARROWHEAD__E
property.ARROWHEAD__E
property of the given
Edge
.public static org.eclipse.gef4.dot.internal.parser.arrowtype.ArrowType getArrowHeadParsed(org.eclipse.gef4.graph.Edge edge)
ARROWHEAD__E
property of the
given Edge
.edge
- The Edge
for which to return the value of the
ARROWHEAD__E
property, parsed as an ArrowType
.ARROWHEAD__E
property of the given
Edge
.public static java.lang.String getHeadLabel(org.eclipse.gef4.graph.Edge edge)
HEADLABEL__E
property of the given
Edge
.edge
- The Edge
for which to return the value of the
HEADLABEL__E
property.HEADLABEL__E
property of the given
Edge
.public static java.lang.String getHeadLp(org.eclipse.gef4.graph.Edge edge)
HEAD_LP__E
property of the given
Node
.edge
- The Edge
for which to return the value of the
HEAD_LP__E
property.HEAD_LP__E
property of the given
Edge
.public static org.eclipse.gef4.dot.internal.parser.point.Point getHeadLpParsed(org.eclipse.gef4.graph.Edge edge)
HEAD_LP__E
property of the
given Node
.edge
- The Edge
for which to return the value of the
HEAD_LP__E
property, parsed as a Point
.HEAD_LP__E
property of the given
Edge
.public static java.lang.String getHeight(org.eclipse.gef4.graph.Node node)
HEIGHT__N
property of the given
Node
.public static java.lang.String getId(org.eclipse.gef4.graph.Edge edge)
ID__GNE
property of the given
Edge
.public static java.lang.String getId(org.eclipse.gef4.graph.Graph graph)
ID__GNE
property of the given
Graph
.public static java.lang.String getId(org.eclipse.gef4.graph.Node node)
ID__GNE
property of the given
Node
.public static java.lang.String getLabel(org.eclipse.gef4.graph.Edge edge)
LABEL__GNE
property of the given
Edge
.edge
- The Edge
for which to return the value of the
LABEL__GNE
property.LABEL__GNE
property of the given
Edge
.public static java.lang.String getLabel(org.eclipse.gef4.graph.Node node)
LABEL__GNE
property of the given
Node
.node
- The Node
for which to return the value of the
LABEL__GNE
property.LABEL__GNE
property of the given
Node
.public static java.lang.String getLayout(org.eclipse.gef4.graph.Graph graph)
LAYOUT_G
property of the given
Graph
.public static java.lang.String getLp(org.eclipse.gef4.graph.Edge edge)
LP__E
property of the given
Node
.public static org.eclipse.gef4.dot.internal.parser.point.Point getLpParsed(org.eclipse.gef4.graph.Edge edge)
LP__E
property of the given
Node
.public static java.lang.String getName(org.eclipse.gef4.graph.Edge edge)
_NAME__GNE
property of the given
Edge
.edge
- The Edge
for which to return the value of the
_NAME__GNE
property._NAME__GNE
property of the given
Edge
.public static java.lang.String getName(org.eclipse.gef4.graph.Graph graph)
_NAME__GNE
property of the given
Edge
.graph
- The Graph
for which to return the value of the
_NAME__GNE
property._NAME__GNE
property of the given
Graph
.public static java.lang.String getName(org.eclipse.gef4.graph.Node node)
_NAME__GNE
property of the given
Node
.node
- The Node
for which to return the value of the
_NAME__GNE
property._NAME__GNE
property of the given
Node
.public static java.lang.String getPos(org.eclipse.gef4.graph.Edge edge)
POS__NE
property of the given
Node
.public static java.lang.String getPos(org.eclipse.gef4.graph.Node node)
POS__NE
property of the given
Node
.public static org.eclipse.gef4.dot.internal.parser.splinetype.SplineType getPosParsed(org.eclipse.gef4.graph.Edge edge)
POS__NE
property of the given
Edge
.public static org.eclipse.gef4.dot.internal.parser.point.Point getPosParsed(org.eclipse.gef4.graph.Node node)
POS__NE
property of the given
Node
.public static java.lang.String getRankdir(org.eclipse.gef4.graph.Graph graph)
RANKDIR__G
property of the given
Graph
.graph
- The Graph
for which to return the value of the
RANKDIR__G
property.RANKDIR__G
property of the given
Graph
.public static java.lang.String getStyle(org.eclipse.gef4.graph.Edge edge)
STYLE__E
property of the given
Edge
.public static java.lang.String getTailLabel(org.eclipse.gef4.graph.Edge edge)
TAILLABEL__E
property of the given
Edge
.edge
- The Edge
for which to return the value of the
TAILLABEL__E
property.TAILLABEL__E
property of the given
Edge
.public static java.lang.String getTailLp(org.eclipse.gef4.graph.Edge edge)
TAIL_LP__E
property of the given
Node
.edge
- The Edge
for which to return the value of the
TAIL_LP__E
property.TAIL_LP__E
property of the given
Edge
.public static org.eclipse.gef4.dot.internal.parser.point.Point getTailLpParsed(org.eclipse.gef4.graph.Edge edge)
TAIL_LP__E
property of the
given Node
.edge
- The Edge
for which to return the value of the
TAIL_LP__E
property, parsed as a Point
.TAIL_LP__E
property of the given
Edge
.public static java.lang.String getType(org.eclipse.gef4.graph.Graph graph)
_TYPE__G
property of the given
Graph
.public static java.lang.String getWidth(org.eclipse.gef4.graph.Node node)
WIDTH__N
property of the given
Node
.public static java.lang.String getXLabel(org.eclipse.gef4.graph.Edge edge)
XLABEL__NE
property of the given
Edge
.edge
- The Edge
for which to return the value of the
XLABEL__NE
property.XLABEL__NE
property of the given
Edge
.public static java.lang.String getXLabel(org.eclipse.gef4.graph.Node node)
XLABEL__NE
property of the given
Node
.node
- The Node
for which to return the value of the
XLABEL__NE
property.XLABEL__NE
property of the given
Node
.public static java.lang.String getXlp(org.eclipse.gef4.graph.Edge edge)
XLP__NE
property of the given
Edge
.public static java.lang.String getXlp(org.eclipse.gef4.graph.Node node)
XLP__NE
property of the given
Node
.public static org.eclipse.gef4.dot.internal.parser.point.Point getXlpParsed(org.eclipse.gef4.graph.Edge edge)
XLP__NE
property of the given
Node
.public static org.eclipse.gef4.dot.internal.parser.point.Point getXlpParsed(org.eclipse.gef4.graph.Node node)
XLP__NE
property of the given
Node
.public static void setArrowHead(org.eclipse.gef4.graph.Edge edge, java.lang.String arrowHead)
ARROWHEAD__E
property of the given Edge
to the
given arrowHead value.edge
- The Edge
for which to change the value of the
ARROWHEAD__E
property.arrowHead
- The new value for the ARROWHEAD__E
property.public static void setHeadLabel(org.eclipse.gef4.graph.Edge edge, java.lang.String label)
HEADLABEL__E
property of the given Edge
to the
given label value.edge
- The Edge
for which to change the value of the
HEADLABEL__E
property.label
- The new value for the HEADLABEL__E
property.public static void setHeadLp(org.eclipse.gef4.graph.Edge edge, java.lang.String headLp)
HEAD_LP__E
property of the given Edge
to the
given headLp value.edge
- The Edge
for which to change the value of the
HEAD_LP__E
property.headLp
- The new value for the HEAD_LP__E
property.public static void setHeight(org.eclipse.gef4.graph.Node node, java.lang.String height)
HEIGHT__N
property of the given Node
to the
given value.node
- The Node
whose property value to set.height
- The new value of the HEIGHT__N
property.public static void setId(org.eclipse.gef4.graph.Edge edge, java.lang.String id)
ID__GNE
property of the given Edge
to the given
id value.public static void setId(org.eclipse.gef4.graph.Graph graph, java.lang.String id)
ID__GNE
property of the given Graph
to the
given id value.public static void setId(org.eclipse.gef4.graph.Node node, java.lang.String id)
ID__GNE
property of the given Node
to the given
id value.public static void setLabel(org.eclipse.gef4.graph.Edge edge, java.lang.String label)
LABEL__GNE
property of the given Edge
to the
given label value.edge
- The Edge
for which to change the value of the
LABEL__GNE
property.label
- The new value for the LABEL__GNE
property.public static void setLabel(org.eclipse.gef4.graph.Node node, java.lang.String label)
LABEL__GNE
property of the given Node
to the
given label value.node
- The Node
for which to change the value of the
LABEL__GNE
property.label
- The new value for the LABEL__GNE
property.public static void setLayout(org.eclipse.gef4.graph.Graph graph, java.lang.String layout)
LAYOUT_G
property of the given Graph
to the
given layout value.graph
- The Graph
for which to change the value of the
LAYOUT_G
property.layout
- The new value for the LAYOUT_G
property.java.lang.IllegalArgumentException
- when the given layout value is not supported, i.e. not
contained within LAYOUT__G__VALUES
.public static void setLp(org.eclipse.gef4.graph.Edge edge, java.lang.String lp)
LP__E
property of the given Edge
to the given
lp value.public static void setName(org.eclipse.gef4.graph.Edge edge, java.lang.String name)
_NAME__GNE
property of the given Graph
to the
given name value.edge
- The Edge
for which to change the value of the
_NAME__GNE
property.name
- The new value for the _NAME__GNE
property.public static void setName(org.eclipse.gef4.graph.Graph graph, java.lang.String name)
_NAME__GNE
property of the given Graph
to the
given name value.graph
- The Graph
for which to change the value of the
_NAME__GNE
property.name
- The new value for the _NAME__GNE
property.public static void setName(org.eclipse.gef4.graph.Node node, java.lang.String id)
_NAME__GNE
property of the given Node
to the
given id value.node
- The Node
for which to change the value of the
_NAME__GNE
property.id
- The new value for the _NAME__GNE
property.public static void setPos(org.eclipse.gef4.graph.Edge edge, java.lang.String pos)
POS__NE
property of the given Edge
to the given
value.edge
- The Edge
whose property value to set.pos
- The new value of the POS__NE
property.public static void setPos(org.eclipse.gef4.graph.Node node, java.lang.String pos)
POS__NE
property of the given Node
to the given
value.node
- The Node
whose property value to set.pos
- The new value of the POS__NE
property.public static void setRankdir(org.eclipse.gef4.graph.Graph graph, java.lang.String rankdir)
RANKDIR__G
property of the given Graph
to the
given rankdir value.graph
- The Graph
for which to change the value of the
RANKDIR__G
property.rankdir
- The new value for the RANKDIR__G
property.java.lang.IllegalArgumentException
- when the given rankdir value is not supported, i.e.
not contained within RANKDIR__G__VALUES
.public static void setStyle(org.eclipse.gef4.graph.Edge edge, java.lang.String style)
STYLE__E
property of the given Edge
to the
given style value.edge
- The Edge
for which to change the value of the
STYLE__E
property.style
- The new value for the STYLE__E
property.java.lang.IllegalArgumentException
- when the given style value is not supported, i.e. not
contained within STYLE__E__VALUES
.public static void setTailLabel(org.eclipse.gef4.graph.Edge edge, java.lang.String label)
TAILLABEL__E
property of the given Edge
to the
given label value.edge
- The Edge
for which to change the value of the
TAILLABEL__E
property.label
- The new value for the TAILLABEL__E
property.public static void setTailLp(org.eclipse.gef4.graph.Edge edge, java.lang.String tailLp)
TAIL_LP__E
property of the given Edge
to the
given tailLp value.edge
- The Edge
for which to change the value of the
TAIL_LP__E
property.tailLp
- The new value for the TAIL_LP__E
property.public static void setType(org.eclipse.gef4.graph.Graph graph, java.lang.String type)
_TYPE__G
property of the given Graph
to the
given type value.graph
- The Graph
for which to change the value of the
_TYPE__G
property.type
- The new value for the _TYPE__G
property.java.lang.IllegalArgumentException
- when the given type value is not supported, i.e. not
contained within _TYPE__G__VALUES
.public static void setWidth(org.eclipse.gef4.graph.Node node, java.lang.String width)
WIDTH__N
property of the given Node
to the
given value.node
- The Node
whose property value to set.width
- The new value of the WIDTH__N
property.public static void setXLabel(org.eclipse.gef4.graph.Edge edge, java.lang.String xLabel)
XLABEL__NE
property of the given Edge
to the
given xLabel value.edge
- The Edge
for which to change the value of the
XLABEL__NE
property.xLabel
- The new value for the XLABEL__NE
property.public static void setXLabel(org.eclipse.gef4.graph.Node node, java.lang.String xLabel)
XLABEL__NE
property of the given Node
to the
given xLabel value.node
- The Node
for which to change the value of the
XLABEL__NE
property.xLabel
- The new value for the XLABEL__NE
property.public static void setXlp(org.eclipse.gef4.graph.Edge edge, java.lang.String xlp)
XLP__NE
property of the given Edge
to the given
xlp value.public static void setXlp(org.eclipse.gef4.graph.Node node, java.lang.String xlp)
XLP__NE
property of the given Node
to the given
xlp value.public static boolean isValidArrowType(java.lang.String arrowType)
arrowType
- the arrow type to check for validityCopyright (c) 2014 itemis AG and others. All rights reserved.