com.ibm.wala.analysis.typeInference

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 java.lang.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 and Description
static TypeAbstraction	TOP Canonical element representing TOP for a dataflow lattice

Constructor Summary

Constructors

Constructor and Description
TypeAbstraction()

Method Summary

Modifier and Type	Method and Description
abstract boolean	equals(java.lang.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 Detail

TOP

public static final TypeAbstraction TOP

Canonical element representing TOP for a dataflow lattice

Constructor Detail

TypeAbstraction

public TypeAbstraction()

Method Detail

meet

public abstract TypeAbstraction meet(TypeAbstraction rhs)

equals

public abstract boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class java.lang.Object

getTypeReference

public abstract TypeReference getTypeReference()

A TypeReference representing the types of this abstraction

getType

public IClass getType()
               throws java.lang.UnsupportedOperationException

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

Throws:

java.lang.UnsupportedOperationException - unconditionally