public abstract class TypeAbstraction extends Object implements ContextItem
TypeInference
ContextItem.Value<T>
Modifier and Type | Field and Description |
---|---|
static TypeAbstraction |
TOP
Canonical element representing TOP for a dataflow lattice
|
Constructor and Description |
---|
TypeAbstraction() |
Modifier and Type | Method and 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 abstraction
|
abstract int |
hashCode() |
abstract TypeAbstraction |
meet(TypeAbstraction rhs) |
public static final TypeAbstraction TOP
public abstract TypeAbstraction meet(TypeAbstraction rhs)
public abstract TypeReference getTypeReference()
public IClass getType() throws UnsupportedOperationException
UnsupportedOperationException
- unconditionally