Package com.ibm.wala.viz
Class DotUtil
- java.lang.Object
-
- com.ibm.wala.viz.DotUtil
-
public class DotUtil extends java.lang.Object
utilities for interfacing with DOT
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
DotUtil.DotOutputType
possible output formats for dot
-
Constructor Summary
Constructors Constructor Description DotUtil()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <T> void
dotify(Graph<T> g, NodeDecorator<T> labels, java.lang.String dotFile, java.lang.String outputFile, java.lang.String dotExe)
static <T> void
dotify(Graph<T> g, NodeDecorator<T> labels, java.lang.String title, java.lang.String dotFile, java.lang.String outputFile, java.lang.String dotExe)
static <T> java.lang.StringBuilder
dotOutput(Graph<T> g, NodeDecorator<T> labels, java.lang.String title)
static int
getFontSize()
static DotUtil.DotOutputType
getOutputType()
static void
setFontSize(int fontSize)
static void
setOutputType(DotUtil.DotOutputType outType)
static void
spawnDot(java.lang.String dotExe, java.lang.String outputFile, java.io.File dotFile)
static <T> java.io.File
writeDotFile(Graph<T> g, NodeDecorator<T> labels, java.lang.String title, java.lang.String dotfile)
-
-
-
Method Detail
-
setOutputType
public static void setOutputType(DotUtil.DotOutputType outType)
-
getOutputType
public static DotUtil.DotOutputType getOutputType()
-
dotify
public static <T> void dotify(Graph<T> g, NodeDecorator<T> labels, java.lang.String dotFile, java.lang.String outputFile, java.lang.String dotExe) throws WalaException
- Type Parameters:
T
- the type of a graph node- Throws:
WalaException
-
dotify
public static <T> void dotify(Graph<T> g, NodeDecorator<T> labels, java.lang.String title, java.lang.String dotFile, java.lang.String outputFile, java.lang.String dotExe) throws WalaException
- Type Parameters:
T
- the type of a graph node- Throws:
WalaException
-
spawnDot
public static void spawnDot(java.lang.String dotExe, java.lang.String outputFile, java.io.File dotFile) throws WalaException
- Throws:
WalaException
-
writeDotFile
public static <T> java.io.File writeDotFile(Graph<T> g, NodeDecorator<T> labels, java.lang.String title, java.lang.String dotfile) throws WalaException
- Throws:
WalaException
-
dotOutput
public static <T> java.lang.StringBuilder dotOutput(Graph<T> g, NodeDecorator<T> labels, java.lang.String title) throws WalaException
- Returns:
- StringBuffer holding dot output representing G
- Throws:
WalaException
-
getFontSize
public static int getFontSize()
-
setFontSize
public static void setFontSize(int fontSize)
-
-