Package com.ibm.wala.util.viz

Class DotUtil

java.lang.Object

com.ibm.wala.util.viz.DotUtil

Direct Known Subclasses:

DexDotUtil

public class DotUtil
extends Object

utilities for interfacing with DOT

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	DotUtil.DotOutputType	possible output formats for dot

Constructor Summary

Constructors

Constructor	Description
DotUtil()

Method Summary

Modifier and Type	Method	Description
static <T> void	dotify(Graph<T> g, NodeDecorator<T> labels, @Nullable String title, String dotFile, String outputFile, String dotExe)
static <T> void	dotify(Graph<T> g, NodeDecorator<T> labels, String dotFile, String outputFile, String dotExe)
static <T> StringBuilder	dotOutput(Graph<T> g, NodeDecorator<T> labels, @Nullable String title)
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, @Nullable String title, String dotfile)

Methods inherited from class java.lang.Object

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

Constructor Details

DotUtil

public DotUtil()

Method Details

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,
 String dotFile,
 String outputFile,
 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,
 @Nullable String title,
 String dotFile,
 String outputFile,
 String dotExe)
                       throws WalaException

Type Parameters:

T - the type of a graph node

Throws:

WalaException

spawnDot

public static void spawnDot(String dotExe,
 String outputFile,
 File dotFile)
                     throws WalaException

Throws:

WalaException

writeDotFile

public static <T> File writeDotFile(Graph<T> g,
 NodeDecorator<T> labels,
 @Nullable String title,
 String dotfile)
                             throws WalaException

Throws:

WalaException

dotOutput

public static <T> StringBuilder dotOutput(Graph<T> g,
 NodeDecorator<T> labels,
 @Nullable 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)