com.ibm.wala.shrikeBT.analysis

Class ClassHierarchyStore

java.lang.Object

com.ibm.wala.shrikeBT.analysis.ClassHierarchyStore

All Implemented Interfaces:

ClassHierarchyProvider

public final class ClassHierarchyStore
extends Object
implements ClassHierarchyProvider

This implementation of ClassHierarchyProvider is a simple writable data structure representing a class hierarchy. You call setClassInfo to record information about a class.

Constructor Summary

Constructors

Constructor and Description
ClassHierarchyStore() Create an empty store.

Method Summary

Modifier and Type	Method and Description
boolean	containsClass(String cl)
String[]	getSubClasses(String cl)
String	getSuperClass(String cl)
String[]	getSuperInterfaces(String cl)
int	isInterface(String cl)
Iterator<String>	iterateOverClasses() Iterate through all classes in the store.
void	removeClassInfo(String cl) Delete the class information from the store.
void	setClassInfo(String cl, boolean isInterface, boolean isFinal, String superClass, String[] superInterfaces) Append some class information to the store.

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassHierarchyStore

public ClassHierarchyStore()

Create an empty store.

Method Detail

containsClass

public boolean containsClass(String cl)

setClassInfo

public void setClassInfo(String cl,
                         boolean isInterface,
                         boolean isFinal,
                         String superClass,
                         String[] superInterfaces)
                  throws IllegalArgumentException

Append some class information to the store.

Parameters:

cl - the JVM type of the class being added (e.g., Ljava/lang/Object;)

isInterface - true iff it's an interface

isFinal - true iff it's final

superClass - the JVM type of the superclass, or null if this is Object

superInterfaces - the JVM types of its implemented interfaces

Throws:

IllegalArgumentException

removeClassInfo

public void removeClassInfo(String cl)

Delete the class information from the store.

iterateOverClasses

public Iterator<String> iterateOverClasses()

Iterate through all classes in the store.

getSuperClass

public String getSuperClass(String cl)

Specified by:

getSuperClass in interface ClassHierarchyProvider

Returns:

the superclass of the given class, or null if the superclass is not known or cl is java.lang.Object

getSuperInterfaces

public String[] getSuperInterfaces(String cl)

Specified by:

getSuperInterfaces in interface ClassHierarchyProvider

Returns:

the superinterfaces of the given class, or null if they are not known

getSubClasses

public String[] getSubClasses(String cl)

Specified by:

getSubClasses in interface ClassHierarchyProvider

Returns:

the complete set of direct subclasses or implementors of cl, or null if the complete set is not known

isInterface

public int isInterface(String cl)

Specified by:

isInterface in interface ClassHierarchyProvider

Returns:

whether or not cl is an interface, or Constants.MAYBE if not known