| Interface | Description |
|---|---|
| IMatchable |
Dieses Interface wird von allen Klassen implementiert, die weitere Klassen
enthalten, die im match des Unify beachtet werden müssen.
|
| ITypeContainer |
Dieses Interface wird von allen Klassen implementiert, die weitere Klassen enthalten.
|
| Class | Description |
|---|---|
| BaseType | |
| BooleanType | |
| BoundedGenericTypeVar |
Entspricht einem GenericTypeVar, jedoch mit Bounds
(d.h. vorgaben, von welchem Typ die Typevar sein darf
=> extends Class x
=> implements Interface y
...
|
| CharacterType | |
| DoubleType | |
| ExtendsWildcardType |
Stellt eine Wildcard mit oberer Grenze dar.
|
| FloatType | |
| FreshExtendsWildcardType | |
| FreshSuperWildcardType | |
| FreshWildcardType | |
| GenericTypeVar |
TODO: Diese Klasse überarbeiten.
|
| IntegerType | |
| LongType | |
| ObjectType | |
| ParaList | |
| RefType | |
| ReturnType | |
| SuperWildcardType |
Stellt eine Wildcard mit unterer Grenze dar.
|
| Type | |
| TypePlaceholder |
Repr�sentiert einen Typparameter f�r einen vom Programmierer nicht angegeben
Typ.
|
| Void | |
| WildcardType |
Stellt eine Wildcard in Java dar.
|