Package sootup.codepropertygraph.propertygraph.util

Class PropertyGraphToDotConverter

java.lang.Object

sootup.codepropertygraph.propertygraph.util.PropertyGraphToDotConverter

public class PropertyGraphToDotConverter
extends Object

Utility class to convert a property graph to DOT format for visualization.

Constructor Summary

Constructors

Constructor	Description
PropertyGraphToDotConverter()

Method Summary

Modifier and Type	Method	Description
static String	convert(PropertyGraph graph)	Converts the given property graph to a DOT format string.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PropertyGraphToDotConverter

public PropertyGraphToDotConverter()

Method Details

convert

public static String convert(PropertyGraph graph)

Converts the given property graph to a DOT format string.

Parameters:

graph - the property graph

Returns:

the DOT format string