com.ibm.wala.ipa.cha

Class ClassHierarchyFactory

java.lang.Object

com.ibm.wala.ipa.cha.ClassHierarchyFactory

public class ClassHierarchyFactory
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ClassHierarchyFactory()

Method Summary

Modifier and Type	Method and Description
static ClassHierarchy	make(AnalysisScope scope)
static ClassHierarchy	make(AnalysisScope scope, ClassLoaderFactory factory)
static ClassHierarchy	make(AnalysisScope scope, ClassLoaderFactory factory, Language language)
static ClassHierarchy	make(AnalysisScope scope, ClassLoaderFactory factory, Language language, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) temporarily marking this internal to avoid infinite sleep with randomly chosen IProgressMonitor.
static ClassHierarchy	make(AnalysisScope scope, ClassLoaderFactory factory, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) temporarily marking this internal to avoid infinite sleep with randomly chosen IProgressMonitor.
static ClassHierarchy	make(AnalysisScope scope, ClassLoaderFactory factory, java.util.Set<Language> languages)
static ClassHierarchy	make(AnalysisScope scope, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) temporarily marking this internal to avoid infinite sleep with randomly chosen IProgressMonitor.
static ClassHierarchy	makeWithPhantom(AnalysisScope scope) NOTE: phantom classes are a work-in-progress and this functionality has known bugs; see https://github.com/wala/WALA/pull/335.
static ClassHierarchy	makeWithPhantom(AnalysisScope scope, ClassLoaderFactory factory)
static ClassHierarchy	makeWithRoot(AnalysisScope scope)
static ClassHierarchy	makeWithRoot(AnalysisScope scope, ClassLoaderFactory factory)

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassHierarchyFactory

public ClassHierarchyFactory()

Method Detail

make

public static ClassHierarchy make(AnalysisScope scope)
                           throws ClassHierarchyException

Returns:

a ClassHierarchy object representing the analysis scope

Throws:

ClassHierarchyException

makeWithPhantom

public static ClassHierarchy makeWithPhantom(AnalysisScope scope)
                                      throws ClassHierarchyException

NOTE: phantom classes are a work-in-progress and this functionality has known bugs; see https://github.com/wala/WALA/pull/335. At this point, we recommend using makeWithRoot(AnalysisScope) instead.

Returns:

a ClassHierarchy object representing the analysis scope, where phantom classes are created when superclasses are missing

Throws:

ClassHierarchyException

makeWithRoot

public static ClassHierarchy makeWithRoot(AnalysisScope scope)
                                   throws ClassHierarchyException

Returns:

a ClassHierarchy object representing the analysis scope, missing superclasses are replaced by the ClassHierarchy root, i.e. java.lang.Object

Throws:

ClassHierarchyException

make

public static ClassHierarchy make(AnalysisScope scope,
                                  com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
                           throws ClassHierarchyException

temporarily marking this internal to avoid infinite sleep with randomly chosen IProgressMonitor.

Throws:

ClassHierarchyException

make

public static ClassHierarchy make(AnalysisScope scope,
                                  ClassLoaderFactory factory)
                           throws ClassHierarchyException

Throws:

ClassHierarchyException

makeWithPhantom

public static ClassHierarchy makeWithPhantom(AnalysisScope scope,
                                             ClassLoaderFactory factory)
                                      throws ClassHierarchyException

Throws:

ClassHierarchyException

makeWithRoot

public static ClassHierarchy makeWithRoot(AnalysisScope scope,
                                          ClassLoaderFactory factory)
                                   throws ClassHierarchyException

Throws:

ClassHierarchyException

make

public static ClassHierarchy make(AnalysisScope scope,
                                  ClassLoaderFactory factory,
                                  com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
                           throws ClassHierarchyException

temporarily marking this internal to avoid infinite sleep with randomly chosen IProgressMonitor.

Throws:

ClassHierarchyException

make

public static ClassHierarchy make(AnalysisScope scope,
                                  ClassLoaderFactory factory,
                                  java.util.Set<Language> languages)
                           throws ClassHierarchyException

Throws:

ClassHierarchyException

make

public static ClassHierarchy make(AnalysisScope scope,
                                  ClassLoaderFactory factory,
                                  Language language)
                           throws ClassHierarchyException

Throws:

ClassHierarchyException

make

public static ClassHierarchy make(AnalysisScope scope,
                                  ClassLoaderFactory factory,
                                  Language language,
                                  com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
                           throws ClassHierarchyException

temporarily marking this internal to avoid infinite sleep with randomly chosen IProgressMonitor. TODO: nanny for testgen

Throws:

ClassHierarchyException