Uses of Class
de.dhbwstuttgart.syntaxtree.type.ObjectType

Packages that use ObjectType

Package	Description
de.dhbwstuttgart.parser
de.dhbwstuttgart.syntaxtree.type
de.dhbwstuttgart.typeinference
de.dhbwstuttgart.typeinference.unify

Uses of ObjectType in de.dhbwstuttgart.parser

Fields in de.dhbwstuttgart.parser with type parameters of type ObjectType

Modifier and Type	Field and Description
private Menge<ObjectType>	BoundedClassIdentifierList.list

Constructor parameters in de.dhbwstuttgart.parser with type arguments of type ObjectType

Constructor and Description
BoundedClassIdentifierList(Menge<ObjectType> list, int endOffset)

Uses of ObjectType in de.dhbwstuttgart.syntaxtree.type

Subclasses of ObjectType in de.dhbwstuttgart.syntaxtree.type

Modifier and Type	Class and Description
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	GenericTypeVar TODO: Diese Klasse überarbeiten.
class	RefType
class	TypePlaceholder Repr�sentiert einen Typparameter f�r einen vom Programmierer nicht angegeben Typ.
class	Void

Fields in de.dhbwstuttgart.syntaxtree.type declared as ObjectType

Modifier and Type	Field and Description
private ObjectType	FreshExtendsWildcardType.extendsBoundType
protected ObjectType	WildcardType.innerType
private ObjectType	FreshSuperWildcardType.superBoundType

Fields in de.dhbwstuttgart.syntaxtree.type with type parameters of type ObjectType

Modifier and Type	Field and Description
(package private) Menge<ObjectType>	BoundedGenericTypeVar.bounds Hier sind die Bounds in Form von Type-Objekten abgespeichert

Methods in de.dhbwstuttgart.syntaxtree.type that return ObjectType

Modifier and Type	Method and Description
abstract ObjectType	ObjectType.clone()
ObjectType	FreshExtendsWildcardType.get_ExtendsBound() Author: Arne Lüdtke Gibt die Grenze der Wildcard zurück
ObjectType	ExtendsWildcardType.get_ExtendsType() Author: Arne Lüdtke Gibt den Typen in der Wildcard zurück.
ObjectType	FreshSuperWildcardType.get_SuperBound() Author: Arne Lüdtke Gibt die Grenze der Wildcard zurück
ObjectType	SuperWildcardType.get_SuperType() Author: Arne Lüdtke Gibt den Typen in der Wildcard zurück.
ObjectType	ExtendsWildcardType.getContainedType() Author: Arne Lüdtke Das gleiche wie get_ExtendsType().
ObjectType	ExtendsWildcardType.getMatchType() Author: Arne Lüdtke Gibt den Typen zurück, der bei einem match im Unify verwendet werden soll.

Methods in de.dhbwstuttgart.syntaxtree.type that return types with arguments of type ObjectType

Modifier and Type	Method and Description
Menge<ObjectType>	BoundedGenericTypeVar.getBounds()

Methods in de.dhbwstuttgart.syntaxtree.type with parameters of type ObjectType

Modifier and Type	Method and Description
void	BoundedGenericTypeVar.addBound(ObjectType bound)
void	ExtendsWildcardType.SetWildcardType(ObjectType T) Author: Arne Lüdtke Setzt den Typ in der Wildcard
void	SuperWildcardType.SetWildcardType(ObjectType T) Author: Arne Lüdtke Setzt den Typ in der Wildcard

Constructors in de.dhbwstuttgart.syntaxtree.type with parameters of type ObjectType

Constructor and Description
ExtendsWildcardType(int offset, ObjectType extendsType) Author: Arne Lüdtke Standard Konstruktor für eine ExtendsWildcard
ExtendsWildcardType(ObjectType extendsType)
FreshExtendsWildcardType(ObjectType extendsBound, SyntaxTreeNode parent, int offset) Author: Arne Lüdtke Standard Konstruktor für eine FreshExtendsWildcard
FreshExtendsWildcardType(ObjectType extendsBound, SyntaxTreeNode parent, int offset, java.lang.String name) Author: Arne Lüdtke Privater Konstruktor für clone
FreshSuperWildcardType(ObjectType superBound, SyntaxTreeNode parent, int offset) Author: Arne Lüdtke Standard Konstruktor für eine FreshSuperWildcard
FreshSuperWildcardType(ObjectType superBound, SyntaxTreeNode parent, int offset, java.lang.String name) Author: Arne Lüdtke Privater Konstruktor für clone
SuperWildcardType(int offset, ObjectType innerType) Author: Arne Lüdtke Standard Konstruktor für eine SuperWildcard
SuperWildcardType(ObjectType innerType)
WildcardType(ObjectType innerType, SyntaxTreeNode parent, int offset) Author: Arne Lüdtke Standard Konstruktor für eine Wildcard

Constructor parameters in de.dhbwstuttgart.syntaxtree.type with type arguments of type ObjectType

Constructor and Description
BoundedGenericTypeVar(java.lang.String s, Menge<ObjectType> bounds, SyntaxTreeNode parentClass, int offset, int endOffset)

Uses of ObjectType in de.dhbwstuttgart.typeinference

Subclasses of ObjectType in de.dhbwstuttgart.typeinference

Modifier and Type	Class and Description
class	FunN

Uses of ObjectType in de.dhbwstuttgart.typeinference.unify

Methods in de.dhbwstuttgart.typeinference.unify that return types with arguments of type ObjectType

Modifier and Type	Method and Description
private static Menge<ObjectType>	Unify.CaptureConversion(Menge<ObjectType> TVec, FC_TTO fc_tto) Implementiert die CaptureConversion.
private static Menge<ObjectType>	Unify.copyMengeObjectType(Menge<ObjectType> vec) Kopiert einen Menge.
private static Menge<ObjectType>	Unify.greater(ObjectType T, FC_TTO fc_tto) Erzeugt alle Typen die greater sind als T.
private static Menge<ObjectType>	Unify.greater0(ObjectType T, FC_TTO fc_tto) greater0 Schritt von greater.
private static Menge<ObjectType>	Unify.greater1(ObjectType T, FC_TTO fc_tto) greater1 Schritt von greater.
private static Menge<ObjectType>	Unify.greater2(Menge<ObjectType> greater1Erg, FC_TTO fc_tto) greater2 Schritt von greater
private static Menge<ObjectType>	Unify.greater3(Menge<ObjectType> greater2Erg, FC_TTO fc_tto) greater3 Schritt von greater
private static Menge<ObjectType>	Unify.smaller(ObjectType T, FC_TTO fc_tto) Erzeugt alle Typen die smaller sind als T.
private static Menge<ObjectType>	Unify.smaller0(ObjectType T, FC_TTO fc_tto) smaller0 Schritt von smaller
private static Menge<ObjectType>	Unify.smaller1(Type T, FC_TTO fc_tto) smaller1 Schritt von smaller
private static Menge<ObjectType>	Unify.smaller2(Menge<ObjectType> smaller1Erg, FC_TTO fc_tto) smaller2 Schritt von smaller
private static Menge<ObjectType>	Unify.smaller3(Menge<ObjectType> smaller12Erg, FC_TTO fc_tto) smaller3 Schritt von smaller
private static Menge<ObjectType>	Unify.smaller4(Menge<ObjectType> smallerErg) smaller4 Schritt von smaller

Methods in de.dhbwstuttgart.typeinference.unify with parameters of type ObjectType

Modifier and Type	Method and Description
private static Menge<ObjectType>	Unify.greater(ObjectType T, FC_TTO fc_tto) Erzeugt alle Typen die greater sind als T.
private static Menge<ObjectType>	Unify.greater0(ObjectType T, FC_TTO fc_tto) greater0 Schritt von greater.
private static Menge<ObjectType>	Unify.greater1(ObjectType T, FC_TTO fc_tto) greater1 Schritt von greater.
private static Menge<ObjectType>	Unify.smaller(ObjectType T, FC_TTO fc_tto) Erzeugt alle Typen die smaller sind als T.
private static Menge<ObjectType>	Unify.smaller0(ObjectType T, FC_TTO fc_tto) smaller0 Schritt von smaller

Method parameters in de.dhbwstuttgart.typeinference.unify with type arguments of type ObjectType

Modifier and Type	Method and Description
private static Menge<ObjectType>	Unify.CaptureConversion(Menge<ObjectType> TVec, FC_TTO fc_tto) Implementiert die CaptureConversion.
private static Menge<ObjectType>	Unify.copyMengeObjectType(Menge<ObjectType> vec) Kopiert einen Menge.
private static Menge<ObjectType>	Unify.greater2(Menge<ObjectType> greater1Erg, FC_TTO fc_tto) greater2 Schritt von greater
private static Menge<ObjectType>	Unify.greater3(Menge<ObjectType> greater2Erg, FC_TTO fc_tto) greater3 Schritt von greater
private static Menge<ObjectType>	Unify.smaller2(Menge<ObjectType> smaller1Erg, FC_TTO fc_tto) smaller2 Schritt von smaller
private static Menge<ObjectType>	Unify.smaller3(Menge<ObjectType> smaller12Erg, FC_TTO fc_tto) smaller3 Schritt von smaller
private static Menge<ObjectType>	Unify.smaller4(Menge<ObjectType> smallerErg) smaller4 Schritt von smaller