Class IFDSExplorer

java.lang.Object

com.ibm.wala.ide.ui.IFDSExplorer

public class IFDSExplorer
extends Object

Explore the result of an IFDS problem with an SWT viewer and ghostview.

Field Summary

Fields

Modifier and Type	Field	Description
protected static String	dotExe	absolute path name to invoke dot
protected static String	viewerExe	Absolute path name to invoke viewer

Constructor Summary

Constructors

Constructor	Description
IFDSExplorer()

Method Summary

Modifier and Type	Method	Description
static String	getDotExe()
static String	getGvExe()
static void	setDotExe(String newDotExe)
static void	setGvExe(String newGvExe)
static <T, P, F> void	viewIFDS(TabulationResult<T,P,F> r)	Calls viewIFDS(TabulationResult, Collection) with roots computed by InferGraphRoots.
static <T, P, F> void	viewIFDS(TabulationResult<T,P,F> r, Collection<? extends P> roots)
static <T, P, F> void	viewIFDS(TabulationResult<T,P,F> r, Collection<? extends P> roots, NodeDecorator<T> labels)
static <T, P, F> void	viewIFDS(TabulationResult<T,P,F> r, Collection<? extends P> roots, NodeDecorator<T> labels, String scratchDirectory)

Methods inherited from class java.lang.Object

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

Field Details

dotExe

protected static String dotExe

absolute path name to invoke dot

viewerExe

protected static String viewerExe

Absolute path name to invoke viewer

Constructor Details

IFDSExplorer

public IFDSExplorer()

Method Details

setDotExe

public static void setDotExe(String newDotExe)

setGvExe

public static void setGvExe(String newGvExe)

viewIFDS

public static <T,
P,
F> void viewIFDS(TabulationResult<T,P,F> r,
 Collection<? extends P> roots)
                               throws WalaException

Throws:

WalaException

viewIFDS

public static <T,
P,
F> void viewIFDS(TabulationResult<T,P,F> r,
 Collection<? extends P> roots,
 NodeDecorator<T> labels)
                               throws WalaException

Throws:

WalaException

viewIFDS

public static <T,
P,
F> void viewIFDS(TabulationResult<T,P,F> r,
 Collection<? extends P> roots,
 NodeDecorator<T> labels,
 String scratchDirectory)
                               throws WalaException

Throws:

WalaException

viewIFDS

public static <T,
P,
F> void viewIFDS(TabulationResult<T,P,F> r)
                               throws WalaException

Calls viewIFDS(TabulationResult, Collection) with roots computed by InferGraphRoots.

Throws:

WalaException

getDotExe

public static String getDotExe()

getGvExe

public static String getGvExe()