## Uses of Class
mycompiler.mytype.Type

Packages that use Type
mycompiler.mybytecode
mycompiler.myclass
mycompiler.mystatement
mycompiler.mytype
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.replacementlistener
mycompiler.mytypereconstruction.typeassumption
mycompiler.mytypereconstruction.unify

Uses of Type in mycompiler.mybytecode

Methods in mycompiler.mybytecode that return Type
`Type` `CodeAttribute.get_TypeOf_Var(java.lang.String name)`

Methods in mycompiler.mybytecode with parameters of type Type
`void` `CodeAttribute.add_local(java.lang.String s, Type t)`
`void` `ClassFile.add_method(java.lang.String name, java.lang.String param_type, ParameterList param, Type type, Block block, short acc_flag, de.dhbwstuttgart.typeinference.Menge paralist)`

Uses of Type in mycompiler.myclass

Methods in mycompiler.myclass that return Type
`Type` `Method.getReturnType()`
`Type` `InstVarDecl.getType()`
`Type` `FormalParameter.getType()`

Methods in mycompiler.myclass with parameters of type Type
`void` `DeclId.codegen_InstVarDecl(ClassFile classfile, Type type, de.dhbwstuttgart.typeinference.Menge paralist)`
`void` `DeclId.codegen_LocalVarDecl(ClassFile classfile, CodeAttribute code, Type type, de.dhbwstuttgart.typeinference.Menge paralist)`
`boolean` `ClassBody.is_declared(Type t, de.dhbwstuttgart.typeinference.Menge classlist)`
`void` `DeclId.set_ListType(Type t)`
`void` `Method.setReturnType(Type type)` Author: J�rg B�uerle
`void` `InstVarDecl.setType(Type t)` Author: J�rg B�uerle
`void` `FormalParameter.setType(Type t)` Author: J�rg B�uerle

Uses of Type in mycompiler.mystatement

Fields in mycompiler.mystatement declared as Type
`protected Type` `ExprStmt.type`

Methods in mycompiler.mystatement that return Type
`Type` `NewArray.getType()` Author: J�rg B�uerle
`Type` `LocalVarDecl.getType()`
`Type` `ExprStmt.getType()`

Methods in mycompiler.mystatement with parameters of type Type
`void` `LocalVarDecl.check_anz(Type type, de.dhbwstuttgart.typeinference.Menge paralist, de.dhbwstuttgart.typeinference.Menge classlist)`
`void` `LocalVarDecl.is_declared(Type t, de.dhbwstuttgart.typeinference.Menge classlist)`
`void` `Expr.set_Type(Type type)`
`void` `CastExpr.set_Type(Type ty)`
`void` `NewArray.setType(Type type)` Author: J�rg B�uerle
`void` `LocalVarDecl.setType(Type t)`
`void` `ExprStmt.setType(Type t)` Author: J�rg B�uerle

Uses of Type in mycompiler.mytype

Subclasses of Type in mycompiler.mytype
`class` `BaseType`
`class` `BooleanType`
`class` `CharacterType`
`class` `GenericTypeVar`
`class` `IntegerType`
`class` `RefType`
`class` `ReturnType`
`class` `TyploseVariable` Repr�sentiert einen Typparameter f�r einen vom Programmierer nicht angegeben Typ.
`class` `Void`

Fields in mycompiler.mytype declared as Type
`Type` `Pair.TA1`
`Type` `Pair.TA2`

Methods in mycompiler.mytype that return Type
`Type` `Type.clone()` Author: J�rg B�uerle
`static Type` `Pair.copyType(Type T)`
`Type` `Pair.getTA1Copy()`
`Type` `Pair.getTA2Copy()`

Methods in mycompiler.mytype with parameters of type Type
`static Type` `Pair.copyType(Type T)`
`void` `TyploseVariable.replaceWithType(Type newType)` Diese Methode geht alle TypeReplacmentListener durch und tauscht �ber deren Callback-Methode diesen Typ gegen den neuen aus.

Constructors in mycompiler.mytype with parameters of type Type
`Pair(Type TA1, Type TA2)`
`Pair(Type TA1, Type TA2, boolean bEqual)`
`Pair(Type TA1, Type TA2, boolean bEqual, boolean bSubst)`

Uses of Type in mycompiler.mytypereconstruction

Methods in mycompiler.mytypereconstruction that return Type
`Type` `CTriple.getResultType()` Author: J�rg B�uerle
`Type` `CSubstitution.getType()` Author: J�rg B�uerle

Methods in mycompiler.mytypereconstruction that return types with arguments of type Type
`java.util.Iterator<Type>` `CMultiplyTuple.getResultTypeIterator()`
`de.dhbwstuttgart.typeinference.Menge<Type>` `CMultiplyTuple.getResultTypes()` Author: J�rg B�uerle

Methods in mycompiler.mytypereconstruction with parameters of type Type
`void` `CTriple.setResultType(Type resultType)` Author: J�rg B�uerle
`void` `CSubstitution.setType(Type type)` Author: J�rg B�uerle

Method parameters in mycompiler.mytypereconstruction with type arguments of type Type
`void` `CMultiplyTuple.setResultTypes(de.dhbwstuttgart.typeinference.Menge<Type> resultTypes)` Author: J�rg B�uerle

Constructors in mycompiler.mytypereconstruction with parameters of type Type
`CSubstitution(TyploseVariable typeVar, Type type)`
`CTriple(CSubstitutionSet substitutions, Type resultType, CTypeAssumptionSet assumptionSet)`

Constructor parameters in mycompiler.mytypereconstruction with type arguments of type Type
`CMultiplyTuple(CSubstitutionSet substitutions, de.dhbwstuttgart.typeinference.Menge<Type> resultTypes, CTypeAssumptionSet assumptionSet)`

Uses of Type in mycompiler.mytypereconstruction.replacementlistener

Methods in mycompiler.mytypereconstruction.replacementlistener that return Type
`Type` `CReplaceTypeEvent.getNewType()`
`Type` `CReplaceTypeEvent.getOldType()`

Constructors in mycompiler.mytypereconstruction.replacementlistener with parameters of type Type
`CReplaceTypeEvent(Type oldType, Type newType)`

Uses of Type in mycompiler.mytypereconstruction.typeassumption

Fields in mycompiler.mytypereconstruction.typeassumption declared as Type
`protected Type` `CTypeAssumption.m_AssumedType`

Methods in mycompiler.mytypereconstruction.typeassumption that return Type
`Type` `CTypeAssumption.getAssumedType()`

Methods in mycompiler.mytypereconstruction.typeassumption with parameters of type Type
`void` `CTypeAssumption.setAssumedType(Type assumedType)`

Constructors in mycompiler.mytypereconstruction.typeassumption with parameters of type Type
`CInstVarTypeAssumption(java.lang.String className, java.lang.String identifier, Type type, int lineNumber)`
`CLocalVarTypeAssumption(java.lang.String className, java.lang.String methodName, int methodParaCount, java.lang.String blockId, java.lang.String identifier, Type assumedType, int lineNumber)`
`CMethodTypeAssumption(java.lang.String className, java.lang.String identifier, Type assumedType, int lineNumber)`
`CParaTypeAssumption(java.lang.String className, java.lang.String methodName, int methodParaCount, java.lang.String identifier, Type assumedType, int lineNumber)`
`CTypeAssumption(java.lang.String className, java.lang.String identifier, Type assumedType, int lineNumber)`

Uses of Type in mycompiler.mytypereconstruction.unify

Methods in mycompiler.mytypereconstruction.unify with parameters of type Type
`de.dhbwstuttgart.typeinference.Menge` `Unify.adapt(java.lang.String strTV, Type T, de.dhbwstuttgart.typeinference.Menge vRFC, de.dhbwstuttgart.typeinference.Menge vRE)`
`static void` `Unify.Subst(Pair P, int nTypnrInPair, TyploseVariable a, Type o, boolean bMitVorbedingung)`
`static de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>>` `Unify.unify(Type ty1, Type ty2, FC_TTO fc_tto)`