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
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 TypeReference
reference
protected static Map<TypeReference,PrimitiveType>
referenceToType
protected 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
All Methods Static Methods Instance Methods Concrete Methods 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 abstractionint
hashCode()
TypeAbstraction
meet(TypeAbstraction rhs)
int
size()
String
toString()
-
-
-
Field Detail
-
referenceToType
protected static final Map<TypeReference,PrimitiveType> referenceToType
-
reference
protected final TypeReference reference
-
size
protected final int size
-
-
Constructor Detail
-
PrimitiveType
protected PrimitiveType(TypeReference reference, int size)
-
-
Method Detail
-
getPrimitive
public static PrimitiveType getPrimitive(TypeReference reference)
-
meet
public TypeAbstraction meet(TypeAbstraction rhs)
- Specified by:
meet
in classTypeAbstraction
-
size
public int size()
-
hashCode
public int hashCode()
- Specified by:
hashCode
in classTypeAbstraction
-
equals
public boolean equals(Object other)
- Specified by:
equals
in classTypeAbstraction
-
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 classTypeAbstraction
-
getTypeReference
public TypeReference getTypeReference()
Description copied from class:TypeAbstraction
A TypeReference representing the types of this abstraction- Specified by:
getTypeReference
in classTypeAbstraction
-
-