Class GraphPrintVisitor


  • public class GraphPrintVisitor
    extends java.lang.Object
    Utility class for creating output for the ideal graph visualizer.
    • Field Detail

      • GraphVisualizerAddress

        public static final java.lang.String GraphVisualizerAddress
        See Also:
        Constant Field Values
    • Constructor Detail

      • GraphPrintVisitor

        public GraphPrintVisitor()
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • printToFile

        public void printToFile​(java.io.File f)
      • printToSysout

        public void printToSysout()
      • printToNetwork

        public void printToNetwork​(boolean ignoreErrors)
      • getElementByObject

        protected org.w3c.dom.Element getElementByObject​(java.lang.Object op)
      • createElementForNode

        protected void createElementForNode​(java.lang.Object node)
      • setNodeProperty

        protected void setNodeProperty​(java.lang.Object node,
                                       java.lang.String propertyName,
                                       java.lang.Object value)
      • connectNodes

        protected void connectNodes​(java.lang.Object a,
                                    java.lang.Object b,
                                    java.lang.String label)