Class PegCallGraphToDot


  • public class PegCallGraphToDot
    extends Object
    • Field Detail

      • isBrief

        public static boolean isBrief
      • onepage

        public static boolean onepage
    • Constructor Detail

      • PegCallGraphToDot

        public PegCallGraphToDot​(DirectedGraph graph,
                                 boolean onepage,
                                 String name)
    • Method Detail

      • toDotFile

        public static void toDotFile​(String methodname,
                                     DirectedGraph graph,
                                     String graphname)
        Generates a dot format file for a DirectedGraph
        Parameters:
        methodname - , the name of generated dot file
        graph - , a directed control flow graph (UnitGraph, BlockGraph ...)
        graphname - , the title of the graph