Uses of Class
com.ibm.wala.analysis.typeInference.TypeAbstraction

Packages that use TypeAbstraction

Package	Description
com.ibm.wala.analysis.reflection	This package provides functions to deal with reflection.
com.ibm.wala.analysis.typeInference	This package provides intraprocedural type inference over the SSA form.
com.ibm.wala.ipa.summaries	This package provides class hierarchy analysis.

Uses of TypeAbstraction in com.ibm.wala.analysis.reflection

Methods in com.ibm.wala.analysis.reflection that return TypeAbstraction

Modifier and Type	Method and Description
TypeAbstraction	JavaTypeContext.getType()
TypeAbstraction	GetMethodContext.getType() Get the type.
protected TypeAbstraction	AbstractReflectionInterpreter.typeRef2TypeAbstraction(IClassHierarchy cha, TypeReference type)

Methods in com.ibm.wala.analysis.reflection with parameters of type TypeAbstraction

Modifier and Type	Method and Description
protected void	FactoryBypassInterpreter.SpecializedFactoryMethod.addStatementsForTypeAbstraction(TypeAbstraction T)
static AbstractReflectionInterpreter.NoSubtypesWarning	AbstractReflectionInterpreter.NoSubtypesWarning.create(TypeAbstraction T)
static AbstractReflectionInterpreter.ManySubtypesWarning	AbstractReflectionInterpreter.ManySubtypesWarning.create(TypeAbstraction T, int n)

Constructors in com.ibm.wala.analysis.reflection with parameters of type TypeAbstraction

Constructor and Description
GetMethodContext(TypeAbstraction type, ConstantKey name) Construct this GetMethodContext.
JavaTypeContext(TypeAbstraction type)

Uses of TypeAbstraction in com.ibm.wala.analysis.typeInference

Subclasses of TypeAbstraction in com.ibm.wala.analysis.typeInference

Modifier and Type	Class and Description
class	ConeType Represents a type and its subtypes.
class	JavaPrimitiveType Abstraction of a primitive type in Java.
class	PointType Represents a single concrete type.
class	PrimitiveType Abstraction of a primitive type.
class	SetType Abstraction of a set of PointType.

Fields in com.ibm.wala.analysis.typeInference declared as TypeAbstraction

Modifier and Type	Field and Description
protected TypeAbstraction	TypeInference.BOTTOM A cone type for java.lang.Object
static TypeAbstraction	TypeAbstraction.TOP Canonical element representing TOP for a dataflow lattice

Methods in com.ibm.wala.analysis.typeInference that return TypeAbstraction

Modifier and Type	Method and Description
TypeAbstraction[]	TypeInference.extractAllResults() Extract all results of the type inference analysis.
TypeAbstraction	TypeInference.getConstantPrimitiveType(int valueNumber)
TypeAbstraction	TypeInference.getConstantType(int valueNumber)
TypeAbstraction	TypeVariable.getType()
TypeAbstraction	TypeInference.getType(int valueNumber) Return the type computed for a particular value number
abstract TypeAbstraction	TypeAbstraction.meet(TypeAbstraction rhs)
TypeAbstraction	SetType.meet(TypeAbstraction rhs)
TypeAbstraction	PrimitiveType.meet(TypeAbstraction rhs)
TypeAbstraction	PointType.meet(TypeAbstraction rhs)
TypeAbstraction	ConeType.meet(TypeAbstraction rhs)

Methods in com.ibm.wala.analysis.typeInference with parameters of type TypeAbstraction

Modifier and Type	Method and Description
abstract TypeAbstraction	TypeAbstraction.meet(TypeAbstraction rhs)
TypeAbstraction	SetType.meet(TypeAbstraction rhs)
TypeAbstraction	PrimitiveType.meet(TypeAbstraction rhs)
TypeAbstraction	PointType.meet(TypeAbstraction rhs)
TypeAbstraction	ConeType.meet(TypeAbstraction rhs)
void	TypeVariable.setType(TypeAbstraction type)

Constructors in com.ibm.wala.analysis.typeInference with parameters of type TypeAbstraction

Constructor and Description
TypeInference.DeclaredTypeOperator(TypeAbstraction type)
TypeVariable(TypeAbstraction type)

Uses of TypeAbstraction in com.ibm.wala.ipa.summaries

Methods in com.ibm.wala.ipa.summaries that return TypeAbstraction

Modifier and Type	Method and Description
TypeAbstraction	ReflectionSummary.getTypeForNewInstance(int bcIndex, IClassHierarchy cha)