| Class | Description |
|---|---|
| CHelper | |
| CIntersectionType |
Ein
CIntersectionType gruppiert alle Typmglichkeiten 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.
|
| CSubstitutionGenVar |
Implementierung einer Typsubstitution der GenVar.
|
| CSupportData |
Container-Klasse fr bestimmte Hilfsdaten, die beim
Typrekonstruktionsalgorithmus bentigt 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.
|