| Package | Description |
|---|---|
| de.dhbwstuttgart.parser | |
| de.dhbwstuttgart.syntaxtree.type | |
| de.dhbwstuttgart.typeinference | |
| de.dhbwstuttgart.typeinference.unify |
| Modifier and Type | Field and Description |
|---|---|
private Menge<ObjectType> |
BoundedClassIdentifierList.list |
| Constructor and Description |
|---|
BoundedClassIdentifierList(Menge<ObjectType> list,
int endOffset) |
| Modifier and Type | Class and Description |
|---|---|
class |
BoundedGenericTypeVar
Entspricht einem GenericTypeVar, jedoch mit Bounds
(d.h. vorgaben, von welchem Typ die Typevar sein darf
=> extends Class x
=> implements Interface y
...
|
class |
GenericTypeVar
TODO: Diese Klasse überarbeiten.
|
class |
RefType |
class |
TypePlaceholder
Repr�sentiert einen Typparameter f�r einen vom Programmierer nicht angegeben
Typ.
|
class |
Void |
| Modifier and Type | Field and Description |
|---|---|
private ObjectType |
FreshExtendsWildcardType.extendsBoundType |
protected ObjectType |
WildcardType.innerType |
private ObjectType |
FreshSuperWildcardType.superBoundType |
| Modifier and Type | Field and Description |
|---|---|
(package private) Menge<ObjectType> |
BoundedGenericTypeVar.bounds
Hier sind die Bounds in Form von Type-Objekten abgespeichert
|
| Modifier and Type | Method and Description |
|---|---|
abstract ObjectType |
ObjectType.clone() |
ObjectType |
FreshExtendsWildcardType.get_ExtendsBound()
Author: Arne Lüdtke
Gibt die Grenze der Wildcard zurück |
ObjectType |
ExtendsWildcardType.get_ExtendsType()
Author: Arne Lüdtke
Gibt den Typen in der Wildcard zurück. |
ObjectType |
FreshSuperWildcardType.get_SuperBound()
Author: Arne Lüdtke
Gibt die Grenze der Wildcard zurück |
ObjectType |
SuperWildcardType.get_SuperType()
Author: Arne Lüdtke
Gibt den Typen in der Wildcard zurück. |
ObjectType |
ExtendsWildcardType.getContainedType()
Author: Arne Lüdtke
Das gleiche wie get_ExtendsType(). |
ObjectType |
ExtendsWildcardType.getMatchType()
Author: Arne Lüdtke
Gibt den Typen zurück, der bei einem match im Unify verwendet werden soll. |
| Modifier and Type | Method and Description |
|---|---|
Menge<ObjectType> |
BoundedGenericTypeVar.getBounds() |
| Modifier and Type | Method and Description |
|---|---|
void |
BoundedGenericTypeVar.addBound(ObjectType bound) |
void |
ExtendsWildcardType.SetWildcardType(ObjectType T)
Author: Arne Lüdtke
Setzt den Typ in der Wildcard |
void |
SuperWildcardType.SetWildcardType(ObjectType T)
Author: Arne Lüdtke
Setzt den Typ in der Wildcard |
| Constructor and Description |
|---|
ExtendsWildcardType(int offset,
ObjectType extendsType)
Author: Arne Lüdtke
Standard Konstruktor für eine ExtendsWildcard |
ExtendsWildcardType(ObjectType extendsType) |
FreshExtendsWildcardType(ObjectType extendsBound,
SyntaxTreeNode parent,
int offset)
Author: Arne Lüdtke
Standard Konstruktor für eine FreshExtendsWildcard |
FreshExtendsWildcardType(ObjectType extendsBound,
SyntaxTreeNode parent,
int offset,
java.lang.String name)
Author: Arne Lüdtke
Privater Konstruktor für clone |
FreshSuperWildcardType(ObjectType superBound,
SyntaxTreeNode parent,
int offset)
Author: Arne Lüdtke
Standard Konstruktor für eine FreshSuperWildcard |
FreshSuperWildcardType(ObjectType superBound,
SyntaxTreeNode parent,
int offset,
java.lang.String name)
Author: Arne Lüdtke
Privater Konstruktor für clone |
SuperWildcardType(int offset,
ObjectType innerType)
Author: Arne Lüdtke
Standard Konstruktor für eine SuperWildcard |
SuperWildcardType(ObjectType innerType) |
WildcardType(ObjectType innerType,
SyntaxTreeNode parent,
int offset)
Author: Arne Lüdtke
Standard Konstruktor für eine Wildcard |
| Constructor and Description |
|---|
BoundedGenericTypeVar(java.lang.String s,
Menge<ObjectType> bounds,
SyntaxTreeNode parentClass,
int offset,
int endOffset) |
| Modifier and Type | Class and Description |
|---|---|
class |
FunN |
| Modifier and Type | Method and Description |
|---|---|
private static Menge<ObjectType> |
Unify.CaptureConversion(Menge<ObjectType> TVec,
FC_TTO fc_tto)
Implementiert die CaptureConversion.
|
private static Menge<ObjectType> |
Unify.copyMengeObjectType(Menge<ObjectType> vec)
Kopiert einen Menge
|
private static Menge<ObjectType> |
Unify.greater(ObjectType T,
FC_TTO fc_tto)
Erzeugt alle Typen die greater sind als T.
|
private static Menge<ObjectType> |
Unify.greater0(ObjectType T,
FC_TTO fc_tto)
greater0 Schritt von greater.
|
private static Menge<ObjectType> |
Unify.greater1(ObjectType T,
FC_TTO fc_tto)
greater1 Schritt von greater.
|
private static Menge<ObjectType> |
Unify.greater2(Menge<ObjectType> greater1Erg,
FC_TTO fc_tto)
greater2 Schritt von greater
|
private static Menge<ObjectType> |
Unify.greater3(Menge<ObjectType> greater2Erg,
FC_TTO fc_tto)
greater3 Schritt von greater
|
private static Menge<ObjectType> |
Unify.smaller(ObjectType T,
FC_TTO fc_tto)
Erzeugt alle Typen die smaller sind als T.
|
private static Menge<ObjectType> |
Unify.smaller0(ObjectType T,
FC_TTO fc_tto)
smaller0 Schritt von smaller
|
private static Menge<ObjectType> |
Unify.smaller1(Type T,
FC_TTO fc_tto)
smaller1 Schritt von smaller
|
private static Menge<ObjectType> |
Unify.smaller2(Menge<ObjectType> smaller1Erg,
FC_TTO fc_tto)
smaller2 Schritt von smaller
|
private static Menge<ObjectType> |
Unify.smaller3(Menge<ObjectType> smaller12Erg,
FC_TTO fc_tto)
smaller3 Schritt von smaller
|
private static Menge<ObjectType> |
Unify.smaller4(Menge<ObjectType> smallerErg)
smaller4 Schritt von smaller
|
| Modifier and Type | Method and Description |
|---|---|
private static Menge<ObjectType> |
Unify.greater(ObjectType T,
FC_TTO fc_tto)
Erzeugt alle Typen die greater sind als T.
|
private static Menge<ObjectType> |
Unify.greater0(ObjectType T,
FC_TTO fc_tto)
greater0 Schritt von greater.
|
private static Menge<ObjectType> |
Unify.greater1(ObjectType T,
FC_TTO fc_tto)
greater1 Schritt von greater.
|
private static Menge<ObjectType> |
Unify.smaller(ObjectType T,
FC_TTO fc_tto)
Erzeugt alle Typen die smaller sind als T.
|
private static Menge<ObjectType> |
Unify.smaller0(ObjectType T,
FC_TTO fc_tto)
smaller0 Schritt von smaller
|
| Modifier and Type | Method and Description |
|---|---|
private static Menge<ObjectType> |
Unify.CaptureConversion(Menge<ObjectType> TVec,
FC_TTO fc_tto)
Implementiert die CaptureConversion.
|
private static Menge<ObjectType> |
Unify.copyMengeObjectType(Menge<ObjectType> vec)
Kopiert einen Menge
|
private static Menge<ObjectType> |
Unify.greater2(Menge<ObjectType> greater1Erg,
FC_TTO fc_tto)
greater2 Schritt von greater
|
private static Menge<ObjectType> |
Unify.greater3(Menge<ObjectType> greater2Erg,
FC_TTO fc_tto)
greater3 Schritt von greater
|
private static Menge<ObjectType> |
Unify.smaller2(Menge<ObjectType> smaller1Erg,
FC_TTO fc_tto)
smaller2 Schritt von smaller
|
private static Menge<ObjectType> |
Unify.smaller3(Menge<ObjectType> smaller12Erg,
FC_TTO fc_tto)
smaller3 Schritt von smaller
|
private static Menge<ObjectType> |
Unify.smaller4(Menge<ObjectType> smallerErg)
smaller4 Schritt von smaller
|