|
Class Summary |
| CHelper |
|
| CIntersectionType |
Ein CIntersectionType gruppiert alle Typmöglichkeiten einer
bestimmten Methode, die über den CMethodKey eindeutig definiert ist. |
| CMultiplyTuple |
Container-Klasse für Ergebniswerte der Algorithmen TRTuple und TRMultiply. |
| CReconstructionTuple |
Container-Klasse für Ergebniswerte des Algorithmus TRStart. |
| CSubstitution |
Implementierung einer Typsubstitution. |
| CSupportData |
Container-Klasse für bestimmte Hilfsdaten, die beim
Typrekonstruktionsalgorithmus benötigt und deshalb
rekursiv weiter gereicht werden. |
| CTriple |
Container-Klasse für Ergebniswerte der Algorithmen TRStmt und TRExp. |
| CTypeReconstructionResult |
Diese Container-Klasse kapselt alle Ergebniswerte für eine mögliche Typkombination
aller Klassen und deren Methoden sowie lokalen Variablen. |