com.ibm.wala.cast.ipa.cha

Class CrossLanguageClassHierarchy

java.lang.Object

com.ibm.wala.cast.ipa.cha.CrossLanguageClassHierarchy

All Implemented Interfaces:

com.ibm.wala.ipa.cha.IClassHierarchy, java.lang.Iterable<com.ibm.wala.classLoader.IClass>

public class CrossLanguageClassHierarchy
extends java.lang.Object
implements com.ibm.wala.ipa.cha.IClassHierarchy

This class hierarchy represents a family of disjoint class hierarchies, one for each of a selection of languages. The implementation creates a separate ClassHierarchy object for each language, and this overall IClassHierarchy implementation delegates to the appropriate language class hierarchy based on the language associated with the class loader of the given TypeReference or IClass object.

Note that, because of this delegating structure and representation of multiple languages, the getRootClass API call does not make sense for this hierarchy. In general, any code that wants to use multiple language must deal with the fact that there is no longer a single root type. Each individual language is still expected to have a root type, however.

Method Summary

Modifier and Type	Method and Description
boolean	addClass(com.ibm.wala.classLoader.IClass klass)
java.util.Collection<com.ibm.wala.classLoader.IClass>	computeSubClasses(com.ibm.wala.types.TypeReference type)
com.ibm.wala.classLoader.ClassLoaderFactory	getFactory()
java.util.Collection<com.ibm.wala.classLoader.IClass>	getImmediateSubclasses(com.ibm.wala.classLoader.IClass klass)
java.util.Set<com.ibm.wala.classLoader.IClass>	getImplementors(com.ibm.wala.types.TypeReference type)
java.util.Collection<com.ibm.wala.types.TypeReference>	getJavaLangErrorTypes()
java.util.Collection<com.ibm.wala.types.TypeReference>	getJavaLangRuntimeExceptionTypes()
com.ibm.wala.classLoader.IClass	getLeastCommonSuperclass(com.ibm.wala.classLoader.IClass A, com.ibm.wala.classLoader.IClass B)
com.ibm.wala.types.TypeReference	getLeastCommonSuperclass(com.ibm.wala.types.TypeReference A, com.ibm.wala.types.TypeReference B)
com.ibm.wala.classLoader.IClassLoader	getLoader(com.ibm.wala.types.ClassLoaderReference loaderRef)
com.ibm.wala.classLoader.IClassLoader[]	getLoaders()
int	getNumber(com.ibm.wala.classLoader.IClass c)
int	getNumberOfClasses()
int	getNumberOfImmediateSubclasses(com.ibm.wala.classLoader.IClass klass)
java.util.Set<com.ibm.wala.classLoader.IMethod>	getPossibleTargets(com.ibm.wala.classLoader.IClass receiverClass, com.ibm.wala.types.MethodReference ref)
java.util.Set<com.ibm.wala.classLoader.IMethod>	getPossibleTargets(com.ibm.wala.types.MethodReference ref)
com.ibm.wala.classLoader.IClass	getRootClass()
com.ibm.wala.ipa.callgraph.AnalysisScope	getScope()
java.util.Set<com.ibm.wala.types.TypeReference>	getUnresolvedClasses()
boolean	implementsInterface(com.ibm.wala.classLoader.IClass c, com.ibm.wala.classLoader.IClass i)
boolean	isAssignableFrom(com.ibm.wala.classLoader.IClass c1, com.ibm.wala.classLoader.IClass c2)
boolean	isInterface(com.ibm.wala.types.TypeReference type)
boolean	isRootClass(com.ibm.wala.classLoader.IClass c)
boolean	isSubclassOf(com.ibm.wala.classLoader.IClass c, com.ibm.wala.classLoader.IClass T)
java.util.Iterator<com.ibm.wala.classLoader.IClass>	iterator()
com.ibm.wala.classLoader.IClass	lookupClass(com.ibm.wala.types.TypeReference A)
static CrossLanguageClassHierarchy	make(com.ibm.wala.ipa.callgraph.AnalysisScope scope, com.ibm.wala.classLoader.ClassLoaderFactory factory)
com.ibm.wala.classLoader.IField	resolveField(com.ibm.wala.types.FieldReference f)
com.ibm.wala.classLoader.IField	resolveField(com.ibm.wala.classLoader.IClass klass, com.ibm.wala.types.FieldReference f)
com.ibm.wala.classLoader.IMethod	resolveMethod(com.ibm.wala.classLoader.IClass receiver, com.ibm.wala.types.Selector selector)
com.ibm.wala.classLoader.IMethod	resolveMethod(com.ibm.wala.types.MethodReference m)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Detail

getFactory

public com.ibm.wala.classLoader.ClassLoaderFactory getFactory()

Specified by:

getFactory in interface com.ibm.wala.ipa.cha.IClassHierarchy

getScope

public com.ibm.wala.ipa.callgraph.AnalysisScope getScope()

Specified by:

getScope in interface com.ibm.wala.ipa.cha.IClassHierarchy

getLoaders

public com.ibm.wala.classLoader.IClassLoader[] getLoaders()

Specified by:

getLoaders in interface com.ibm.wala.ipa.cha.IClassHierarchy

getLoader

public com.ibm.wala.classLoader.IClassLoader getLoader(com.ibm.wala.types.ClassLoaderReference loaderRef)

Specified by:

getLoader in interface com.ibm.wala.ipa.cha.IClassHierarchy

addClass

public boolean addClass(com.ibm.wala.classLoader.IClass klass)

Specified by:

addClass in interface com.ibm.wala.ipa.cha.IClassHierarchy

getNumberOfClasses

public int getNumberOfClasses()

Specified by:

getNumberOfClasses in interface com.ibm.wala.ipa.cha.IClassHierarchy

isRootClass

public boolean isRootClass(com.ibm.wala.classLoader.IClass c)

Specified by:

isRootClass in interface com.ibm.wala.ipa.cha.IClassHierarchy

getRootClass

public com.ibm.wala.classLoader.IClass getRootClass()

Specified by:

getRootClass in interface com.ibm.wala.ipa.cha.IClassHierarchy

getNumber

public int getNumber(com.ibm.wala.classLoader.IClass c)

Specified by:

getNumber in interface com.ibm.wala.ipa.cha.IClassHierarchy

getPossibleTargets

public java.util.Set<com.ibm.wala.classLoader.IMethod> getPossibleTargets(com.ibm.wala.types.MethodReference ref)

Specified by:

getPossibleTargets in interface com.ibm.wala.ipa.cha.IClassHierarchy

getPossibleTargets

public java.util.Set<com.ibm.wala.classLoader.IMethod> getPossibleTargets(com.ibm.wala.classLoader.IClass receiverClass,
                                                                          com.ibm.wala.types.MethodReference ref)

Specified by:

getPossibleTargets in interface com.ibm.wala.ipa.cha.IClassHierarchy

resolveMethod

public com.ibm.wala.classLoader.IMethod resolveMethod(com.ibm.wala.types.MethodReference m)

Specified by:

resolveMethod in interface com.ibm.wala.ipa.cha.IClassHierarchy

resolveField

public com.ibm.wala.classLoader.IField resolveField(com.ibm.wala.types.FieldReference f)

Specified by:

resolveField in interface com.ibm.wala.ipa.cha.IClassHierarchy

resolveField

public com.ibm.wala.classLoader.IField resolveField(com.ibm.wala.classLoader.IClass klass,
                                                    com.ibm.wala.types.FieldReference f)

Specified by:

resolveField in interface com.ibm.wala.ipa.cha.IClassHierarchy

resolveMethod

public com.ibm.wala.classLoader.IMethod resolveMethod(com.ibm.wala.classLoader.IClass receiver,
                                                      com.ibm.wala.types.Selector selector)

Specified by:

resolveMethod in interface com.ibm.wala.ipa.cha.IClassHierarchy

lookupClass

public com.ibm.wala.classLoader.IClass lookupClass(com.ibm.wala.types.TypeReference A)

Specified by:

lookupClass in interface com.ibm.wala.ipa.cha.IClassHierarchy

isInterface

public boolean isInterface(com.ibm.wala.types.TypeReference type)

Specified by:

isInterface in interface com.ibm.wala.ipa.cha.IClassHierarchy

getLeastCommonSuperclass

public com.ibm.wala.classLoader.IClass getLeastCommonSuperclass(com.ibm.wala.classLoader.IClass A,
                                                                com.ibm.wala.classLoader.IClass B)

Specified by:

getLeastCommonSuperclass in interface com.ibm.wala.ipa.cha.IClassHierarchy

getLeastCommonSuperclass

public com.ibm.wala.types.TypeReference getLeastCommonSuperclass(com.ibm.wala.types.TypeReference A,
                                                                 com.ibm.wala.types.TypeReference B)

Specified by:

getLeastCommonSuperclass in interface com.ibm.wala.ipa.cha.IClassHierarchy

isSubclassOf

public boolean isSubclassOf(com.ibm.wala.classLoader.IClass c,
                            com.ibm.wala.classLoader.IClass T)

Specified by:

isSubclassOf in interface com.ibm.wala.ipa.cha.IClassHierarchy

implementsInterface

public boolean implementsInterface(com.ibm.wala.classLoader.IClass c,
                                   com.ibm.wala.classLoader.IClass i)

Specified by:

implementsInterface in interface com.ibm.wala.ipa.cha.IClassHierarchy

computeSubClasses

public java.util.Collection<com.ibm.wala.classLoader.IClass> computeSubClasses(com.ibm.wala.types.TypeReference type)

Specified by:

computeSubClasses in interface com.ibm.wala.ipa.cha.IClassHierarchy

getJavaLangRuntimeExceptionTypes

public java.util.Collection<com.ibm.wala.types.TypeReference> getJavaLangRuntimeExceptionTypes()

Specified by:

getJavaLangRuntimeExceptionTypes in interface com.ibm.wala.ipa.cha.IClassHierarchy

getJavaLangErrorTypes

public java.util.Collection<com.ibm.wala.types.TypeReference> getJavaLangErrorTypes()

Specified by:

getJavaLangErrorTypes in interface com.ibm.wala.ipa.cha.IClassHierarchy

getImplementors

public java.util.Set<com.ibm.wala.classLoader.IClass> getImplementors(com.ibm.wala.types.TypeReference type)

Specified by:

getImplementors in interface com.ibm.wala.ipa.cha.IClassHierarchy

getNumberOfImmediateSubclasses

public int getNumberOfImmediateSubclasses(com.ibm.wala.classLoader.IClass klass)

Specified by:

getNumberOfImmediateSubclasses in interface com.ibm.wala.ipa.cha.IClassHierarchy

getImmediateSubclasses

public java.util.Collection<com.ibm.wala.classLoader.IClass> getImmediateSubclasses(com.ibm.wala.classLoader.IClass klass)

Specified by:

getImmediateSubclasses in interface com.ibm.wala.ipa.cha.IClassHierarchy

isAssignableFrom

public boolean isAssignableFrom(com.ibm.wala.classLoader.IClass c1,
                                com.ibm.wala.classLoader.IClass c2)

Specified by:

isAssignableFrom in interface com.ibm.wala.ipa.cha.IClassHierarchy

iterator

public java.util.Iterator<com.ibm.wala.classLoader.IClass> iterator()

Specified by:

iterator in interface java.lang.Iterable<com.ibm.wala.classLoader.IClass>

make

public static CrossLanguageClassHierarchy make(com.ibm.wala.ipa.callgraph.AnalysisScope scope,
                                               com.ibm.wala.classLoader.ClassLoaderFactory factory)
                                        throws com.ibm.wala.ipa.cha.ClassHierarchyException

Throws:

com.ibm.wala.ipa.cha.ClassHierarchyException

getUnresolvedClasses

public java.util.Set<com.ibm.wala.types.TypeReference> getUnresolvedClasses()

Specified by:

getUnresolvedClasses in interface com.ibm.wala.ipa.cha.IClassHierarchy