| Interface | Description |
|---|---|
| ITypeBound |
Information to restrict types by applying constraints (or boundaries)
|
| ITypeBoundDynamic |
'Dynamic' type bound allows to use requested and not yet applied types
from
TypeUpdateInfo for more precise restrictions |
| ITypeConstraint | |
| ITypeListener |
| Class | Description |
|---|---|
| AbstractTypeConstraint | |
| FinishTypeInference | |
| TypeBoundCheckCastAssign |
Allow to ignore down casts (return arg type instead cast type)
Such casts will be removed later.
|
| TypeBoundConst | |
| TypeBoundFieldGetAssign |
Dynamic bound for instance field get of generic type.
|
| TypeBoundInvokeAssign |
Special dynamic bound for invoke with generics.
|
| TypeBoundInvokeUse |
Special dynamic bound for invoke with generics.
|
| TypeCompare | |
| TypeInferenceVisitor | |
| TypeInfo | |
| TypeSearch |
Slow and memory consuming multi-variable type search algorithm.
|
| TypeSearchState | |
| TypeSearchVarInfo | |
| TypeUpdate | |
| TypeUpdateEntry | |
| TypeUpdateFlags | |
| TypeUpdateInfo | |
| TypeUpdateRegistry |
| Enum | Description |
|---|---|
| BoundEnum | |
| TypeCompareEnum | |
| TypeUpdateResult |