Class SetType
- java.lang.Object
-
- com.ibm.wala.analysis.typeInference.TypeAbstraction
-
- com.ibm.wala.analysis.typeInference.SetType
-
- All Implemented Interfaces:
ContextItem
public class SetType extends TypeAbstraction
Abstraction of a set ofPointType
. These are immutable. TODO: fix for efficiency if needed.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem
ContextItem.Value<T>
-
-
Field Summary
-
Fields inherited from class com.ibm.wala.analysis.typeInference.TypeAbstraction
TOP
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(Object obj)
TypeReference
getTypeReference()
A TypeReference representing the types of this abstractionint
hashCode()
Iterator<TypeReference>
iteratePoints()
TypeAbstraction
meet(TypeAbstraction rhs)
-
Methods inherited from class com.ibm.wala.analysis.typeInference.TypeAbstraction
getType
-
-
-
-
Constructor Detail
-
SetType
public SetType(PointType[] points)
-
-
Method Detail
-
getTypeReference
public TypeReference getTypeReference()
Description copied from class:TypeAbstraction
A TypeReference representing the types of this abstraction- Specified by:
getTypeReference
in classTypeAbstraction
-
meet
public TypeAbstraction meet(TypeAbstraction rhs) throws UnimplementedError
- Specified by:
meet
in classTypeAbstraction
- Throws:
UnimplementedError
-
equals
public boolean equals(Object obj)
- Specified by:
equals
in classTypeAbstraction
-
hashCode
public int hashCode()
- Specified by:
hashCode
in classTypeAbstraction
-
iteratePoints
public Iterator<TypeReference> iteratePoints()
- Returns:
- Iterator of the TypeReferences which compose this Set.
-
-