Class TypeAbstraction

java.lang.Object

com.ibm.wala.analysis.typeInference.TypeAbstraction

All Implemented Interfaces:

ContextItem

Direct Known Subclasses:

ConeType, PointType, PrimitiveType

public abstract class TypeAbstraction
extends Object
implements ContextItem

Abstraction of a Java type. These are immutable.

See Also:

• TypeInference

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem

ContextItem.Value<T>

Field Summary

Fields

Modifier and Type	Field	Description
static final TypeAbstraction	TOP	Canonical element representing TOP for a dataflow lattice

Constructor Summary

Constructors

Constructor	Description
TypeAbstraction()

Method Summary

Modifier and Type	Method	Description
abstract boolean	equals(Object obj)
IClass	getType()	This is here for convenience; it makes sense for Point and Cone Dispatch.
abstract TypeReference	getTypeReference()	A TypeReference representing the types of this abstraction
abstract int	hashCode()
abstract TypeAbstraction	meet(TypeAbstraction rhs)

Methods inherited from class java.lang.Object

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

Field Details

TOP

public static final TypeAbstraction TOP

Canonical element representing TOP for a dataflow lattice

Constructor Details

TypeAbstraction

public TypeAbstraction()

Method Details

meet

public abstract TypeAbstraction meet(TypeAbstraction rhs)

equals

public abstract boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class Object

getTypeReference

public abstract TypeReference getTypeReference()

A TypeReference representing the types of this abstraction

getType

public IClass getType()
               throws UnsupportedOperationException

This is here for convenience; it makes sense for Point and Cone Dispatch. TODO: probably should get rid of it.

Throws:

UnsupportedOperationException - unconditionally