Package com.ibm.wala.analysis.typeInference

Class PrimitiveType

java.lang.Object

com.ibm.wala.analysis.typeInference.TypeAbstraction

com.ibm.wala.analysis.typeInference.PrimitiveType

All Implemented Interfaces:

ContextItem

Direct Known Subclasses:

JavaPrimitiveType, JSPrimitiveType

public abstract class PrimitiveType
extends TypeAbstraction

Abstraction of a primitive type. Subclasses will define the primitive type abstractions for a particular language.

See Also:

• JavaPrimitiveType

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
protected final TypeReference	reference
protected static final Map<TypeReference,PrimitiveType>	referenceToType
protected final int	size

Fields inherited from class com.ibm.wala.analysis.typeInference.TypeAbstraction

TOP

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	PrimitiveType(TypeReference reference, int size)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object other)
static PrimitiveType	getPrimitive(TypeReference reference)
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()
TypeAbstraction	meet(TypeAbstraction rhs)
int	size()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

referenceToType

protected static final Map<TypeReference,PrimitiveType> referenceToType

reference

protected final TypeReference reference

size

protected final int size

Constructor Details

PrimitiveType

protected PrimitiveType(TypeReference reference,
 int size)

Method Details

getPrimitive

public static PrimitiveType getPrimitive(TypeReference reference)

meet

public TypeAbstraction meet(TypeAbstraction rhs)

Specified by:

meet in class TypeAbstraction

size

public int size()

hashCode

public int hashCode()

Specified by:

hashCode in class TypeAbstraction

equals

public boolean equals(Object other)

Specified by:

equals in class TypeAbstraction

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

toString

public String toString()

Overrides:

toString in class Object