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

Packages that use Type
de.dhbwstuttgart.core
de.dhbwstuttgart.parser
de.dhbwstuttgart.syntaxtree
de.dhbwstuttgart.syntaxtree.misc
de.dhbwstuttgart.syntaxtree.statement
de.dhbwstuttgart.syntaxtree.type
de.dhbwstuttgart.typeinference
de.dhbwstuttgart.typeinference.assumptions
de.dhbwstuttgart.typeinference.typedeployment
de.dhbwstuttgart.typeinference.unify

### Uses of Type in de.dhbwstuttgart.core

Methods in de.dhbwstuttgart.core that return Type
`static Type` MyCompiler.`makeGenericTypeVars2TypePlaceHolders(Type T)`

Methods in de.dhbwstuttgart.core that return types with arguments of type Type
`Menge<Type>` AClassOrInterface.`getSuperInterfaces()`

Methods in de.dhbwstuttgart.core with parameters of type Type
`static Type` MyCompiler.`makeGenericTypeVars2TypePlaceHolders(Type T)`

Method parameters in de.dhbwstuttgart.core with type arguments of type Type
`void` AClassOrInterface.`setSuperInterfaces(Menge<Type> Menge)`

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

Fields in de.dhbwstuttgart.parser with type parameters of type Type
`private Menge<Type>` JavaParser.`containedTypes`

Methods in de.dhbwstuttgart.parser that return types with arguments of type Type
`Menge<Type>` InterfaceAndParameter.`getParaMenge()`
`Menge<Type>` ClassAndParameter.`getParaMenge()`
`Menge<Type>` InterfaceList.`getTypeMenge()`

### Uses of Type in de.dhbwstuttgart.syntaxtree

Fields in de.dhbwstuttgart.syntaxtree declared as Type
`private Type` Method.`returntype`
`private Type` Class.`superClass`
`protected Type` Constant.`typ`
`private Type` Field.`typ`
`private Type` FormalParameter.`type`

Fields in de.dhbwstuttgart.syntaxtree with type parameters of type Type
`private Menge<Type>` Class.`containedTypes`
`java.util.Hashtable<Type,Type>` ClassBody.`kill`
`java.util.Hashtable<Type,Type>` ClassBody.`kill`
`private Menge<Type>` Class.`superif`

Methods in de.dhbwstuttgart.syntaxtree that return Type
`private Type` SourceFile.`createTypeFromJavaGenericType(java.lang.reflect.Type type, java.lang.Class<?> cl, java.util.Hashtable<java.lang.String,GenericTypeVar> jreSpiderRegistry, Class parentClass)`
`Type` Class.`getSuperClass()` Die Super Klasse dieser Klasse.
`Type` Constant.`getType()` Gibt den Typ der Konstantendefinition zurueck.
`Type` FormalParameter.`getType()`
`Type` Method.`getType()` Der Typ einer Methode ist ihr Returntype
`Type` Field.`getType()`
`private static Type` Class.`usedIdToRefType(UsedId superclass2)`

Methods in de.dhbwstuttgart.syntaxtree that return types with arguments of type Type
`Menge<? extends Type>` Class.`get_ParaList()`
`Menge<Type>` Class.`getContainedTypes()`
`Menge<Type>` Class.`getSuperInterfaces()`
`private static Menge<Type>` Class.`usedIdToRefType(Menge<UsedId> superif2)`

Methods in de.dhbwstuttgart.syntaxtree with parameters of type Type
`private Pair` SourceFile.`createPairFromClassAndSuperclass(Class baseClass, Type superclass, Menge classParaOrg, Menge superclassParaOrg, TypeAssumptions ass)` Erstellt ein Typ-Paar, welches im 1.
`static GenericTypeVar` ClassHelper.`findGenericType(Type type, Menge<Type> paralist, Menge<GenericTypeVar> methodParaList)` Deprecated.
`boolean` ClassBody.`is_declared(Type t, Menge<Class> classlist)`
`boolean` SyntaxTreeNode.`seesType(Type tA2)`
`private void` Method.`setReturnType(Type type)` Author: Jrg Buerle
`void` Constructor.`setType(Type t)`
`void` Constant.`setType(Type typ)` Legt den Typ der Konstantendefinition fest
`void` FormalParameter.`setType(Type t)` Author: JÃ¯Â¿Â½rg BÃ¯Â¿Â½uerle
`void` Method.`setType(Type t)`
`void` Field.`setType(Type typ)`

Method parameters in de.dhbwstuttgart.syntaxtree with type arguments of type Type
`static GenericTypeVar` ClassHelper.`findGenericType(Type type, Menge<Type> paralist, Menge<GenericTypeVar> methodParaList)` Deprecated.
`void` Class.`setContainedTypes(Menge<Type> containedTypes)`
`void` Interface.`setParaList(Menge<Type> paraMenge)`
`void` Class.`setSuperInterfaces(Menge<Type> superif)`
`void` FieldDeclaration.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist)`
`void` Method.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> classParalist)`
`void` Field.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist)` Wird im Zuge des ParserPostProcessing aufgerufen.

Constructors in de.dhbwstuttgart.syntaxtree with parameters of type Type
Constructor and Description
`Class(java.lang.String name, Modifiers mod, ClassBody cb, Menge<Type> ct, Type superclass, Menge<Type> Menge, Menge<? extends Type> paralist, int offset)` Konstruktor, der die Angabe aller Parameter ermoeglicht.
`FieldDeclaration(java.lang.String name, Type typ)` Dieser Konstruktor der FieldDeclaration erstellt den Syntaxknoten vollstÃ¤ndig.
`Method(java.lang.String name, Type returnType, ParameterList parameterList, Block block, GenericDeclarationList gtvDeclarations, int offset)`

Constructor parameters in de.dhbwstuttgart.syntaxtree with type arguments of type Type
Constructor and Description
`Class(java.lang.String name, ClassBody cb, Menge<Type> ct, UsedId superclass, Menge<Type> superif, Menge<Type> paralist, int offset)`
`Class(java.lang.String name, ClassBody cb, Menge<Type> ct, UsedId superclass, Menge<Type> superif, Menge<Type> paralist, int offset)`
`Class(java.lang.String name, ClassBody cb, Menge<Type> ct, UsedId superclass, Menge<Type> superif, Menge<Type> paralist, int offset)`
`Class(java.lang.String name2, Modifiers object, ClassBody classBody, Menge<Type> containedTypes2, Menge<Type> typeMenge, Menge<Type> paraMenge, int offset2)`
`Class(java.lang.String name2, Modifiers object, ClassBody classBody, Menge<Type> containedTypes2, Menge<Type> typeMenge, Menge<Type> paraMenge, int offset2)`
`Class(java.lang.String name2, Modifiers object, ClassBody classBody, Menge<Type> containedTypes2, Menge<Type> typeMenge, Menge<Type> paraMenge, int offset2)`
`Class(java.lang.String name, Modifiers mod, ClassBody cb, Menge<Type> ct, Menge<UsedId> usedIdsToCheck, UsedId superclass, Menge<UsedId> superif, Menge<Type> paralist, int offset)`
`Class(java.lang.String name, Modifiers mod, ClassBody cb, Menge<Type> ct, Menge<UsedId> usedIdsToCheck, UsedId superclass, Menge<UsedId> superif, Menge<Type> paralist, int offset)`
`Class(java.lang.String name, Modifiers mod, ClassBody cb, Menge<Type> ct, Type superclass, Menge<Type> Menge, Menge<? extends Type> paralist, int offset)` Konstruktor, der die Angabe aller Parameter ermoeglicht.
`Class(java.lang.String name, Modifiers mod, ClassBody cb, Menge<Type> ct, Type superclass, Menge<Type> Menge, Menge<? extends Type> paralist, int offset)` Konstruktor, der die Angabe aller Parameter ermoeglicht.
`Class(java.lang.String name, Modifiers mod, ClassBody cb, Menge<Type> ct, Type superclass, Menge<Type> Menge, Menge<? extends Type> paralist, int offset)` Konstruktor, der die Angabe aller Parameter ermoeglicht.
`Class(java.lang.String name2, Modifiers modifiers2, ClassBody classBody, Menge<Type> containedTypes2, UsedId usedId, Menge<Type> typeMenge, Menge<Type> paraMenge, int offset2)`
`Class(java.lang.String name2, Modifiers modifiers2, ClassBody classBody, Menge<Type> containedTypes2, UsedId usedId, Menge<Type> typeMenge, Menge<Type> paraMenge, int offset2)`
`Class(java.lang.String name2, Modifiers modifiers2, ClassBody classBody, Menge<Type> containedTypes2, UsedId usedId, Menge<Type> typeMenge, Menge<Type> paraMenge, int offset2)`

### Uses of Type in de.dhbwstuttgart.syntaxtree.misc

Fields in de.dhbwstuttgart.syntaxtree.misc with type parameters of type Type
`private Menge<Type>` UsedId.`paralist`
`Menge<Type>` UsedId.`vParaOrg`

Methods in de.dhbwstuttgart.syntaxtree.misc that return types with arguments of type Type
`Menge<Type>` UsedId.`get_ParaList()`
`Menge<Type>` UsedId.`get_RealParaList()`
`Menge<Type>` UsedId.`get_vParaOrg()`

Methods in de.dhbwstuttgart.syntaxtree.misc with parameters of type Type
`void` DeclId.`set_ListType(Type t)`

Method parameters in de.dhbwstuttgart.syntaxtree.misc with type arguments of type Type
`void` UsedId.`set_ParaList(Menge<Type> pl)`

### Uses of Type in de.dhbwstuttgart.syntaxtree.statement

Fields in de.dhbwstuttgart.syntaxtree.statement declared as Type
`protected Type` Statement.`type`
`private Type` CastExpr.`type`
`private Type` NewArray.`type`

Fields in de.dhbwstuttgart.syntaxtree.statement with type parameters of type Type
`private java.util.Hashtable<java.lang.String,Type>` LocalVarDecl.`parahash`

Methods in de.dhbwstuttgart.syntaxtree.statement that return Type
`Type` Statement.`getReturnType()`
`Type` Return.`getReturnType()`
`Type` Statement.`getType()`
`Type` NewArray.`getType()` Author: JÃ¯Â¿Â½rg BÃ¯Â¿Â½uerle

Methods in de.dhbwstuttgart.syntaxtree.statement with parameters of type Type
`void` LocalVarDecl.`is_declared(Type t, Menge<Class> classlist)`
`void` Expr.`set_Type(Type type)`
`void` CastExpr.`set_Type(Type ty)`
`void` Statement.`setReturnType(Type t)`
`void` Return.`setReturnType(Type t)`
`void` Statement.`setType(Type t)`
`void` NewArray.`setType(Type type)` Author: JÃ¯Â¿Â½rg BÃ¯Â¿Â½uerle

Method parameters in de.dhbwstuttgart.syntaxtree.statement with type arguments of type Type
`void` NegativeExpr.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` Assign.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` IntLiteral.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` PositivExpr.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` LambdaExpression.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` PreDecExpr.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`abstract void` Statement.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` LocalOrFieldVar.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` DoubleLiteral.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` StringLiteral.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` Return.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` CastExpr.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` This.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` MethodCall.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` Binary.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` InstVar.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` Block.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)` In allen lokalen Variablendeklarationen die "falschen" RefTypes ersetzen
`void` NewArray.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` PostDecExpr.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` ForStmt.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` NewClass.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` Null.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` BoolLiteral.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` CharLiteral.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` PreIncExpr.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` IfStmt.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` InstanceOf.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` WhileStmt.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` EmptyStmt.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` LongLiteral.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` LocalVarDecl.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` FloatLiteral.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` PostIncExpr.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`
`void` NotExpr.`wandleRefTypeAttributes2GenericAttributes(Menge<Type> paralist, Menge<GenericTypeVar> genericMethodParameters)`

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

Subclasses of Type in de.dhbwstuttgart.syntaxtree.type
`class` `BaseType`
`class` `BooleanType`
`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` `CharacterType`
`class` `DoubleType`
`class` `ExtendsWildcardType` Stellt eine Wildcard mit oberer Grenze dar.
`class` `FloatType`
`class` `FreshExtendsWildcardType`
`class` `FreshSuperWildcardType`
`class` `FreshWildcardType`
`class` `GenericTypeVar` TODO: Diese Klasse Ã¼berarbeiten.
`class` `IntegerType`
`class` `LongType`
`class` `ObjectType`
`class` `RefType`
`class` `ReturnType`
`class` `SuperWildcardType` Stellt eine Wildcard mit unterer Grenze dar.
`class` `TypePlaceholder` ReprÃ¯Â¿Â½sentiert einen Typparameter fÃ¯Â¿Â½r einen vom Programmierer nicht angegeben Typ.
`class` `Void`
`class` `WildcardType` Stellt eine Wildcard in Java dar.

Fields in de.dhbwstuttgart.syntaxtree.type with type parameters of type Type
`private Menge<Type>` RefType.`parameter`
`private Menge<Type>` FreshWildcardType.`upperBounds`

Methods in de.dhbwstuttgart.syntaxtree.type that return Type
`Type` Type.`applyResultSet(ResultSet result)`
`Type` RefType.`applyResultSet(ResultSet result)`
`Type` Void.`checkTYPE(TypeAssumptions ass, SyntaxTreeNode method)`
`Type` Type.`checkTYPE(TypeAssumptions ass, SyntaxTreeNode method)`
`Type` RefType.`checkTYPE(TypeAssumptions ass, SyntaxTreeNode method)`
`abstract Type` Type.`clone()` Author: JÃ¯Â¿Â½rg BÃ¯Â¿Â½uerle
`Type` SuperWildcardType.`getContainedType()` Author: Arne LÃ¼dtke Das gleiche wie get_innerType().
`Type` ITypeContainer.`getContainedType()` Author: Arne LÃ¼dtke Das gleiche wie get_ExtendsType().
`Type` FreshSuperWildcardType.`getMatchType()` Author: Arne LÃ¼dtke Gibt den Typen zurÃ¼ck, der bei einem match im Unify verwendet werden soll.
`Type` IMatchable.`getMatchType()` Author: Arne LÃ¼dtke Gibt den Typen zurÃ¼ck, der bei einem match im Unify verwendet werden soll.
`Type` SuperWildcardType.`getMatchType()` Author: Arne LÃ¼dtke Gibt den Typen zurÃ¼ck, der bei einem match im Unify verwendet werden soll.
`Type` FreshExtendsWildcardType.`getMatchType()` Author: Arne LÃ¼dtke Gibt den Typen zurÃ¼ck, der bei einem match im Unify verwendet werden soll.
`Type` RefType.`getMatchType()` Author: Arne LÃ¼dtke Gibt den Typen zurÃ¼ck, der bei einem match im Unify verwendet werden soll.
`Type` WildcardType.`GetWildcardType()` Author: Arne LÃ¼dtke Die Allgemeine Wildcard enthÃ¤lt keinen Typen.
`Type` ExtendsWildcardType.`GetWildcardType()` Author: Arne LÃ¼dtke Das gleiche wie get_ExtendsType().
`Type` SuperWildcardType.`GetWildcardType()` Author: Arne LÃ¼dtke Das gleiche wie get_innerType().

Methods in de.dhbwstuttgart.syntaxtree.type that return types with arguments of type Type
`Menge<Type>` ParaList.`get_ParaList()`
`Menge<Type>` RefType.`get_ParaList()`
`Menge<Type>` FreshWildcardType.`get_UpperBounds()` Author: Arne LÃ¼dtke Gibt den Menge der oberen Grenzen zurÃ¼ck
`Menge<Type>` ParaList.`getParalist()`
`Menge<Type>` RefType.`getParaList()`

Methods in de.dhbwstuttgart.syntaxtree.type with parameters of type Type
`void` ParaList.`add_ParaList(Type obj)`
`void` RefType.`add_Parameter(Type o)`
`void` WildcardType.`SetWildcardType(Type T)` Author: Arne LÃ¼dtke Setzt den Typ in der Wildcard, Allgemeine Wildcard hat aber keinen Typen.

Method parameters in de.dhbwstuttgart.syntaxtree.type with type arguments of type Type
`boolean` RefType.`Equiv2Equal(RefType ty2, java.util.Hashtable<JavaClassName,Type> ht)`
`GenericTypeVar` RefType.`findGenericType(Menge<Type> paralist, Menge<GenericTypeVar> methodParaList)` HOTI Diese Methode sucht in der Klassendefinition nach einen GTV, die so heiÃt wie die im RefType definierte Variable.
`boolean` RefType.`is_Equiv(RefType ty2, java.util.Hashtable<JavaClassName,Type> ht)`
`void` RefType.`set_ParaList(Menge<Type> v)` FÃ¼gt eine Parameterliste an und tauscht zuvor alle GenerictTypeVars durch TPH aus.
`void` FreshWildcardType.`set_UpperBounds(Menge<Type> bounds)` Author: Arne LÃ¼dtke Setzt den Menge der oberen Grenzen
`void` ParaList.`setParalist(Menge<Type> paralist)`

Constructors in de.dhbwstuttgart.syntaxtree.type with parameters of type Type
Constructor and Description
`ParaList(Type t)`
`RefType(Type baseType)` Erstellt einen Referenztyp aus dem Ã¼bergebenen Type.

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

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

Fields in de.dhbwstuttgart.typeinference declared as Type
`private Type` FunN.`R`
`private Type` ConstraintType.`t`
`Type` Pair.`TA1`
`Type` Pair.`TA2`

Fields in de.dhbwstuttgart.typeinference with type parameters of type Type
`private Menge<Type>` FunN.`T`

Methods in de.dhbwstuttgart.typeinference that return Type
`static Type` Pair.`copyType(Type T)`
`Type` Pair.`getTA1Copy()`
`Type` Pair.`getTA2Copy()`
`Type` ConstraintType.`getType()`
`Type` Typeable.`getType()`
`Type` ResultSet.`getTypeEqualTo(Type type)` LÃ¶st den Ã¼bergebenen Typ auf.
`Type` TypeinferenceResultSet.`getTypeOfPlaceholder(TypePlaceholder tph)` Ermittelt den in diesem ResultSet fÃ¼r den TypePlaceholder tph zugewiesenen Wert.

Methods in de.dhbwstuttgart.typeinference that return types with arguments of type Type
`Menge<Type>` Pair.`getTypes()`
`Menge<Type>` ResultSet.`getTypesInvolving(Menge<TypePlaceholder> unresolvedTPH)` Durchsucht das ResultSet nach Typen, die die Ã¼bergebenen unresolvedTPHs als generische Variablen einbinden.

Methods in de.dhbwstuttgart.typeinference with parameters of type Type
`boolean` ResultSet.`contains(Type tA1)` Durchsucht das ResultSet (die unifizierten Constraints des ResultSets) nach diesem Typ.
`static Type` Pair.`copyType(Type T)`
`private int` ResultSet.`findPairWithTypeEqualTo(Type type, Menge<Pair> inResultPairs)`
`Type` ResultSet.`getTypeEqualTo(Type type)` LÃ¶st den Ã¼bergebenen Typ auf.
`protected void` FunN.`setR(Type R)`
`void` Typeable.`setType(Type typ)`

Method parameters in de.dhbwstuttgart.typeinference with type arguments of type Type
`protected void` FunN.`setT(Menge<Type> T)`

Constructors in de.dhbwstuttgart.typeinference with parameters of type Type
Constructor and Description
`FunN(Type R, Menge<Type> T)`
`Pair(Type TA1, Type TA2)`
`Pair(Type TA1, Type TA2, Pair.PairOperator eOp)`
`Pair(Type TA1, Type TA2, Pair.PairOperator eOp, boolean bSubst)`

Constructor parameters in de.dhbwstuttgart.typeinference with type arguments of type Type
Constructor and Description
`FunN(Type R, Menge<Type> T)`
`FunNMethod(Menge<? extends Type> paralist)`

### Uses of Type in de.dhbwstuttgart.typeinference.assumptions

Fields in de.dhbwstuttgart.typeinference.assumptions declared as Type
`private Type` LocalVarAssumption.`type`

Methods in de.dhbwstuttgart.typeinference.assumptions that return Type
`Type` TypeAssumptions.`checkType(RefType type, SyntaxTreeNode parent)`
`Type` Assumption.`getAssumedType()`
`Type` ConstructorAssumption.`getAssumedType()`
`Type` LocalVarAssumption.`getAssumedType()`
`Type` MethodAssumption.`getParameterType(int i)` Liefert den Typ des i-ten Parameters dieser Method-Assumption
`Type` MethodAssumption.`getParentClassType()`
`Type` TypeAssumptions.`getTypeOfFieldVar(java.lang.String withName, Class inClass)` Liefert den Typ einer Feldvariable der Klasse inClass
`Type` TypeAssumptions.`getTypeOfLocalVar2(java.lang.String withName)` Deprecated.
`Type` TypeAssumptions.`getVarType(java.lang.String variableName, Class inScope)` Durchsucht die Assumptions des aktuellen GÃ¼ltigkeitsbereichs (lokale Variablen und Felder der aktuellen Klasse) nach einem Eintrag fÃ¼r den Ã¼bergebenen Variablennamen.

Methods in de.dhbwstuttgart.typeinference.assumptions with parameters of type Type
`ConstraintType` TypeAssumptions.`getTypeFor(Type t, SyntaxTreeNode inNode)` Kontrolliert den vom Parser gesetzten Typ.

Constructors in de.dhbwstuttgart.typeinference.assumptions with parameters of type Type
Constructor and Description
`LocalVarAssumption(LocalVarDecl localVar, Type declaredType)`

### Uses of Type in de.dhbwstuttgart.typeinference.typedeployment

Fields in de.dhbwstuttgart.typeinference.typedeployment declared as Type
`Type` TypeInsertPoint.`type`

Methods in de.dhbwstuttgart.typeinference.typedeployment that return Type
`protected Type` TypeInsertPoint.`getInsertType()`

Constructors in de.dhbwstuttgart.typeinference.typedeployment with parameters of type Type
Constructor and Description
`TypeInsertPoint(TypeInsertable insertPoint, SyntaxTreeNode insertNode, Type insertType, ResultSet resultSet)` Dieser Konstruktor erstellt einen TypInsertPoint

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

Fields in de.dhbwstuttgart.typeinference.unify declared as Type
`protected Type` CSubstitution.`m_Type`

Fields in de.dhbwstuttgart.typeinference.unify with type parameters of type Type
`(package private) Menge<? extends Type>` MUB.`Mub`

Methods in de.dhbwstuttgart.typeinference.unify that return Type
`private Type` CSubstitution.`applySubstitution(Type type, CSubstitution unifierSub)` Wendet die Ã¯Â¿Â½bergebene Substitution rekursiv auf den Ã¯Â¿Â½bergebenen Typ an.
`Type` CSubstitution.`applyThisSubstitution(Type type)`
`Type` CSubstitutionSet.`applyThisSubstitutionSet(Type type)`
`private static Type` Unify.`CaptureConversion(Type T, FC_TTO fc_tto)` Erzeugt die CaptureConversion von einem Typ.
`Type` CSubstitution.`getType()` Author: JÃ¯Â¿Â½rg BÃ¯Â¿Â½uerle
`Type` CSubstitution.`getTypeVar()` Author: JÃ¯Â¿Â½rg BÃ¯Â¿Â½uerle
`Type` CSubstitutionGenVar.`getTypeVar()` Author: JÃ¯Â¿Â½rg BÃ¯Â¿Â½uerle

Methods in de.dhbwstuttgart.typeinference.unify that return types with arguments of type Type
`private static java.util.Hashtable<JavaClassName,Type>` Unify.`CaptureConversionHashtable(java.util.Hashtable<JavaClassName,Type> ht, FC_TTO fc_tto)`
`private static Menge<Menge<Type>>` Unify.`cartProductType(Menge<Menge<Type>> vec)` Ãberladung der Funktion cartProductType, damit der Programmierer beim ersten Aufruf nicht den 2.
`private static Menge<Menge<Type>>` Unify.`cartProductType(Menge<Menge<Type>> vec, int index)` Erzeugt das Kartesische Product von mehreren Mengeen von Typen.
`private static Menge<Type>` Unify.`copyMengeType(Menge<? extends Type> vec)` Kopiert einen Menge<Type>.
`Menge<? extends Type>` MUB.`getMub()`
`private static Menge<Type>` Unify.`greaterArg(Type T, FC_TTO fc_tto)` greaterArg Schritt von greater FÃ¼r den Argumenttype FunN<...> werden keine ?
`static java.util.Hashtable<JavaClassName,Type>` Unify.`MengePair2SubstHashtableMengePair(Menge<Pair> v)`
`private static Menge<Type>` Unify.`smallerArg(Type T, FC_TTO fc_tto)` smallerArg Schritt von smaller

Methods in de.dhbwstuttgart.typeinference.unify with parameters of type Type
`private Type` CSubstitution.`applySubstitution(Type type, CSubstitution unifierSub)` Wendet die Ã¯Â¿Â½bergebene Substitution rekursiv auf den Ã¯Â¿Â½bergebenen Typ an.
`Type` CSubstitution.`applyThisSubstitution(Type type)`
`Type` CSubstitutionSet.`applyThisSubstitutionSet(Type type)`
`private static Type` Unify.`CaptureConversion(Type T, FC_TTO fc_tto)` Erzeugt die CaptureConversion von einem Typ.
`private static boolean` Unify.`DelFreshWildcardTypeVar(Type T)` Gibt True zurÃ¼ck, wenn T eine FreshWildcard ist, oder im Falle eines RefTypes oder WildcardTypes eine FreshWildcard enthÃ¤lt.
`private static Menge<Menge<Pair>>` Unify.`generateSetOfSetOfPair(Type TA1, Menge<? extends Type> otherPairTypes)` Diese Methode generiert einen Menge<Menge<Pair>> wobei immer der Ã¼bergebene TA1 vorne steht, und jeder Typ aus otherPairTypes hinten.
`private static Menge<Type>` Unify.`greaterArg(Type T, FC_TTO fc_tto)` greaterArg Schritt von greater FÃ¼r den Argumenttype FunN<...> werden keine ?
`void` CSubstitution.`setType(Type type)` Author: JÃ¯Â¿Â½rg BÃ¯Â¿Â½uerle
`private static Menge<ObjectType>` Unify.`smaller1(Type T, FC_TTO fc_tto)` smaller1 Schritt von smaller
`private static Menge<Type>` Unify.`smallerArg(Type T, FC_TTO fc_tto)` smallerArg Schritt von smaller
`static boolean` Unify.`Subst(Pair P, int nTypnrInPair, TypePlaceholder a, Type o, boolean bMitVorbedingung)`
`static MUB` Unify.`unify_Mub(Type ty1, Type ty2, FC_TTO fc_tto)`
`static Menge<Menge<Pair>>` Unify.`unify(Type ty1, Type ty2, FC_TTO fc_tto)` Unifiziert ein Pair mit den Elementen ty1 und ty2 -> (ty1 < ty2)
`static Menge<Menge<Pair>>` Unify.`unifyWC(Type ty1, Type ty2, FC_TTO fc_tto)` Einstieg in die Unifizierung mit Wildcards

Method parameters in de.dhbwstuttgart.typeinference.unify with type arguments of type Type
`private static java.util.Hashtable<JavaClassName,Type>` Unify.`CaptureConversionHashtable(java.util.Hashtable<JavaClassName,Type> ht, FC_TTO fc_tto)`
`private static Menge<Menge<Type>>` Unify.`cartProductType(Menge<Menge<Type>> vec)` Ãberladung der Funktion cartProductType, damit der Programmierer beim ersten Aufruf nicht den 2.
`private static Menge<Menge<Type>>` Unify.`cartProductType(Menge<Menge<Type>> vec, int index)` Erzeugt das Kartesische Product von mehreren Mengeen von Typen.
`private static Menge<Type>` Unify.`copyMengeType(Menge<? extends Type> vec)` Kopiert einen Menge<Type>.
`private static Menge<Menge<Pair>>` Unify.`generateSetOfSetOfPair(Type TA1, Menge<? extends Type> otherPairTypes)` Diese Methode generiert einen Menge<Menge<Pair>> wobei immer der Ã¼bergebene TA1 vorne steht, und jeder Typ aus otherPairTypes hinten.
`static java.util.Hashtable` Unify.`match(RefType FCtype, RefType tomatch, java.util.Hashtable<JavaClassName,Type> ht)`
`static void` Unify.`SubstHashtable(RefType typterm, java.util.Hashtable<JavaClassName,Type> ht)`
`static Menge<Pair>` Unify.`SubstHashtable2MengePair(java.util.Hashtable<JavaClassName,Type> ht)`
`static void` Unify.`SubstHashtableGeneric(RefType typterm, java.util.Hashtable<JavaClassName,Type> ht)`
`static void` Unify.`varSubst(RefType typterm, java.util.Hashtable<JavaClassName,Type> ht)`

Constructors in de.dhbwstuttgart.typeinference.unify with parameters of type Type
Constructor and Description
`CSubstitution(TypePlaceholder typeVar, Type type)`
`CSubstitutionGenVar(GenericTypeVar typeVar, Type type)`

Constructor parameters in de.dhbwstuttgart.typeinference.unify with type arguments of type Type
Constructor and Description
`MUB(Menge<? extends Type> M, Menge<Pair> s)`