Class DOTUtils

java.lang.Object
org.jgrapht.nio.dot.DOTUtils

class DOTUtils extends Object
Class with DOT format related utilities.
  • Field Details

    • DONT_ALLOW_MULTIPLE_EDGES_KEYWORD

      static final String DONT_ALLOW_MULTIPLE_EDGES_KEYWORD
      Keyword for representing strict graphs.
      See Also:
    • DIRECTED_GRAPH_KEYWORD

      static final String DIRECTED_GRAPH_KEYWORD
      Keyword for directed graphs.
      See Also:
    • UNDIRECTED_GRAPH_KEYWORD

      static final String UNDIRECTED_GRAPH_KEYWORD
      Keyword for undirected graphs.
      See Also:
    • DIRECTED_GRAPH_EDGEOP

      static final String DIRECTED_GRAPH_EDGEOP
      Edge operation for directed graphs.
      See Also:
    • UNDIRECTED_GRAPH_EDGEOP

      static final String UNDIRECTED_GRAPH_EDGEOP
      Edge operation for undirected graphs.
      See Also:
    • ALPHA_DIG

      private static final Pattern ALPHA_DIG
    • DOUBLE_QUOTE

      private static final Pattern DOUBLE_QUOTE
    • DOT_NUMBER

      private static final Pattern DOT_NUMBER
    • HTML

      private static final Pattern HTML
  • Constructor Details

    • DOTUtils

      DOTUtils()
  • Method Details

    • isValidID

      static boolean isValidID(String idCandidate)
      Test if the ID candidate is a valid ID.
      Parameters:
      idCandidate - the ID candidate.
      Returns:
      true if it is valid; false otherwise.