## 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)`