public class DotUtil extends Object
Modifier and Type | Class and Description |
---|---|
static class |
DotUtil.DotOutputType
possible output formats for dot
|
Constructor and Description |
---|
DotUtil() |
Modifier and Type | Method and Description |
---|---|
static <T> void |
dotify(Graph<T> g,
NodeDecorator<T> labels,
String dotFile,
String outputFile,
String dotExe) |
static <T> void |
dotify(Graph<T> g,
NodeDecorator<T> labels,
String title,
String dotFile,
String outputFile,
String dotExe) |
static int |
getFontSize() |
static DotUtil.DotOutputType |
getOutputType() |
static void |
setFontSize(int fontSize) |
static void |
setOutputType(DotUtil.DotOutputType outType) |
static void |
spawnDot(String dotExe,
String outputFile,
File dotFile) |
static <T> File |
writeDotFile(Graph<T> g,
NodeDecorator<T> labels,
String title,
String dotfile) |
public static void setOutputType(DotUtil.DotOutputType outType)
public static DotUtil.DotOutputType getOutputType()
public static <T> void dotify(Graph<T> g, NodeDecorator<T> labels, String dotFile, String outputFile, String dotExe) throws WalaException
T
- the type of a graph nodeWalaException
public static <T> void dotify(Graph<T> g, NodeDecorator<T> labels, String title, String dotFile, String outputFile, String dotExe) throws WalaException
T
- the type of a graph nodeWalaException
public static void spawnDot(String dotExe, String outputFile, File dotFile) throws WalaException
WalaException
public static <T> File writeDotFile(Graph<T> g, NodeDecorator<T> labels, String title, String dotfile) throws WalaException
WalaException
public static int getFontSize()
public static void setFontSize(int fontSize)