Class GraphOutputDot


  • public class GraphOutputDot
    extends java.lang.Object
    Output the Graph in GraphViz Dot format.
    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      private static class  GraphOutputDot.TopNodeSort
      Comparator that makes the 'undeployed' node the first node in the sort list.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private static java.lang.String TOPNODE  
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private GraphOutputDot()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      private static java.lang.CharSequence toId​(Node node)  
      static void write​(Graph graph, java.io.File outputFile)  
      private static void writeEdge​(java.io.PrintWriter out, Edge edge)  
      private static void writeEdgeDefaults​(java.io.PrintWriter out)  
      private static void writeGraphDefaults​(java.io.PrintWriter out)  
      private static void writeNode​(java.io.PrintWriter out, Node node)  
      private static void writeNodeDefaults​(java.io.PrintWriter out)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • GraphOutputDot

        private GraphOutputDot()
    • Method Detail

      • write

        public static void write​(Graph graph,
                                 java.io.File outputFile)
                          throws java.io.IOException
        Throws:
        java.io.IOException
      • writeEdge

        private static void writeEdge​(java.io.PrintWriter out,
                                      Edge edge)
      • writeNode

        private static void writeNode​(java.io.PrintWriter out,
                                      Node node)
      • toId

        private static java.lang.CharSequence toId​(Node node)
      • writeEdgeDefaults

        private static void writeEdgeDefaults​(java.io.PrintWriter out)
      • writeGraphDefaults

        private static void writeGraphDefaults​(java.io.PrintWriter out)
      • writeNodeDefaults

        private static void writeNodeDefaults​(java.io.PrintWriter out)