Class PDGDOTExporter


  • public class PDGDOTExporter
    extends DOTExporter<PDG>
    DOT exporter for a program dependence graph, colouring nodes by kind and taint state and edges by dependence type.
    • Constructor Detail

      • PDGDOTExporter

        public PDGDOTExporter()
        Creates an exporter with the default rendering options.
      • PDGDOTExporter

        public PDGDOTExporter​(DOTExporterConfig config)
        Creates an exporter using the supplied rendering options.
        Parameters:
        config - controls node ids, legend and other DOT output details
    • Method Detail

      • export

        public void export​(PDG pdg,
                           Writer output)
        Description copied from class: DOTExporter
        Writes the DOT rendering of a graph.
        Specified by:
        export in class DOTExporter<PDG>
        Parameters:
        pdg - the graph to export
        output - the writer that receives the DOT source