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 |
|
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.
|