com.ibm.wala.examples.drivers

Class PDFTypeHierarchy

java.lang.Object

com.ibm.wala.examples.drivers.PDFTypeHierarchy

public class PDFTypeHierarchy
extends java.lang.Object

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

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	DOT_FILE
static java.util.Properties	p

Constructor Summary

Constructors

Constructor and Description
PDFTypeHierarchy()

Method Summary

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

DOT_FILE

public static final java.lang.String DOT_FILE

See Also:

Constant Field Values

p

public static java.util.Properties p

Constructor Detail

PDFTypeHierarchy

public PDFTypeHierarchy()

Method Detail

main

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

Throws:

java.io.IOException

run

public static java.lang.Process run(java.lang.String[] args)
                             throws java.io.IOException

Throws:

java.io.IOException

pruneGraph

public static <T> com.ibm.wala.util.graph.Graph<T> pruneGraph(com.ibm.wala.util.graph.Graph<T> g,
                                                              java.util.function.Predicate<T> f)

pruneForAppLoader

public static com.ibm.wala.util.graph.Graph<IClass> pruneForAppLoader(com.ibm.wala.util.graph.Graph<IClass> g)

Restrict g to nodes from the Application loader

validateCommandLine

public static void validateCommandLine(java.lang.String[] args)

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

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

Throws:

java.lang.UnsupportedOperationException - if command-line is malformed.

typeHierarchy2Graph

public static com.ibm.wala.util.graph.Graph<IClass> typeHierarchy2Graph(IClassHierarchy cha)

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