com.ibm.wala.viz
Class IFDSExplorerImpl

java.lang.Object
  com.ibm.wala.viz.IFDSExplorerImpl

public class IFDSExplorerImpl
extends java.lang.Object

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

Field Summary

protected static java.lang.String	dotExe absolute path name to invoke dot
protected static java.lang.String	gvExe Absolute path name to invoke ghostview

Constructor Summary

IFDSExplorerImpl()

Method Summary

static java.lang.String	getDotExe()
static java.lang.String	getGvExe()
static void	setDotExe(java.lang.String newDotExe)
static void	setGvExe(java.lang.String newGvExe)
static void	viewIFDS(CallGraph cg, TabulationResult r)

Methods inherited from class java.lang.Object

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

Field Detail

dotExe

protected static java.lang.String dotExe

absolute path name to invoke dot

gvExe

protected static java.lang.String gvExe

Absolute path name to invoke ghostview

Constructor Detail

IFDSExplorerImpl

public IFDSExplorerImpl()

Method Detail

setDotExe

public static void setDotExe(java.lang.String newDotExe)

setGvExe

public static void setGvExe(java.lang.String newGvExe)

viewIFDS

public static void viewIFDS(CallGraph cg,
                            TabulationResult r)
                     throws WalaException

Throws:

WalaException

getDotExe

public static java.lang.String getDotExe()

getGvExe

public static java.lang.String getGvExe()