com.ibm.wala.viz

Class PDFViewUtil

java.lang.Object

com.ibm.wala.viz.PDFViewUtil

public class PDFViewUtil
extends Object

utilities for integrating with ghostview (or another PS/PDF viewer)

Constructor Summary

Constructors

Constructor and Description
PDFViewUtil()

Method Summary

Methods

Modifier and Type	Method and Description
static Process	ghostviewIR(IClassHierarchy cha, IR ir, String pdfFile, String dotFile, String dotExe, String pdfViewExe) spawn a process to view a WALA IR
static Process	ghostviewIR(IClassHierarchy cha, IR ir, String pdfFile, String dotFile, String dotExe, String pdfViewExe, com.ibm.wala.viz.NodeDecorator<ISSABasicBlock> annotations) spawn a process to view a WALA IR
static Process	launchPDFView(String pdfFile, String gvExe) Launch a process to view a PDF file
static com.ibm.wala.viz.NodeDecorator<ISSABasicBlock>	makeIRDecorator(IR ir)

Methods inherited from class java.lang.Object

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

Constructor Detail

PDFViewUtil

public PDFViewUtil()

Method Detail

ghostviewIR

public static Process ghostviewIR(IClassHierarchy cha,
                  IR ir,
                  String pdfFile,
                  String dotFile,
                  String dotExe,
                  String pdfViewExe)
                           throws com.ibm.wala.util.WalaException

spawn a process to view a WALA IR

Returns:

a handle to the ghostview process

Throws:

com.ibm.wala.util.WalaException

ghostviewIR

public static Process ghostviewIR(IClassHierarchy cha,
                  IR ir,
                  String pdfFile,
                  String dotFile,
                  String dotExe,
                  String pdfViewExe,
                  com.ibm.wala.viz.NodeDecorator<ISSABasicBlock> annotations)
                           throws com.ibm.wala.util.WalaException

spawn a process to view a WALA IR

Returns:

a handle to the pdf viewer process

Throws:

IllegalArgumentException - if ir is null

com.ibm.wala.util.WalaException

makeIRDecorator

public static com.ibm.wala.viz.NodeDecorator<ISSABasicBlock> makeIRDecorator(IR ir)

launchPDFView

public static Process launchPDFView(String pdfFile,
                    String gvExe)
                             throws com.ibm.wala.util.WalaException

Launch a process to view a PDF file

Throws:

com.ibm.wala.util.WalaException