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.

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

Constructor Summary

Constructors

Constructor and Description
SetType(PointType[] points)

Method Summary

Methods

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)

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 com.ibm.wala.util.debug.UnimplementedError

Specified by:

meet in class TypeAbstraction

Throws:

com.ibm.wala.util.debug.UnimplementedError

equals

public boolean equals(Object obj)

Specified by:

equals in class TypeAbstraction

hashCode

public int hashCode()

Specified by:

hashCode in class TypeAbstraction

iteratePoints

public Iterator<TypeReference> iteratePoints()

Returns:

Iterator of the TypeReferences which compose this Set.