com.ibm.wala.util.viz

Class DotUtil

java.lang.Object

com.ibm.wala.util.viz.DotUtil

public class DotUtil
extends Object

utilities for interfacing with DOT

Nested Class Summary

Nested Classes

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

Constructor Summary

Constructors

Constructor and Description
DotUtil()

Method Summary

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 <T> StringBuilder	dotOutput(Graph<T> g, NodeDecorator<T> labels, 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, String title, String dotfile)

Methods inherited from class java.lang.Object

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

Constructor Detail

DotUtil

public DotUtil()

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,
                              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,
                              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,
                                    String title,
                                    String dotfile)
                             throws WalaException

Throws:

WalaException

dotOutput

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