Class JavaPrimitiveType

java.lang.Object

com.ibm.wala.analysis.typeInference.TypeAbstraction

com.ibm.wala.analysis.typeInference.PrimitiveType

com.ibm.wala.analysis.typeInference.JavaPrimitiveType

All Implemented Interfaces:

ContextItem

public class JavaPrimitiveType
extends PrimitiveType

Abstraction of a primitive type in Java.

Nested Class Summary

Nested classes/interfaces inherited from interface ContextItem

ContextItem.Value<T>

Modifier and Type	Interface	Description
static class	ContextItem.Value<T>

Field Summary

Fields

Modifier and Type	Field	Description
static final PrimitiveType	BOOLEAN
static final PrimitiveType	BYTE
static final PrimitiveType	CHAR
static final PrimitiveType	DOUBLE
static final PrimitiveType	FLOAT
static final PrimitiveType	INT
static final PrimitiveType	LONG
static final PrimitiveType	SHORT
static final PrimitiveType	VOID

Fields inherited from class PrimitiveType

reference, referenceToType, size

Modifier and Type	Field	Description
protected final TypeReference	reference
protected static final Map<TypeReference, PrimitiveType>	referenceToType
protected final int	size

Fields inherited from class TypeAbstraction

TOP

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

Method Summary

Modifier and Type	Method	Description
static void	init()
String	toString()

Methods inherited from class PrimitiveType

equals, getPrimitive, getType, getTypeReference, hashCode, meet, size

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()

Methods inherited from class Object

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

Field Details

BOOLEAN

public static final PrimitiveType BOOLEAN

CHAR

public static final PrimitiveType CHAR

BYTE

public static final PrimitiveType BYTE

SHORT

public static final PrimitiveType SHORT

INT

public static final PrimitiveType INT

LONG

public static final PrimitiveType LONG

FLOAT

public static final PrimitiveType FLOAT

DOUBLE

public static final PrimitiveType DOUBLE

VOID

public static final PrimitiveType VOID

Method Details

init

public static void init()

toString

public String toString()

Overrides:

toString in class PrimitiveType