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)