Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## 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)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES