public class SetType extends TypeAbstraction
PointType
. These are immutable. TODO: fix for efficiency if needed.ContextItem.Value<T>
TOP
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
TypeReference |
getTypeReference()
A TypeReference representing the types of this abstraction
|
int |
hashCode() |
Iterator<TypeReference> |
iteratePoints() |
TypeAbstraction |
meet(TypeAbstraction rhs) |
getType
public SetType(PointType[] points)
public TypeReference getTypeReference()
TypeAbstraction
getTypeReference
in class TypeAbstraction
public TypeAbstraction meet(TypeAbstraction rhs) throws UnimplementedError
meet
in class TypeAbstraction
UnimplementedError
public boolean equals(Object obj)
equals
in class TypeAbstraction
public int hashCode()
hashCode
in class TypeAbstraction
public Iterator<TypeReference> iteratePoints()