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 booleanequals(Object obj)TypeReferencegetTypeReference()A TypeReference representing the types of this abstractioninthashCode()Iterator<TypeReference>iteratePoints()TypeAbstractionmeet(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:TypeAbstractionA TypeReference representing the types of this abstraction- Specified by:
getTypeReferencein classTypeAbstraction
-
meet
public TypeAbstraction meet(TypeAbstraction rhs) throws UnimplementedError
- Specified by:
meetin classTypeAbstraction- Throws:
UnimplementedError
-
equals
public boolean equals(Object obj)
- Specified by:
equalsin classTypeAbstraction
-
hashCode
public int hashCode()
- Specified by:
hashCodein classTypeAbstraction
-
iteratePoints
public Iterator<TypeReference> iteratePoints()
- Returns:
- Iterator of the TypeReferences which compose this Set.
-
-