com.ibm.wala.examples.drivers
Class SWTPointsTo

java.lang.Object
  com.ibm.wala.examples.drivers.SWTPointsTo

public class SWTPointsTo
extends java.lang.Object

This application is a WALA client: it invokes an SWT TreeViewer to visualize a Points-To solution

Constructor Summary

SWTPointsTo()

Method Summary

static Graph<java.lang.Object>	buildPointsTo(java.lang.String appJar)
static void	main(java.lang.String[] args) Usage: SWTPointsTo -appJar [jar file name] The "jar file name" should be something like "c:/temp/testdata/java_cup.jar"
static org.eclipse.jface.window.ApplicationWindow	run(java.lang.String appJar)

Methods inherited from class java.lang.Object

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

Constructor Detail

SWTPointsTo

public SWTPointsTo()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws WalaException

Usage: SWTPointsTo -appJar [jar file name] The "jar file name" should be something like "c:/temp/testdata/java_cup.jar"

Parameters:

args -

Throws:

WalaException

run

public static org.eclipse.jface.window.ApplicationWindow run(java.lang.String appJar)

Parameters:

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

buildPointsTo

public static Graph<java.lang.Object> buildPointsTo(java.lang.String appJar)
                                             throws WalaException

Throws:

WalaException