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

- Packages that use Type
  Package | Description
  --- | ---
  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
    Modifier and Type | Method and Description
    --- | ---
    `static Type` | MyCompiler.`makeGenericTypeVars2TypePlaceHolders(Type T)`

    Methods in de.dhbwstuttgart.core that return types with arguments of type Type
    Modifier and Type | Method and Description
    --- | ---
    `Menge<Type>` | AClassOrInterface.`getSuperInterfaces()`

    Methods in de.dhbwstuttgart.core with parameters of type Type
    Modifier and Type | Method and Description
    --- | ---
    `static Type` | MyCompiler.`makeGenericTypeVars2TypePlaceHolders(Type T)`

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

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

    Fields in de.dhbwstuttgart.parser with type parameters of type Type
    Modifier and Type | Field and Description
    --- | ---
    `private Menge<Type>` | JavaParser.`containedTypes`

    Methods in de.dhbwstuttgart.parser that return types with arguments of type Type
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Field and Description
    --- | ---
    `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
    Modifier and Type | Field and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Field and Description
    --- | ---
    `private Menge<Type>` | UsedId.`paralist`
    `Menge<Type>` | UsedId.`vParaOrg`

    Methods in de.dhbwstuttgart.syntaxtree.misc that return types with arguments of type Type
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `void` | DeclId.`set_ListType(Type t)`

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

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

    Fields in de.dhbwstuttgart.syntaxtree.statement declared as Type
    Modifier and Type | Field and Description
    --- | ---
    `protected Type` | Statement.`type`
    `private Type` | CastExpr.`type`
    `private Type` | NewArray.`type`

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

    Methods in de.dhbwstuttgart.syntaxtree.statement that return Type
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Class and Description
    --- | ---
    `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
    Modifier and Type | Field and Description
    --- | ---
    `private Menge<Type>` | RefType.`parameter`
    `private Menge<Type>` | FreshWildcardType.`upperBounds`

    Methods in de.dhbwstuttgart.syntaxtree.type that return Type
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Class and Description
    --- | ---
    `class` | `FunN`

    Fields in de.dhbwstuttgart.typeinference declared as Type
    Modifier and Type | Field and Description
    --- | ---
    `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
    Modifier and Type | Field and Description
    --- | ---
    `private Menge<Type>` | FunN.`T`

    Methods in de.dhbwstuttgart.typeinference that return Type
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Field and Description
    --- | ---
    `private Type` | LocalVarAssumption.`type`

    Methods in de.dhbwstuttgart.typeinference.assumptions that return Type
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Field and Description
    --- | ---
    `Type` | TypeInsertPoint.`type`

    Methods in de.dhbwstuttgart.typeinference.typedeployment that return Type
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Field and Description
    --- | ---
    `protected Type` | CSubstitution.`m_Type`

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

    Methods in de.dhbwstuttgart.typeinference.unify that return Type
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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.
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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> 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
    Modifier and Type | Method and Description
    --- | ---
    `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.
    `private static Menge<Menge<Pair>>` | Unify.`generateSetOfSetOfPair(Type TA1, Menge<? extends Type> otherPairTypes)` Diese Methode generiert einen Menge> 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)`