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

Packages that use RefType

Package	Description
de.dhbwstuttgart.parser
de.dhbwstuttgart.syntaxtree
de.dhbwstuttgart.syntaxtree.operator
de.dhbwstuttgart.syntaxtree.statement
de.dhbwstuttgart.syntaxtree.type
de.dhbwstuttgart.typeinference
de.dhbwstuttgart.typeinference.assumptions
de.dhbwstuttgart.typeinference.unify

Uses of RefType in de.dhbwstuttgart.parser

Methods in de.dhbwstuttgart.parser with parameters of type RefType

Modifier and Type	Method and Description
void	BoundedClassIdentifierList.addOffsetOff(RefType refType)

Uses of RefType in de.dhbwstuttgart.syntaxtree

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

Modifier and Type	Field and Description
private Menge<RefType>	ExceptionList.reftype

Methods in de.dhbwstuttgart.syntaxtree that return RefType

Modifier and Type	Method and Description
RefType	Class.getType() Erstellt einen RefType, welcher auf diese Klasse verweist Ersetzt alle Generischen Variablen in der Parameterliste mit TPH

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

Modifier and Type	Method and Description
void	ExceptionList.set_addElem(RefType rety)

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

Constructor and Description
Class(java.lang.String name, RefType superClass, Modifiers mod, int offset)
Class(java.lang.String name, RefType superClass, Modifiers modifiers, Menge<java.lang.String> supertypeGenPara) Erstellt eine Klasse, welche nur für die Assumptions verwendet wird.

Uses of RefType in de.dhbwstuttgart.syntaxtree.operator

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

Modifier and Type	Method and Description
protected java.util.Hashtable<RefType,RefType>	AddOp.getOperatorTypes()
protected java.util.Hashtable<RefType,RefType>	AddOp.getOperatorTypes()
protected java.util.Hashtable<RefType,RefType>	LogOp.getOperatorTypes()
protected java.util.Hashtable<RefType,RefType>	LogOp.getOperatorTypes()
protected java.util.Hashtable<RefType,RefType>	RelOp.getOperatorTypes()
protected java.util.Hashtable<RefType,RefType>	RelOp.getOperatorTypes()
protected abstract java.util.Hashtable<RefType,RefType>	Operator.getOperatorTypes()
protected abstract java.util.Hashtable<RefType,RefType>	Operator.getOperatorTypes()
protected java.util.Hashtable<RefType,RefType>	MulOp.getOperatorTypes()
protected java.util.Hashtable<RefType,RefType>	MulOp.getOperatorTypes()

Uses of RefType in de.dhbwstuttgart.syntaxtree.statement

Fields in de.dhbwstuttgart.syntaxtree.statement declared as RefType

Modifier and Type	Field and Description
private RefType	InstanceOf.reftype

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

Modifier and Type	Method and Description
private Menge<RefType>	UnaryExpr.getNumericTypes()

Methods in de.dhbwstuttgart.syntaxtree.statement with parameters of type RefType

Modifier and Type	Method and Description
void	InstanceOf.set_Type(RefType typ)

Uses of RefType in de.dhbwstuttgart.syntaxtree.type

Subclasses of RefType in de.dhbwstuttgart.syntaxtree.type

Modifier and Type	Class and Description
class	Void

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

Modifier and Type	Method and Description
RefType	RefType.clone()

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

Modifier and Type	Method and Description
boolean	RefType.Equiv2Equal(RefType ty2, java.util.Hashtable<JavaClassName,Type> ht)
boolean	RefType.is_Equiv(RefType ty2, java.util.Hashtable<JavaClassName,Type> ht)

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

Constructor and Description
RefType(RefType R, SyntaxTreeNode parent, int offset)

Uses of RefType in de.dhbwstuttgart.typeinference

Subclasses of RefType in de.dhbwstuttgart.typeinference

Modifier and Type	Class and Description
class	FunN

Constructors in de.dhbwstuttgart.typeinference with parameters of type RefType

Constructor and Description
ConstraintType(RefType t)

Uses of RefType in de.dhbwstuttgart.typeinference.assumptions

Methods in de.dhbwstuttgart.typeinference.assumptions with parameters of type RefType

Modifier and Type	Method and Description
Type	TypeAssumptions.checkType(RefType type, SyntaxTreeNode parent)

Uses of RefType in de.dhbwstuttgart.typeinference.unify

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

Modifier and Type	Method and Description
static Menge<RefType>	Unify.allGreater(RefType ty, Menge<Pair> FC)
static Menge<RefType>	Unify.allSmaller(RefType ty, Menge<Pair> FC)

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

Modifier and Type	Method and Description
private static void	Unify.adapt(Menge<Pair> H, Pair PFC, RefType TA1, RefType TA2, FC_TTO fc_tto) Implementiert die adapt Regel des sub_unify
private static void	Unify.adaptExt(Menge<Pair> H, Pair PFC, RefType TA1, RefType TA2, FC_TTO fc_tto) Implementiert die adaptExt Regel des sub_unify
private static void	Unify.adaptSup(Menge<Pair> H, Pair PFC, RefType TA1, RefType TA2, FC_TTO fc_tto) Implementiert die adaptSup Regel des sub_unify
static Menge<RefType>	Unify.allGreater(RefType ty, Menge<Pair> FC)
static Menge<RefType>	Unify.allSmaller(RefType ty, Menge<Pair> FC)
static Pair	Unify.isInFC(RefType R1, RefType R2, Menge<Pair> FC)
private static Pair	Unify.isInFClinks(RefType RT1, RefType RT2, Menge<Pair> FC)
static Pair	Unify.isInFCrechtsUnify(RefType RT1, RefType RT2, FC_TTO fc_tto)
static boolean	Unify.isRXSimilarRY(RefType RFC, RefType RY, boolean allowTPH)
static boolean	Unify.isTVinRefType(TypePlaceholder TV, RefType RT)
static java.util.Hashtable	Unify.match(RefType FCtype, RefType tomatch, java.util.Hashtable<JavaClassName,Type> ht)
private static void	Unify.reduce1(Menge<Pair> H, RefType TA1, RefType TA2, Menge TTO) Implementiert die reduce1 Regel des sub_unify
private static void	Unify.reduce2(Menge<Pair> H, RefType TA1, RefType TA2, Menge TTO) Implementiert die reduce2 Regel des sub_unify
private static void	Unify.reduceEq(Menge<Pair> H, RefType TA1, RefType TA2, Menge TTO) Implementiert die reduceEq Regel des sub_unify Da in reduce2 unnötigerweise pi verwendet wird (siehe Kommentar in reduce2), kann reduceEq einfach an reduce2 deligieren.
private static void	Unify.reduceExt(Menge<Pair> H, RefType TA1, RefType TA2, Menge TTO) Implementiert die reduceExt Regel des sub_unify
private static void	Unify.reduceSup(Menge<Pair> H, RefType TA1, RefType TA2, Menge TTO) Implementiert die reduceSup Regel des sub_unify
static void	Unify.SubstHashtable(RefType typterm, java.util.Hashtable<JavaClassName,Type> ht)
static void	Unify.SubstHashtableGeneric(RefType typterm, java.util.Hashtable<JavaClassName,Type> ht)
private static void	Unify.testUnifyErg(Menge<Menge<Pair>> unifyErgs, RefType test) Diese Methode wird verwendet, um Zuordnungen z.B.
static void	Unify.varSubst(RefType typterm, java.util.Hashtable<JavaClassName,Type> ht)