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 String
Edge operation for directed graphs.(package private) static final String
Keyword for directed graphs.(package private) static final String
Keyword for representing strict graphs.private static final Pattern
private static final Pattern
private static final Pattern
(package private) static final String
Edge operation for undirected graphs.(package private) static final String
Keyword 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:
true
if it is valid;false
otherwise.
-