public class PDFViewUtil extends Object
| Constructor and Description |
|---|
PDFViewUtil() |
| 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,
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) |
public static Process ghostviewIR(IClassHierarchy cha, IR ir, String pdfFile, String dotFile, String dotExe, String pdfViewExe) throws WalaException
WalaExceptionpublic static Process ghostviewIR(IClassHierarchy cha, IR ir, String pdfFile, String dotFile, String dotExe, String pdfViewExe, NodeDecorator<ISSABasicBlock> annotations) throws WalaException
IllegalArgumentException - if ir is nullWalaExceptionpublic static NodeDecorator<ISSABasicBlock> makeIRDecorator(IR ir)
public static Process launchPDFView(String pdfFile, String gvExe) throws WalaException
WalaException