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