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
WalaException
public static Process ghostviewIR(IClassHierarchy cha, IR ir, String pdfFile, String dotFile, String dotExe, String pdfViewExe, NodeDecorator<ISSABasicBlock> annotations) throws WalaException
IllegalArgumentException
- if ir is nullWalaException
public static NodeDecorator<ISSABasicBlock> makeIRDecorator(IR ir)
public static Process launchPDFView(String pdfFile, String gvExe) throws WalaException
WalaException