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 abstraction
`int`	`hashCode()`
`TypeAbstraction`	`meet(TypeAbstraction rhs)`
`int`	`size()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- 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 class TypeAbstraction
  - size
```
public int size()
```
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in class TypeAbstraction
  - equals
```
public boolean equals(Object other)
```
    Specified by:
    
    equals in class TypeAbstraction
  - 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
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object

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

Class PrimitiveType

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem

Field Summary

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

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

referenceToType

reference

size

Constructor Detail

PrimitiveType

Method Detail

getPrimitive

meet

size

hashCode

equals

getType

getTypeReference

toString