public abstract class PrimitiveType extends TypeAbstraction
JavaPrimitiveType
ContextItem.Value<T>
Modifier and Type | Field and Description |
---|---|
protected TypeReference |
reference |
protected static Map<TypeReference,PrimitiveType> |
referenceToType |
protected int |
size |
TOP
Modifier | Constructor and Description |
---|---|
protected |
PrimitiveType(TypeReference reference,
int size) |
Modifier and Type | Method and 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() |
protected static final Map<TypeReference,PrimitiveType> referenceToType
protected final TypeReference reference
protected final int size
protected PrimitiveType(TypeReference reference, int size)
public static PrimitiveType getPrimitive(TypeReference reference)
public TypeAbstraction meet(TypeAbstraction rhs)
meet
in class TypeAbstraction
public int size()
public int hashCode()
hashCode
in class TypeAbstraction
public boolean equals(Object other)
equals
in class TypeAbstraction
public IClass getType()
TypeAbstraction
getType
in class TypeAbstraction
public TypeReference getTypeReference()
TypeAbstraction
getTypeReference
in class TypeAbstraction