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

public class PrimitiveType
extends TypeAbstraction

Field Summary

static PrimitiveType	BOOLEAN
static PrimitiveType	BYTE
static PrimitiveType	CHAR
static PrimitiveType	DOUBLE
static PrimitiveType	FLOAT
static PrimitiveType	INT
static PrimitiveType	LONG
static PrimitiveType	SHORT

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

TOP

Method Summary

boolean	equals(java.lang.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()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

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

Method Detail

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

See Also:

Object.hashCode()

equals

public boolean equals(java.lang.Object other)

Specified by:

equals in class TypeAbstraction

See Also:

Object.equals(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

getPrimitive

public static PrimitiveType getPrimitive(TypeReference reference)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object