Package com.ibm.wala.examples.drivers

Class PDFTypeHierarchy

java.lang.Object

com.ibm.wala.examples.drivers.PDFTypeHierarchy

public class PDFTypeHierarchy
extends Object

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

Author:

sfink

Field Summary

Fields

Modifier and Type	Field	Description
static final String	DOT_FILE
static Properties	p

Constructor Summary

Constructors

Constructor	Description
PDFTypeHierarchy()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)
static Graph<IClass>	pruneForAppLoader(Graph<IClass> g)	Restrict g to nodes from the Application loader
static <T> Graph<T>	pruneGraph(Graph<T> g, Predicate<T> f)
static Process	run(String[] args)
static Graph<IClass>	typeHierarchy2Graph(IClassHierarchy cha)	Return a view of an IClassHierarchy as a Graph, with edges from classes to immediate subtypes
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

DOT_FILE

public static final String DOT_FILE

See Also:

• Constant Field Values

p

public static Properties p

Constructor Details

PDFTypeHierarchy

public PDFTypeHierarchy()

Method Details

main

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

Throws:

IOException

run

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

Throws:

IOException

pruneGraph

public static <T> Graph<T> pruneGraph(Graph<T> g,
 Predicate<T> f)

pruneForAppLoader

public static Graph<IClass> pruneForAppLoader(Graph<IClass> g)

Restrict g to nodes from the Application loader

validateCommandLine

public static void validateCommandLine(String[] args)

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

Usage: args[0] : "-classpath" args[1] : String, a ";"-delimited class path

Throws:

UnsupportedOperationException - if command-line is malformed.

typeHierarchy2Graph

public static Graph<IClass> typeHierarchy2Graph(IClassHierarchy cha)

Return a view of an IClassHierarchy as a Graph, with edges from classes to immediate subtypes