Package 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 Description PDFViewUtil()
-
Method Summary
All Methods Static Methods Concrete Methods 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 IRstatic Process
ghostviewIR(IClassHierarchy cha, IR ir, String pdfFile, String dotFile, String dotExe, String pdfViewExe, NodeDecorator<ISSABasicBlock> annotations)
spawn a process to view a WALA IRstatic Process
launchPDFView(String pdfFile, String gvExe)
Launch a process to view a PDF filestatic NodeDecorator<ISSABasicBlock>
makeIRDecorator(IR ir)
-
-
-
Method Detail
-
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 nullWalaException
-
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
-
-