Class PointType

java.lang.Object

com.ibm.wala.analysis.typeInference.TypeAbstraction

com.ibm.wala.analysis.typeInference.PointType

All Implemented Interfaces:

ContextItem

public class PointType
extends TypeAbstraction

Represents a single concrete type.

Nested Class Summary

Nested classes/interfaces inherited from interface ContextItem

ContextItem.Value<T>

Field Summary

Fields inherited from class TypeAbstraction

TOP

Constructor Summary

Constructors

Constructor	Description
PointType(IClass type)

Method Summary

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

Methods inherited from class Object

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

Constructor Details

PointType

public PointType(IClass type)

Throws:

IllegalArgumentException - if type is null

Method Details

meet

public TypeAbstraction meet(TypeAbstraction rhs)

Specified by:

meet in class TypeAbstraction

toString

public String toString()

Overrides:

toString in class Object

getType

public IClass getType()

Description copied from class: TypeAbstraction

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

Overrides:

getType in class TypeAbstraction

getTypeReference

public TypeReference getTypeReference()

Description copied from class: TypeAbstraction

A TypeReference representing the types of this abstraction

Specified by:

getTypeReference in class TypeAbstraction

equals

public boolean equals(Object obj)

Specified by:

equals in class TypeAbstraction

hashCode

public int hashCode()

Specified by:

hashCode in class TypeAbstraction

isArrayType

public boolean isArrayType()

getIClass

public IClass getIClass()