java.lang.Object
org.jgrapht.nio.dot.DOTUtils
Class with DOT format related utilities.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final Pattern(package private) static final StringEdge operation for directed graphs.(package private) static final StringKeyword for directed graphs.(package private) static final StringKeyword for representing strict graphs.private static final Patternprivate static final Patternprivate static final Pattern(package private) static final StringEdge operation for undirected graphs.(package private) static final StringKeyword for undirected graphs. -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
DONT_ALLOW_MULTIPLE_EDGES_KEYWORD
Keyword for representing strict graphs.- See Also:
-
DIRECTED_GRAPH_KEYWORD
Keyword for directed graphs.- See Also:
-
UNDIRECTED_GRAPH_KEYWORD
Keyword for undirected graphs.- See Also:
-
DIRECTED_GRAPH_EDGEOP
Edge operation for directed graphs.- See Also:
-
UNDIRECTED_GRAPH_EDGEOP
Edge operation for undirected graphs.- See Also:
-
ALPHA_DIG
-
DOUBLE_QUOTE
-
DOT_NUMBER
-
HTML
-
-
Constructor Details
-
DOTUtils
DOTUtils()
-
-
Method Details
-
isValidID
Test if the ID candidate is a valid ID.- Parameters:
idCandidate- the ID candidate.- Returns:
trueif it is valid;falseotherwise.
-