com.ibm.wala.examples.drivers

Class PDFSDG

java.lang.Object

com.ibm.wala.examples.drivers.PDFSDG

public class PDFSDG
extends java.lang.Object

This simple example WALA application builds an SDG and fires off ghostview to viz a DOT representation.

Constructor Summary

Constructors

Constructor and Description
PDFSDG()

Method Summary

Modifier and Type	Method and Description
static Slicer.ControlDependenceOptions	getControlDependenceOptions(java.util.Properties p)
static Slicer.DataDependenceOptions	getDataDependenceOptions(java.util.Properties p)
static void	main(java.lang.String[] args) Usage: GVSDG -appJar [jar file name] -mainclass [main class]
static java.lang.Process	run(java.lang.String[] args)
static java.lang.Process	run(java.lang.String appJar, java.lang.String mainClass, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions)

Methods inherited from class java.lang.Object

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

Constructor Detail

PDFSDG

public PDFSDG()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.IllegalArgumentException,
                        com.ibm.wala.util.CancelException,
                        java.io.IOException

Usage: GVSDG -appJar [jar file name] -mainclass [main class]

The "jar file name" should be something like "c:/temp/testdata/java_cup.jar"

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException

java.io.IOException

run

public static java.lang.Process run(java.lang.String[] args)
                             throws java.lang.IllegalArgumentException,
                                    com.ibm.wala.util.CancelException,
                                    java.io.IOException

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException

java.io.IOException

getDataDependenceOptions

public static Slicer.DataDependenceOptions getDataDependenceOptions(java.util.Properties p)

getControlDependenceOptions

public static Slicer.ControlDependenceOptions getControlDependenceOptions(java.util.Properties p)

run

public static java.lang.Process run(java.lang.String appJar,
                                    java.lang.String mainClass,
                                    Slicer.DataDependenceOptions dOptions,
                                    Slicer.ControlDependenceOptions cOptions)
                             throws java.lang.IllegalArgumentException,
                                    com.ibm.wala.util.CancelException,
                                    java.io.IOException

Parameters:

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

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException

java.io.IOException