Package com.ibm.wala.core.viz

Class PDFViewUtil

java.lang.Object

com.ibm.wala.core.viz.PDFViewUtil

public class PDFViewUtil
extends Object

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

Constructor Summary

Constructors

Constructor	Description
PDFViewUtil()

Method Summary

Modifier and Type	Method	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, 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 NodeDecorator<ISSABasicBlock>	makeIRDecorator(IR ir)

Methods inherited from class java.lang.Object

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

Constructor Details

PDFViewUtil

public PDFViewUtil()

Method Details

ghostviewIR

public static Process ghostviewIR(IClassHierarchy cha,
 IR ir,
 String pdfFile,
 String dotFile,
 String dotExe,
 String pdfViewExe)
                           throws WalaException

spawn a process to view a WALA IR

Returns:

a handle to the ghostview process

Throws:

WalaException

ghostviewIR

public static Process ghostviewIR(IClassHierarchy cha,
 IR ir,
 String pdfFile,
 String dotFile,
 String dotExe,
 String pdfViewExe,
 NodeDecorator<ISSABasicBlock> annotations)
                           throws WalaException

spawn a process to view a WALA IR

Returns:

a handle to the pdf viewer process

Throws:

IllegalArgumentException - if ir is null

WalaException

makeIRDecorator

public static NodeDecorator<ISSABasicBlock> makeIRDecorator(IR ir)

launchPDFView

public static Process launchPDFView(String pdfFile,
 String gvExe)
                             throws WalaException

Launch a process to view a PDF file

Throws:

WalaException