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.
|
SetType |
Abstraction of a set of
PointType . |
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.
|