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

Packages that use RefType
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
`void` BoundedClassIdentifierList.`addOffsetOff(RefType refType)`

### Uses of RefType in de.dhbwstuttgart.syntaxtree

Fields in de.dhbwstuttgart.syntaxtree with type parameters of type RefType
`private Menge<RefType>` ExceptionList.`reftype`

Methods in de.dhbwstuttgart.syntaxtree that return RefType
`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
`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
`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
`private RefType` InstanceOf.`reftype`

Methods in de.dhbwstuttgart.syntaxtree.statement that return types with arguments of type RefType
`private Menge<RefType>` UnaryExpr.`getNumericTypes()`

Methods in de.dhbwstuttgart.syntaxtree.statement with parameters of type RefType
`void` InstanceOf.`set_Type(RefType typ)`

### Uses of RefType in de.dhbwstuttgart.syntaxtree.type

Subclasses of RefType in de.dhbwstuttgart.syntaxtree.type
`class` `Void`

Methods in de.dhbwstuttgart.syntaxtree.type that return RefType
`RefType` RefType.`clone()`

Methods in de.dhbwstuttgart.syntaxtree.type with parameters of type RefType
`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
`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
`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
`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
`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)`