Class SDGDOTExporter


  • public class SDGDOTExporter
    extends DOTExporter<SDG>
    DOT exporter for a system dependence graph, rendering entry, call, formal and actual parameter nodes plus the interprocedural parameter and summary edges.
    • Constructor Detail

      • SDGDOTExporter

        public SDGDOTExporter()
        Creates an exporter using the default rendering configuration.
      • SDGDOTExporter

        public SDGDOTExporter​(DOTExporterConfig config)
        Creates an exporter using the given rendering configuration.
        Parameters:
        config - the DOT rendering configuration
    • Method Detail

      • export

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