See: Description
| Class | Description |
|---|---|
| ConeType |
Represents a type and its subtypes.
|
| JavaPrimitiveType |
Abstraction of a primitive type in Java.
|
| PointType |
Represents a single concrete type.
|
| PrimitiveType |
Abstraction of a primitive type.
|
| TypeAbstraction |
Abstraction of a Java type.
|
| TypeInference |
This class performs intraprocedural type propagation on an SSA IR.
|
| TypeInference.DeclaredTypeOperator |
An operator which initializes a type to a declared type.
|
| TypeInference.PrimitivePropagateOperator | |
| TypeVariable |
A type variable in the dataflow system for type inference.
|