com.ibm.wala.analysis.typeInference
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 of PointType. These are immutable. TODO: fix for efficiency if needed.

Field Summary

Fields inherited from class com.ibm.wala.analysis.typeInference.TypeAbstraction

TOP

Constructor Summary

SetType(PointType[] points)

Method Summary

boolean	equals(java.lang.Object obj)
TypeReference	getTypeReference() A TypeReference representing the types of this abstraction
int	hashCode()
java.util.Iterator<TypeReference>	iteratePoints()
TypeAbstraction	meet(TypeAbstraction rhs)

Methods inherited from class com.ibm.wala.analysis.typeInference.TypeAbstraction

getType

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

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 class TypeAbstraction

meet

public TypeAbstraction meet(TypeAbstraction rhs)
                     throws UnimplementedError

Specified by:

meet in class TypeAbstraction

Throws:

UnimplementedError

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class TypeAbstraction

hashCode

public int hashCode()

Specified by:

hashCode in class TypeAbstraction

iteratePoints

public java.util.Iterator<TypeReference> iteratePoints()

Returns:

Iterator of the TypeReferences which compose this Set.