|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Class Summary | |
|---|---|
| ConeType | Absraction of a Java type. |
| PointType | Abstraction of a Java type. |
| PrimitiveType | |
| ReceiverTypeInference | Holds results of type inference for call site receivers. |
| ReceiverTypeInferenceCache | A soft cache of results of type inference |
| SetType | Abstraction of a set of PointTypes. |
| TypeAbstraction | Absraction of a Java type. |
| TypeInference | This class performs intraprocedural type propagation on an SSA IR. |
| TypeInference.PrimitivePropagateOperator | |
| TypeInference.TypeVariable | A type variable in the dataflow system. |
This package provides intraprocedural type inference over the SSA form.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||