Class TypeAbstraction
- java.lang.Object
-
- com.ibm.wala.analysis.typeInference.TypeAbstraction
-
- All Implemented Interfaces:
ContextItem
- Direct Known Subclasses:
ConeType
,PointType
,PrimitiveType
,SetType
public abstract class TypeAbstraction extends Object implements ContextItem
Abstraction of a Java type. These are immutable.- See Also:
TypeInference
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem
ContextItem.Value<T>
-
-
Field Summary
Fields Modifier and Type Field Description static TypeAbstraction
TOP
Canonical element representing TOP for a dataflow lattice
-
Constructor Summary
Constructors Constructor Description TypeAbstraction()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract boolean
equals(Object obj)
IClass
getType()
This is here for convenience; it makes sense for Point and Cone Dispatch.abstract TypeReference
getTypeReference()
A TypeReference representing the types of this abstractionabstract int
hashCode()
abstract TypeAbstraction
meet(TypeAbstraction rhs)
-
-
-
Field Detail
-
TOP
public static final TypeAbstraction TOP
Canonical element representing TOP for a dataflow lattice
-
-
Method Detail
-
meet
public abstract TypeAbstraction meet(TypeAbstraction rhs)
-
getTypeReference
public abstract TypeReference getTypeReference()
A TypeReference representing the types of this abstraction
-
getType
public IClass getType() throws UnsupportedOperationException
This is here for convenience; it makes sense for Point and Cone Dispatch. TODO: probably should get rid of it.- Throws:
UnsupportedOperationException
- unconditionally
-
-