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
Abstraction of a primitive type. Subclasses will define the primitive type abstractions for a
particular language.
- See Also:
-
Nested Class Summary
Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem
ContextItem.Value<T>
-
Field Summary
Modifier and TypeFieldDescriptionprotected final TypeReference
protected static final Map
<TypeReference, PrimitiveType> protected final int
Fields inherited from class com.ibm.wala.analysis.typeInference.TypeAbstraction
TOP
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
static PrimitiveType
getPrimitive
(TypeReference reference) getType()
This is here for convenience; it makes sense for Point and Cone Dispatch.A TypeReference representing the types of this abstractionint
hashCode()
meet
(TypeAbstraction rhs) int
size()
toString()
-
Field Details
-
referenceToType
-
reference
-
size
protected final int size
-
-
Constructor Details
-
PrimitiveType
-
-
Method Details
-
getPrimitive
-
meet
- Specified by:
meet
in classTypeAbstraction
-
size
public int size() -
hashCode
public int hashCode()- Specified by:
hashCode
in classTypeAbstraction
-
equals
- Specified by:
equals
in classTypeAbstraction
-
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
Description copied from class:TypeAbstraction
A TypeReference representing the types of this abstraction- Specified by:
getTypeReference
in classTypeAbstraction
-
toString
-