Package com.tonic.analysis.graph.export
Class PDGDOTExporter
- java.lang.Object
-
- com.tonic.analysis.graph.export.DOTExporter<PDG>
-
- com.tonic.analysis.graph.export.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 Summary
Constructors Constructor Description PDGDOTExporter()Creates an exporter with the default rendering options.PDGDOTExporter(DOTExporterConfig config)Creates an exporter using the supplied rendering options.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidexport(PDG pdg, Writer output)Writes the DOT rendering of a graph.-
Methods inherited from class com.tonic.analysis.graph.export.DOTExporter
export
-
-
-
-
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:DOTExporterWrites the DOT rendering of a graph.- Specified by:
exportin classDOTExporter<PDG>- Parameters:
pdg- the graph to exportoutput- the writer that receives the DOT source
-
-