## Uses of Class
de.dhbwstuttgart.syntaxtree.type.ObjectType

Packages that use ObjectType
de.dhbwstuttgart.parser
de.dhbwstuttgart.syntaxtree.type
de.dhbwstuttgart.typeinference
de.dhbwstuttgart.typeinference.unify

### Uses of ObjectType in de.dhbwstuttgart.parser

Fields in de.dhbwstuttgart.parser with type parameters of type ObjectType
`private Menge<ObjectType>` BoundedClassIdentifierList.`list`

Constructor parameters in de.dhbwstuttgart.parser with type arguments of type ObjectType
Constructor and Description
`BoundedClassIdentifierList(Menge<ObjectType> list, int endOffset)`

### Uses of ObjectType in de.dhbwstuttgart.syntaxtree.type

Subclasses of ObjectType in de.dhbwstuttgart.syntaxtree.type
`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`

Fields in de.dhbwstuttgart.syntaxtree.type declared as ObjectType
`private ObjectType` FreshExtendsWildcardType.`extendsBoundType`
`protected ObjectType` WildcardType.`innerType`
`private ObjectType` FreshSuperWildcardType.`superBoundType`

Fields in de.dhbwstuttgart.syntaxtree.type with type parameters of type ObjectType
`(package private) Menge<ObjectType>` BoundedGenericTypeVar.`bounds` Hier sind die Bounds in Form von Type-Objekten abgespeichert

Methods in de.dhbwstuttgart.syntaxtree.type that return ObjectType
`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.

Methods in de.dhbwstuttgart.syntaxtree.type that return types with arguments of type ObjectType
`Menge<ObjectType>` BoundedGenericTypeVar.`getBounds()`

Methods in de.dhbwstuttgart.syntaxtree.type with parameters of type ObjectType
`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

Constructors in de.dhbwstuttgart.syntaxtree.type with parameters of type ObjectType
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 parameters in de.dhbwstuttgart.syntaxtree.type with type arguments of type ObjectType
Constructor and Description
`BoundedGenericTypeVar(java.lang.String s, Menge<ObjectType> bounds, SyntaxTreeNode parentClass, int offset, int endOffset)`

### Uses of ObjectType in de.dhbwstuttgart.typeinference

Subclasses of ObjectType in de.dhbwstuttgart.typeinference
`class` `FunN`

### Uses of ObjectType in de.dhbwstuttgart.typeinference.unify

Methods in de.dhbwstuttgart.typeinference.unify that return types with arguments of type ObjectType
`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<ObjectType>.
`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

Methods in de.dhbwstuttgart.typeinference.unify with parameters of type ObjectType
`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

Method parameters in de.dhbwstuttgart.typeinference.unify with type arguments of type ObjectType
`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<ObjectType>.
`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