| Class and Description |
|---|
| Pair |
| Type |
| Class and Description |
|---|
| Type |
| Class and Description |
|---|
| GenericTypeVar |
| RefType |
| Type |
| Class and Description |
|---|
| RefType |
| Type |
| Class and Description |
|---|
| RefType |
| Class and Description |
|---|
| Pair |
| ParaList |
| Type |
| Class and Description |
|---|
| GenericTypeVar |
| RefType |
| Type |
| 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 |
| CRefTypeSet |
| DoubleType |
| ExtendsWildcardType
Stellt eine Wildcard mit oberer Grenze dar.
|
| FloatType |
| FreshExtendsWildcardType |
| FreshSuperWildcardType |
| FreshWildcardType |
| GenericTypeVar |
| 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 |
| Pair |
| Pair.PairOperator |
| 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 |
| Pair |
| RefType |
| Type |
| TypePlaceholder
Repr�sentiert einen Typparameter f�r einen vom Programmierer nicht angegeben
Typ.
|
| Class and Description |
|---|
| Type |
| Class and Description |
|---|
| Pair |
| Type |
| Class and Description |
|---|
| GenericTypeVar |
| Type |
| Class and Description |
|---|
| BoundedGenericTypeVar
Entspricht einem GenericTypeVar, jedoch mit Bounds
(d.h. vorgaben, von welchem Typ die Typevar sein darf
=> extends Class x
=> implements Interface y
...
|
| Pair |
| RefType |
| Type |
| TypePlaceholder
Repr�sentiert einen Typparameter f�r einen vom Programmierer nicht angegeben
Typ.
|
| Class and Description |
|---|
| GenericTypeVar |
| Type |
| Class and Description |
|---|
| Type |
| Class and Description |
|---|
| IMatchable
Dieses Interface wird von allen Klassen implementiert, die weitere Klassen
enthalten, die im match des Unify beachtet werden m�ssen.
|
| Pair |
| RefType |
| Type |