Package com.ibm.wala.examples.drivers

Class PDFWalaIR

java.lang.Object

com.ibm.wala.examples.drivers.PDFWalaIR

public class PDFWalaIR
extends Object

This simple example application builds a WALA IR and fires off a PDF viewer to visualize a DOT representation.

Field Summary

Fields

Modifier and Type	Field	Description
static final String	PDF_FILE

Constructor Summary

Constructors

Constructor	Description
PDFWalaIR()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Usage: PDFWalaIR -appJar [jar file name] -sig [method signature] The "jar file name" should be something like "c:/temp/testdata/java_cup.jar" The signature should be something like "java_cup.lexer.advance()V"
static Process	run(String[] args)
static Process	run(String appJar, String methodSig)
static void	validateCommandLine(String[] args)	Validate that the command-line arguments obey the expected usage.

Methods inherited from class java.lang.Object

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

Field Details

PDF_FILE

public static final String PDF_FILE

See Also:

• Constant Field Values

Constructor Details

PDFWalaIR

public PDFWalaIR()

Method Details

main

public static void main(String[] args)
                 throws IOException

Usage: PDFWalaIR -appJar [jar file name] -sig [method signature] The "jar file name" should be something like "c:/temp/testdata/java_cup.jar" The signature should be something like "java_cup.lexer.advance()V"

Throws:

IOException

run

public static Process run(String[] args)
                   throws IOException

Parameters:

args - -appJar [jar file name] -sig [method signature] The "jar file name" should be something like "c:/temp/testdata/java_cup.jar" The signature should be something like "java_cup.lexer.advance()V"

Throws:

IOException

run

public static Process run(String appJar,
 String methodSig)
                   throws IOException

Parameters:

appJar - should be something like "c:/temp/testdata/java_cup.jar"

methodSig - should be something like "java_cup.lexer.advance()V"

Throws:

IOException

validateCommandLine

public static void validateCommandLine(String[] args)

Validate that the command-line arguments obey the expected usage.

Usage:

• args[0] : "-appJar"
• args[1] : something like "c:/temp/testdata/java_cup.jar"
• args[2] : "-sig"
• args[3] : a method signature like "java_cup.lexer.advance()V"

Throws:

UnsupportedOperationException - if command-line is malformed.