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, SetType

public abstract class TypeAbstraction
extends java.lang.Object
implements ContextItem

Abstraction of a Java type. These are immutable.

See Also:

TypeInference

Field Summary

static TypeAbstraction

TOP Canonical element representing TOP for a dataflow lattice

Constructor Summary

TypeAbstraction()

Method Summary

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