Uses of Class
mycompiler.mytype.Type

Packages that use Type

Package	Description
mycompiler
mycompiler.mybytecode
mycompiler.myclass
mycompiler.myinterface
mycompiler.myparser
mycompiler.mystatement
mycompiler.mytype
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.replacementlistener
mycompiler.mytypereconstruction.set
mycompiler.mytypereconstruction.typeassumption
mycompiler.mytypereconstruction.unify
mycompiler.test.expectationTypes
mycompiler.test.notUsedAnymore
typinferenz

Uses of Type in mycompiler

Methods in mycompiler that return Type

Modifier and Type	Method and Description
static Type	MyCompiler.makeGenericTypeVars2TypePlaceHolders(Type T)

Methods in mycompiler with parameters of type Type

Modifier and Type	Method and Description
static Type	MyCompiler.makeGenericTypeVars2TypePlaceHolders(Type T)

Method parameters in mycompiler with type arguments of type Type

Modifier and Type	Method and Description
static void	MyCompiler.makeRefTypesFullyQualified(java.util.Vector<Type> containedTypes, ImportDeclarations declarations)
static void	MyCompiler.wandleGeneric2RefType(java.util.Vector<Type> Parameter, java.util.Vector<Class> KlassenVektor) Author: Thomas Ott Ersetzt in der Superklassenparameterliste einer Klasse, diejenigen GenericTypeVars, zu denen es eine Klasse gibt, die gleich hei�t.

Uses of Type in mycompiler.mybytecode

Methods in mycompiler.mybytecode that return Type

Modifier and Type	Method and Description
Type	CodeAttribute.get_TypeOf_Var(java.lang.String name)

Methods in mycompiler.mybytecode with parameters of type Type

Modifier and Type	Method and Description
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, java.util.Vector paralist, boolean isAbstract)
static boolean	SignatureInfo.needsSignature(ParameterList param, Type type) Gibt zurueck, ob eine Signaturdefinition fuer die Methode erforderlich ist.
static boolean	SignatureInfo.needsSignature(Type typ) Gibt zurueck, ob eine Signaturdefinition fuer den Typ erforderlich ist.

Method parameters in mycompiler.mybytecode with type arguments of type Type

Modifier and Type	Method and Description
void	ClassFile.addGenerics(java.util.Vector<Type> para, UsedId superClass, java.util.Vector<UsedId> superIf) Fuegt ggf.

Constructors in mycompiler.mybytecode with parameters of type Type

Constructor and Description
SignatureInfo(ParameterList param, Type type, ClassFile cf) Konstruktor fuer eine Methodensignatur.
SignatureInfo(Type type, ClassFile cf) Konstruktor fuer eine Signatur einer Instanzvariable.

Constructor parameters in mycompiler.mybytecode with type arguments of type Type

Constructor and Description
SignatureInfo(java.util.Vector<Type> vec, UsedId superclass, java.util.Vector<UsedId> superIf, ClassFile cf) Konstruktor fuer die Signatur einer Klasse bzw. eines Interfaces.

Uses of Type in mycompiler.myclass

Fields in mycompiler.myclass with type parameters of type Type

Modifier and Type	Field and Description
java.util.Hashtable<Type,Type>	ClassBody.kill
java.util.Hashtable<Type,Type>	ClassBody.kill
java.util.Vector<Type>	UsedId.vParaOrg

Methods in mycompiler.myclass that return Type

Modifier and Type	Method and Description
Type	Method.getReturnType() Liefert den Return Type der Methode.
Type	InstVarDecl.getType()
Type	Constant.getType() Gibt den Typ der Konstantendefinition zurueck.
Type	FormalParameter.getType()
Type	FormalParameter.getTypeVariable()

Methods in mycompiler.myclass that return types with arguments of type Type

Modifier and Type	Method and Description
java.util.Vector<Type>	Class.complete_paralist(boolean ext)
java.util.Vector<Type>	UsedId.get_ParaList()
java.util.Vector<Type>	UsedId.get_RealParaList()
java.util.Vector<Type>	UsedId.get_vParaOrg()
java.util.Vector<Type>	Class.getContainedTypes()

Methods in mycompiler.myclass with parameters of type Type

Modifier and Type	Method and Description
void	DeclId.codegen_InstVarDecl(ClassFile classfile, Type type, java.util.Vector paralist) Generieren einer Instanzvariable im Bytecode.
void	DeclId.codegen_LocalVarDecl(ClassFile classfile, CodeAttribute code, Type type, java.util.Vector paralist)
static GenericTypeVar	ClassHelper.findGenericType(Type type, java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> methodParaList) HOTI Diese Methode sucht in der Klassendefinition nach einen GTV, die so hei�t wie die im RefType definierte Variable.
boolean	ClassBody.is_declared(Type t, java.util.Vector<Class> classlist)
void	DeclId.set_ListType(Type t)
void	Method.setReturnType(Type type) Author: Jrg Buerle
void	InstVarDecl.setType(Type t) Author: J�rg B�uerle
void	Constant.setType(Type typ) Legt den Typ der Konstantendefinition fest
void	FormalParameter.setType(Type t) Author: J�rg B�uerle
void	FormalParameter.setTypeVariable(Type typ)

Method parameters in mycompiler.myclass with type arguments of type Type

Modifier and Type	Method and Description
static GenericTypeVar	ClassHelper.findGenericType(Type type, java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> methodParaList) HOTI Diese Methode sucht in der Klassendefinition nach einen GTV, die so hei�t wie die im RefType definierte Variable.
void	UsedId.set_ParaList(java.util.Vector<Type> pl)
void	Class.set_ParaList(java.util.Vector<Type> para)
void	Class.setContainedTypes(java.util.Vector<Type> containedTypes)
void	Method.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist)

Constructor parameters in mycompiler.myclass with type arguments of type Type

Constructor and Description
Class(java.lang.String name, Modifiers mod, ClassBody cb, java.util.Vector<Type> ct, java.util.Vector<UsedId> usedIdsToCheck, UsedId superclass, java.util.Vector<UsedId> superif, java.util.Vector<Type> paralist) Konstruktor, der die Angabe aller Parameter ermoeglicht.
Class(java.lang.String name, Modifiers mod, ClassBody cb, java.util.Vector<Type> ct, java.util.Vector<UsedId> usedIdsToCheck, UsedId superclass, java.util.Vector<UsedId> superif, java.util.Vector<Type> paralist) Konstruktor, der die Angabe aller Parameter ermoeglicht.

Uses of Type in mycompiler.myinterface

Methods in mycompiler.myinterface that return types with arguments of type Type

Modifier and Type	Method and Description
java.util.Vector<Type>	Interface.getContainedTypes()
java.util.Vector<Type>	Interface.getParaList()

Method parameters in mycompiler.myinterface with type arguments of type Type

Modifier and Type	Method and Description
void	Interface.setContainedTypes(java.util.Vector<Type> containedTypes)
void	Interface.setParaList(java.util.Vector<Type> paralist)

Uses of Type in mycompiler.myparser

Methods in mycompiler.myparser that return types with arguments of type Type

Modifier and Type	Method and Description
java.util.Vector<Type>	InterfaceAndParameter.getParaVector()
java.util.Vector<Type>	ClassAndParameter.getParaVector()

Uses of Type in mycompiler.mystatement

Methods in mycompiler.mystatement that return Type

Modifier and Type	Method and Description
Type	LocalVarDecl.getDeclType()
Type	ExprStmt.getType()
Type	NewArray.getType() Author: J�rg B�uerle
Type	Statement.getTypeVariable()

Methods in mycompiler.mystatement with parameters of type Type

Modifier and Type	Method and Description
void	LocalVarDecl.check_anz(Type type, java.util.Vector paralist, java.util.Vector<Class> classlist)
void	LocalVarDecl.is_declared(Type t, java.util.Vector<Class> classlist)
void	Expr.set_Type(Type type)
void	CastExpr.set_Type(Type ty)
void	LocalVarDecl.setDeclType(Type t)
void	NewArray.setType(Type type) Author: J�rg B�uerle
void	Statement.setType(Type t) Author: J�rg B�uerle Verschoben aus ExprStmt von Andreas Stadelmeier, a10023
void	Statement.setTypeVariable(Type typ)

Method parameters in mycompiler.mystatement with type arguments of type Type

Modifier and Type	Method and Description
void	PositivExpr.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	PreDecExpr.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	LambdaExpression.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	Binary.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	WhileStmt.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	PostDecExpr.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	EmptyStmt.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	Return.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	NewArray.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	This.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	PreIncExpr.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	Block.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters) In allen lokalen Variablendeklarationen die "falschen" RefTypes ersetzen
void	PostIncExpr.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	LocalVarDecl.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	IfStmt.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	LongLiteral.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	NotExpr.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	LocalOrFieldVar.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	Assign.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	CastExpr.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	CharLiteral.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	InstVar.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	DoubleLiteral.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	Null.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	NegativeExpr.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	ForStmt.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	InstanceOf.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	StringLiteral.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	FloatLiteral.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	MethodCall.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
abstract void	Statement.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	NewClass.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	BoolLiteral.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)
void	IntLiteral.wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)

Uses of Type in mycompiler.mytype

Subclasses of Type in mycompiler.mytype

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
class	IntegerType
class	LongType
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 mycompiler.mytype declared as Type

Modifier and Type	Field and Description
Type	Pair.TA1
Type	Pair.TA2

Methods in mycompiler.mytype that return Type

Modifier and Type	Method and Description
Type	Type.clone() Author: J�rg B�uerle
static Type	Pair.copyType(Type T)
Type	FreshExtendsWildcardType.get_ExtendsBound() Author: Arne L�dtke Gibt die Grenze der Wildcard zur�ck
Type	ExtendsWildcardType.get_ExtendsType() Author: Arne L�dtke Gibt den Typen in der Wildcard zur�ck.
Type	FreshSuperWildcardType.get_SuperBound() Author: Arne L�dtke Gibt die Grenze der Wildcard zur�ck
Type	SuperWildcardType.get_SuperType() Author: Arne L�dtke Gibt den Typen in der Wildcard zur�ck.
Type	SuperWildcardType.getContainedType() Author: Arne L�dtke Das gleiche wie get_SuperType().
Type	ExtendsWildcardType.getContainedType() Author: Arne L�dtke Das gleiche wie get_ExtendsType().
Type	ITypeContainer.getContainedType() Author: Arne L�dtke Das gleiche wie get_ExtendsType().
Type	SuperWildcardType.getMatchType() Author: Arne L�dtke Gibt den Typen zur�ck, der bei einem match im Unify verwendet werden soll.
Type	ExtendsWildcardType.getMatchType() Author: Arne L�dtke Gibt den Typen zur�ck, der bei einem match im Unify verwendet werden soll.
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	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	Pair.getTA1Copy()
Type	Pair.getTA2Copy()
Type	SuperWildcardType.GetWildcardType() Author: Arne L�dtke Das gleiche wie get_SuperType().
Type	ExtendsWildcardType.GetWildcardType() Author: Arne L�dtke Das gleiche wie get_ExtendsType().
Type	WildcardType.GetWildcardType() Author: Arne L�dtke Die Allgemeine Wildcard enth�lt keinen Typen.
Type	Type.removeClassParameters()

Methods in mycompiler.mytype that return types with arguments of type Type

Modifier and Type	Method and Description
java.util.Vector<Type>	ParaList.get_ParaList()
java.util.Vector<Type>	RefType.get_ParaList()
java.util.Vector<Type>	FreshWildcardType.get_UpperBounds() Author: Arne L�dtke Gibt den Vector der oberen Grenzen zur�ck
java.util.Vector<Type>	BoundedGenericTypeVar.getBounds()
java.util.Vector<Type>	ParaList.getParalist()

Methods in mycompiler.mytype with parameters of type Type

Modifier and Type	Method and Description
void	ParaList.add_ParaList(Type obj)
void	RefType.add_Parameter(Type o)
void	BoundedGenericTypeVar.addBound(Type bound)
static Type	Pair.copyType(Type T)
void	TypePlaceholder.replaceWithType(Type newType) Diese Methode geht alle TypeReplacmentListener durch und tauscht �ber deren Callback-Methode diesen Typ gegen den neuen aus.
void	SuperWildcardType.SetWildcardType(Type T) Author: Arne L�dtke Setzt den Typ in der Wildcard
void	ExtendsWildcardType.SetWildcardType(Type T) Author: Arne L�dtke Setzt den Typ in der Wildcard
void	WildcardType.SetWildcardType(Type T) Author: Arne L�dtke Setzt den Typ in der Wildcard, Allgemeine Wildcard hat aber keinen Typen.

Method parameters in mycompiler.mytype with type arguments of type Type

Modifier and Type	Method and Description
boolean	RefType.Equiv2Equal(RefType ty2, java.util.Hashtable<java.lang.String,Type> ht)
boolean	RefType.is_Equiv(RefType ty2, java.util.Hashtable<java.lang.String,Type> ht)
void	RefType.set_ParaList(java.util.Vector<Type> v)
void	FreshWildcardType.set_UpperBounds(java.util.Vector<Type> bounds) Author: Arne L�dtke Setzt den Vector der oberen Grenzen
void	BoundedGenericTypeVar.setBounds(java.util.Vector<Type> types)
void	ParaList.setParalist(java.util.Vector<Type> paralist)

Constructors in mycompiler.mytype with parameters of type Type

Constructor and Description
ExtendsWildcardType(int offset, Type extendsType) Author: Arne L�dtke Standard Konstruktor f�r eine ExtendsWildcard
FreshExtendsWildcardType(Type extendsBound, int offset) Author: Arne L�dtke Standard Konstruktor f�r eine FreshExtendsWildcard
FreshSuperWildcardType(Type superBound, int offset) Author: Arne L�dtke Standard Konstruktor f�r eine FreshSuperWildcard
GenericTypeVar(Type tA1)
Pair(Type TA1, Type TA2)
Pair(Type TA1, Type TA2, Pair.PairOperator eOp)
Pair(Type TA1, Type TA2, Pair.PairOperator eOp, boolean bSubst)
RefType(Type baseType) Erstellt einen Referenztyp aus dem �bergebenen Type.
SuperWildcardType(int offset, Type superType) Author: Arne L�dtke Standard Konstruktor f�r eine SuperWildcard

Constructor parameters in mycompiler.mytype with type arguments of type Type

Constructor and Description
BoundedGenericTypeVar(java.lang.String s, java.util.Vector<Type> bounds, int offset)

Uses of Type in mycompiler.mytypereconstruction

Methods in mycompiler.mytypereconstruction that return Type

Modifier and Type	Method and Description
Type	CSubstitution.applyThisSubstitution(Type type)
Type	CTriple.getResultType() Author: J�rg B�uerle
Type	CSubstitution.getType() Author: J�rg B�uerle
Type	CTypeReconstructionResult.getTypeOfPlaceholder(TypePlaceholder tph) Ermittelt den in diesem ResultSet f�r den TypePlaceholder tph zugewiesenen Wert.
Type	CSubstitution.getTypeVar() Author: J�rg B�uerle
Type	CSubstitutionGenVar.getTypeVar() Author: J�rg B�uerle

Methods in mycompiler.mytypereconstruction that return types with arguments of type Type

Modifier and Type	Method and Description
java.util.Iterator<Type>	CMultiplyTuple.getResultTypeIterator()
java.util.Vector<Type>	CMultiplyTuple.getResultTypes() Author: J�rg B�uerle

Methods in mycompiler.mytypereconstruction with parameters of type Type

Modifier and Type	Method and Description
Type	CSubstitution.applyThisSubstitution(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

Modifier and Type	Method and Description
void	CMultiplyTuple.setResultTypes(java.util.Vector<Type> resultTypes) Author: J�rg B�uerle

Constructors in mycompiler.mytypereconstruction with parameters of type Type

Constructor and Description
CSubstitution(TypePlaceholder typeVar, Type type)
CSubstitutionGenVar(GenericTypeVar typeVar, Type type)
CTriple(CSubstitutionSet substitutions, Type resultType, CTypeAssumptionSet assumptionSet)

Constructor parameters in mycompiler.mytypereconstruction with type arguments of type Type

Constructor and Description
CMultiplyTuple(CSubstitutionSet substitutions, java.util.Vector<Type> resultTypes, CTypeAssumptionSet assumptionSet)

Uses of Type in mycompiler.mytypereconstruction.replacementlistener

Methods in mycompiler.mytypereconstruction.replacementlistener that return Type

Modifier and Type	Method and Description
Type	CReplaceTypeEvent.getNewType()
Type	CReplaceTypeEvent.getOldType()

Constructors in mycompiler.mytypereconstruction.replacementlistener with parameters of type Type

Constructor and Description
CReplaceTypeEvent(Type oldType, Type newType)

Uses of Type in mycompiler.mytypereconstruction.set

Methods in mycompiler.mytypereconstruction.set that return Type

Modifier and Type	Method and Description
Type	CSubstitutionSet.applyThisSubstitutionSet(Type type)

Methods in mycompiler.mytypereconstruction.set with parameters of type Type

Modifier and Type	Method and Description
Type	CSubstitutionSet.applyThisSubstitutionSet(Type type)

Uses of Type in mycompiler.mytypereconstruction.typeassumption

Methods in mycompiler.mytypereconstruction.typeassumption that return Type

Modifier and Type	Method and Description
Type	CTypeAssumption.getAssumedType()
Type	CMethodTypeAssumption.getClassType() Liefert den angenommenen Typ f�r die Klasse, welche diese Methode enth�lt.

Methods in mycompiler.mytypereconstruction.typeassumption with parameters of type Type

Modifier and Type	Method and Description
void	CTypeAssumption.setAssumedType(Type assumedType)

Constructors in mycompiler.mytypereconstruction.typeassumption with parameters of type Type

Constructor and Description
CInstVarTypeAssumption(java.lang.String className, java.lang.String identifier, Type type, int lineNumber, int offset, java.util.Vector<java.lang.Integer> Offsetvektor)
CLocalVarTypeAssumption(java.lang.String className, java.lang.String methodName, int methodParaCount, int methodOverloadedID, java.lang.String blockId, java.lang.String identifier, Type assumedType, int lineNumber, int offset, java.util.Vector<java.lang.Integer> Offsetvektor)
CMethodTypeAssumption(Type classType, java.lang.String identifier, Type assumedType, int parameterCount, int lineNumber, int offset, java.util.Vector<java.lang.Integer> Offsetvektor, java.util.Vector<GenericTypeVar> genericMethodParameters)
CParaTypeAssumption(java.lang.String className, java.lang.String methodName, int methodParaCount, int methodOverloadedID, java.lang.String identifier, Type assumedType, int lineNumber, int offset, java.util.Vector<java.lang.Integer> Offsetvektor)
CTypeAssumption(java.lang.String className, java.lang.String identifier, Type assumedType, int lineNumber, int offset, java.util.Vector<java.lang.Integer> OffsetVektor)

Uses of Type in mycompiler.mytypereconstruction.unify

Methods in mycompiler.mytypereconstruction.unify that return types with arguments of type Type

Modifier and Type	Method and Description
java.util.Vector<? extends Type>	MUB.getMub()
static java.util.Hashtable<java.lang.String,Type>	Unify.VectorPair2SubstHashtableVectorPair(java.util.Vector<Pair> v)

Methods in mycompiler.mytypereconstruction.unify with parameters of type Type

Modifier and Type	Method and Description
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 java.util.Vector<java.util.Vector<Pair>>	Unify.unify(Type ty1, Type ty2, FC_TTO fc_tto) Unifiziert ein Pair mit den Elementen ty1 und ty2 -> (ty1 < ty2)
static java.util.Vector<java.util.Vector<Pair>>	Unify.unifyWC(Type ty1, Type ty2, FC_TTO fc_tto) Einstieg in die Unifizierung mit Wildcards

Method parameters in mycompiler.mytypereconstruction.unify with type arguments of type Type

Modifier and Type	Method and Description
static java.util.Hashtable	Unify.match(RefType FCtype, RefType tomatch, java.util.Hashtable<java.lang.String,Type> ht)
static void	Unify.SubstHashtable(RefType typterm, java.util.Hashtable<java.lang.String,Type> ht)
static void	Unify.SubstHashtableGeneric(RefType typterm, java.util.Hashtable<java.lang.String,Type> ht)
static void	Unify.varSubst(RefType typterm, java.util.Hashtable<java.lang.String,Type> ht)

Uses of Type in mycompiler.test.expectationTypes

Methods in mycompiler.test.expectationTypes that return types with arguments of type Type

Modifier and Type	Method and Description
java.util.Vector<Type>	VarExpect.getExpectedType()
java.util.Vector<Type>	VarExpect.getExpectedTypeCopy()
java.util.Vector<Type>	MethodExpect.getReturntypes()
java.util.Vector<Type>	MethodExpect.getReturntypesCopy()

Methods in mycompiler.test.expectationTypes with parameters of type Type

Modifier and Type	Method and Description
void	VarExpect.addExpectedType(Type type)
void	MethodExpect.addReturntype(Type returntype)

Method parameters in mycompiler.test.expectationTypes with type arguments of type Type

Modifier and Type	Method and Description
void	VarExpect.setExpectedType(java.util.Vector<Type> expectedType)
void	VarExpect.setExpectedTypeCopy(java.util.Vector<Type> expectedTypeCopy)
void	MethodExpect.setReturntypes(java.util.Vector<Type> returntypes)
void	MethodExpect.setReturntypesCopy(java.util.Vector<Type> returntypesCopy)

Constructors in mycompiler.test.expectationTypes with parameters of type Type

Constructor and Description
MethodExpect(java.lang.String name, Type returntype)
MethodExpect(java.lang.String name, Type returntype, int overloadID)
VarExpect(java.lang.String name, Type expectedType)

Uses of Type in mycompiler.test.notUsedAnymore

Methods in mycompiler.test.notUsedAnymore that return Type

Modifier and Type	Method and Description
Type	CTypeAssumptionWrapper.getAssumedType()

Methods in mycompiler.test.notUsedAnymore with parameters of type Type

Modifier and Type	Method and Description
void	CTypeAssumptionWrapper.setAssumedType(Type assumedType)

Uses of Type in typinferenz

Subclasses of Type in typinferenz

Modifier and Type	Class and Description
class	FreshTypeVariable
class	FunN

Methods in typinferenz that return Type

Modifier and Type	Method and Description
Type	TypeAssumptions.getThisValue()
Type	ResultSet.getTypeEqualTo(Type type) L�st den �bergebenen Typ auf.
Type	Typable.getTypeVariable()
Type	TypeAssumptions.getVarType(java.lang.String variableName) Durchsucht die Assumptions des aktuellen G�ltigkeitsbereichs (lokale Variablen und Felder der aktuellen Klasse) nach einem Eintrag f�r den �bergebenen Variablennamen.

Methods in typinferenz with parameters of type Type

Modifier and Type	Method and Description
void	TypeAssumptions.addInstVarAssumption(java.lang.String className, java.lang.String identifier, Type assumedType) Erstellt eine CInstVarTypeAssumption und f�gt sie den Assumptions hinzu.
void	TypeAssumptions.addMethodAssumption(Type classType, java.lang.String identifier, Type assumedType, java.util.Vector<CParaTypeAssumption> parameterTypes) Ruft createMethodAssumption auf und f�gt die Assumption dem AssumptionSet hinzu
void	Constraint.addOderConstraint(Type p1, Type p2) F�gt ein Pair(p1, p2) dem Constraint hinzu
boolean	ResultSet.contains(Type tA1) Durchsucht das ResultSet (die unifizierten Constraints des ResultSets) nach diesem Typ.
static CParaTypeAssumption	TypeAssumptions.createCParaTypeAssumption(java.lang.String identifier, Type assumedType) Erstellt eine CParaTypeAssumption.
static CInstVarTypeAssumption	TypeAssumptions.createFieldVarAssumption(java.lang.String className, java.lang.String fieldName, Type type)
static CMethodTypeAssumption	TypeAssumptions.createMethodAssumption(Type classType, java.lang.String identifier, Type assumedType, java.util.Vector<CParaTypeAssumption> parameterTypes)
Type	ResultSet.getTypeEqualTo(Type type) L�st den �bergebenen Typ auf.
void	Typable.setTypeVariable(Type typ)

Constructors in typinferenz with parameters of type Type

Constructor and Description
Constraint(Type p1, Type p2) Erstellt ein neues Oder Constraint und f�gt bereits ein Constraint hinzu.
FunN(Type R, java.util.Vector<Type> T)
Overloading(TypeAssumptions ass, MethodCall method, Type type) methodCall : type
SingleConstraint(Type p1, Type p2)

Constructor parameters in typinferenz with type arguments of type Type

Constructor and Description
FunN(Type R, java.util.Vector<Type> T)