com.ibm.wala.util.viz

Class PDFViewLauncher

java.lang.Object

com.ibm.wala.util.viz.PDFViewLauncher

public class PDFViewLauncher
extends Object

Launch gsview on a postscript file

TODO: inherit from a launcher?

Field Summary

Fields

Modifier and Type	Field and Description
protected String	gvExe Path to ghostview executable
protected String	pdffile Name of the postscript file to view

Constructor Summary

Constructors

Constructor and Description
PDFViewLauncher()

Method Summary

Modifier and Type	Method and Description
WalaException	getException()
String	getGvExe()
String	getPDFFile()
Process	getProcess()
void	run()
void	setGvExe(String newGvExe)
void	setPDFFile(String newPsfile)
void	setProcess(Process process)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

pdffile

protected String pdffile

Name of the postscript file to view

gvExe

protected String gvExe

Path to ghostview executable

Constructor Detail

PDFViewLauncher

public PDFViewLauncher()

Method Detail

getPDFFile

public String getPDFFile()

setPDFFile

public void setPDFFile(String newPsfile)

getGvExe

public String getGvExe()

setGvExe

public void setGvExe(String newGvExe)

toString

public String toString()

Overrides:

toString in class Object

run

public void run()

See Also:

Runnable.run()

getException

public WalaException getException()

getProcess

public Process getProcess()

setProcess

public void setProcess(Process process)