| Class and Description |
|---|
| Type |
| Class and Description |
|---|
| GenericTypeVar
TODO: Diese Klasse überarbeiten.
|
| ObjectType |
| ParaList |
| RefType |
| Type |
| Class and Description |
|---|
| GenericTypeVar
TODO: Diese Klasse überarbeiten.
|
| RefType |
| Type |
| TypePlaceholder
Repr�sentiert einen Typparameter f�r einen vom Programmierer nicht angegeben
Typ.
|
| Class and Description |
|---|
| Type |
| Class and Description |
|---|
| RefType |
| Class and Description |
|---|
| GenericTypeVar
TODO: Diese Klasse überarbeiten.
|
| RefType |
| Type |
| TypePlaceholder
Repr�sentiert einen Typparameter f�r einen vom Programmierer nicht angegeben
Typ.
|
| Class and 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.
|
| IMatchable
Dieses Interface wird von allen Klassen implementiert, die weitere Klassen
enthalten, die im match des Unify beachtet werden müssen.
|
| IntegerType |
| ITypeContainer
Dieses Interface wird von allen Klassen implementiert, die weitere Klassen enthalten.
|
| LongType |
| ObjectType |
| 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.
|
| Class and Description |
|---|
| GenericTypeVar
TODO: Diese Klasse überarbeiten.
|
| IMatchable
Dieses Interface wird von allen Klassen implementiert, die weitere Klassen
enthalten, die im match des Unify beachtet werden müssen.
|
| ObjectType |
| RefType |
| Type |
| TypePlaceholder
Repr�sentiert einen Typparameter f�r einen vom Programmierer nicht angegeben
Typ.
|
| WildcardType
Stellt eine Wildcard in Java dar.
|
| Class and Description |
|---|
| GenericTypeVar
TODO: Diese Klasse überarbeiten.
|
| RefType |
| Type |
| Class and Description |
|---|
| Type |
| TypePlaceholder
Repr�sentiert einen Typparameter f�r einen vom Programmierer nicht angegeben
Typ.
|
| Class and Description |
|---|
| GenericTypeVar
TODO: Diese Klasse überarbeiten.
|
| ObjectType |
| RefType |
| Type |
| TypePlaceholder
Repr�sentiert einen Typparameter f�r einen vom Programmierer nicht angegeben
Typ.
|