## Uses of Class
de.dhbwstuttgart.parser.JavaClassName

- Packages that use JavaClassName
  Package | Description
  --- | ---
  de.dhbwstuttgart.core |
  de.dhbwstuttgart.syntaxtree |
  de.dhbwstuttgart.syntaxtree.misc |
  de.dhbwstuttgart.syntaxtree.type |
  de.dhbwstuttgart.typeinference.assumptions |
  de.dhbwstuttgart.typeinference.unify |

- - ### Uses of JavaClassName in de.dhbwstuttgart.core

    Methods in de.dhbwstuttgart.core that return JavaClassName
    Modifier and Type | Method and Description
    --- | ---
    `JavaClassName` | AClassOrInterface.`getName()`

  - ### Uses of JavaClassName in de.dhbwstuttgart.syntaxtree

    Methods in de.dhbwstuttgart.syntaxtree that return JavaClassName
    Modifier and Type | Method and Description
    --- | ---
    `JavaClassName` | Class.`get_Superclass_Name()`
    `JavaClassName` | Class.`getName()`
    `JavaClassName` | Constant.`getTypeName()`
    `JavaClassName` | Method.`getTypeName()`

  - ### Uses of JavaClassName in de.dhbwstuttgart.syntaxtree.misc

    Methods in de.dhbwstuttgart.syntaxtree.misc that return JavaClassName
    Modifier and Type | Method and Description
    --- | ---
    `JavaClassName` | UsedId.`getQualifiedName()`

  - ### Uses of JavaClassName in de.dhbwstuttgart.syntaxtree.type

    Fields in de.dhbwstuttgart.syntaxtree.type declared as JavaClassName
    Modifier and Type | Field and Description
    --- | ---
    `protected JavaClassName` | Type.`name`

    Fields in de.dhbwstuttgart.syntaxtree.type with type parameters of type JavaClassName
    Modifier and Type | Field and Description
    --- | ---
    `private static java.util.Hashtable<JavaClassName,TypePlaceholder>` | TypePlaceholder.`m_TypePlaceholdersRegistry`

    Methods in de.dhbwstuttgart.syntaxtree.type that return JavaClassName
    Modifier and Type | Method and Description
    --- | ---
    `JavaClassName` | GenericTypeVar.`getName()`
    `JavaClassName` | Type.`getName()`
    `JavaClassName` | RefType.`getName()`
    `private static JavaClassName` | FreshWildcardType.`makeNewName()` Erzeugt einen neuen Namen, und gibt diesen zurÃ¼ck Methode aus TypePlaceholder kopiert

    Methods in de.dhbwstuttgart.syntaxtree.type with parameters of type JavaClassName
    Modifier and Type | Method and Description
    --- | ---
    `void` | RefType.`setName(JavaClassName name)`

    Method parameters in de.dhbwstuttgart.syntaxtree.type with type arguments of type JavaClassName
    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 JavaClassName
    Constructor and Description
    `RefType(JavaClassName jName, SyntaxTreeNode parent, int offset)`

  - ### Uses of JavaClassName in de.dhbwstuttgart.typeinference.assumptions

    Fields in de.dhbwstuttgart.typeinference.assumptions declared as JavaClassName
    Modifier and Type | Field and Description
    --- | ---
    `private JavaClassName` | TypeAssumptions.`thisClassName`

    Methods in de.dhbwstuttgart.typeinference.assumptions that return JavaClassName
    Modifier and Type | Method and Description
    --- | ---
    `JavaClassName` | GenericVarAssumption.`getIdentifier()`
    `JavaClassName` | Assumption.`getIdentifier()`
    `JavaClassName` | FieldAssumption.`getIdentifier()`

    Methods in de.dhbwstuttgart.typeinference.assumptions with parameters of type JavaClassName
    Modifier and Type | Method and Description
    --- | ---
    `private Menge<FieldAssumption>` | TypeAssumptions.`getAssumptionsFor(JavaClassName className)` Liefert alle Assumptions, auÃer die der lokalen Variablen, welche einer bestimmten Klasse zugeordnet sind.
    `Menge<MethodAssumption>` | TypeAssumptions.`getMethodAssumptions(JavaClassName className, java.lang.String methodName)` Sucht nach MethodAssumptions einer bestimmten Klasse mit einem bestimmten Namen.

    Constructors in de.dhbwstuttgart.typeinference.assumptions with parameters of type JavaClassName
    Constructor and Description
    `TypeAssumptions(JavaClassName thisClassName)`

  - ### Uses of JavaClassName in de.dhbwstuttgart.typeinference.unify

    Methods in de.dhbwstuttgart.typeinference.unify that return types with arguments of type JavaClassName
    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)`
    `static java.util.Hashtable<JavaClassName,Type>` | Unify.`MengePair2SubstHashtableMengePair(Menge<Pair> v)`

    Method parameters in de.dhbwstuttgart.typeinference.unify with type arguments of type JavaClassName
    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)`
    `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)`