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)