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

- Packages that use TypePlaceholder
  Package | Description
  --- | ---
  de.dhbwstuttgart.syntaxtree |
  de.dhbwstuttgart.syntaxtree.statement |
  de.dhbwstuttgart.syntaxtree.type |
  de.dhbwstuttgart.typeinference |
  de.dhbwstuttgart.typeinference.typedeployment |
  de.dhbwstuttgart.typeinference.unify |

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

    Methods in de.dhbwstuttgart.syntaxtree with parameters of type TypePlaceholder
    Modifier and Type | Method and Description
    --- | ---
    `TypeInsertPoint` | FormalParameter.`createTypeInsertPoint(TypePlaceholder tph, ResultSet resultSet)`
    `TypeInsertPoint` | Field.`createTypeInsertPoint(TypePlaceholder tph, ResultSet resultSet)`

  - ### Uses of TypePlaceholder in de.dhbwstuttgart.syntaxtree.statement

    Methods in de.dhbwstuttgart.syntaxtree.statement with parameters of type TypePlaceholder
    Modifier and Type | Method and Description
    --- | ---
    `TypeInsertPoint` | LambdaParameter.`createTypeInsertPoint(TypePlaceholder tph, ResultSet resultSet)`
    `TypeInsertPoint` | LocalVarDecl.`createTypeInsertPoint(TypePlaceholder tph, ResultSet resultSet)`

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

    Fields in de.dhbwstuttgart.syntaxtree.type with type parameters of type TypePlaceholder
    Modifier and Type | Field and Description
    --- | ---
    `private static java.util.Hashtable<JavaClassName,TypePlaceholder>` | TypePlaceholder.`m_TypePlaceholdersRegistry`
    `private static java.util.HashMap<java.lang.String,TypePlaceholder>` | GenericTypeVar.`tph` Eine Registry fÃ¯Â¿Â½r alle Generic-Instanzen, die vor der Bytecode-Generierung durch Ihre Superklasse ersetzt werden mÃ¯Â¿Â½ssen.

    Methods in de.dhbwstuttgart.syntaxtree.type that return TypePlaceholder
    Modifier and Type | Method and Description
    --- | ---
    `static TypePlaceholder` | TypePlaceholder.`backdoorCreate(java.lang.String name)` Backdoor-Hilfsfunktion, die fÃ¯Â¿Â½r `makeFC()` und `unify()` benÃ¯Â¿Â½tigt wird, zum Erzeugen eines `TypePlaceholders`, der nicht in der zentralen Registry eingetragen wird.
    `static TypePlaceholder` | TypePlaceholder.`backdoorFresh()` Backdoor-Hilfsfunktion, die fÃ¯Â¿Â½r `makeFC()` und `unify()` benÃ¯Â¿Â½tigt wird, um neue TypePlaceholders zu erzeugen.
    `TypePlaceholder` | TypePlaceholder.`clone()` Diese Methode sollte nur sehr sparsam und mit Vorsicht verwendet werden, da die Registrierung neuer Listener Ã¯Â¿Â½ber die zentrale Instanz in der Registry laufen muss.
    `static TypePlaceholder` | TypePlaceholder.`fresh(java.lang.String name, SyntaxTreeNode parent)` Generiert einen neuen TPH mit einem bestimmten Namen.
    `static TypePlaceholder` | TypePlaceholder.`fresh(SyntaxTreeNode parent)`
    `static TypePlaceholder` | TypePlaceholder.`getInstance(java.lang.String name)` Statische Methode, um einen TypePlaceholder aus der Registry zu holen.
    `TypePlaceholder` | GenericTypeVar.`getTypePlaceHolder(SyntaxTreeNode environment)`

    Methods in de.dhbwstuttgart.syntaxtree.type that return types with arguments of type TypePlaceholder
    Modifier and Type | Method and Description
    --- | ---
    `Menge<TypePlaceholder>` | ExtendsWildcardType.`getInvolvedTypePlaceholder()`
    `Menge<TypePlaceholder>` | TypePlaceholder.`getInvolvedTypePlaceholder()`
    `Menge<TypePlaceholder>` | SuperWildcardType.`getInvolvedTypePlaceholder()`
    `Menge<TypePlaceholder>` | Type.`getInvolvedTypePlaceholder()` Sammelt alle TypePlaceholder, welche in diesem Typ vorkommen.
    `Menge<TypePlaceholder>` | RefType.`getInvolvedTypePlaceholder()`
    `Menge<TypePlaceholder>` | TypePlaceholder.`getUnresolvedTPH(ResultSet resultSet)`
    `Menge<TypePlaceholder>` | Type.`getUnresolvedTPH(ResultSet resultSet)` Sucht nach TPHs in diesem Typ, denen das resultSet keinen Typ zuordnen kann.
    `Menge<TypePlaceholder>` | RefType.`getUnresolvedTPH(ResultSet resultSet)`

    Methods in de.dhbwstuttgart.syntaxtree.type with parameters of type TypePlaceholder
    Modifier and Type | Method and Description
    --- | ---
    `boolean` | Type.`involves(TypePlaceholder tph)` PrÃ¼ft ob der Typ von dem Ã¼bergebenen TypPlaceholder abhÃ¤ngt.

  - ### Uses of TypePlaceholder in de.dhbwstuttgart.typeinference

    Fields in de.dhbwstuttgart.typeinference with type parameters of type TypePlaceholder
    Modifier and Type | Field and Description
    --- | ---
    `private Menge<TypePlaceholder>` | JavaCodeResult.`unresolvedTPHs`

    Methods in de.dhbwstuttgart.typeinference that return types with arguments of type TypePlaceholder
    Modifier and Type | Method and Description
    --- | ---
    `Menge<TypePlaceholder>` | Pair.`getTypePlaceholder()` Gibt eine Liste aller TypePlaceholder die in diesem Pair enthalten sind zurÃ¼ck.
    `Menge<TypePlaceholder>` | JavaCodeResult.`getUnresolvedTPH()` Liefert alle TPHs, welche in diesem JavaCodeResult nicht zu einem Typ aufgelÃ¶st wurden.

    Methods in de.dhbwstuttgart.typeinference with parameters of type TypePlaceholder
    Modifier and Type | Method and Description
    --- | ---
    `void` | JavaCodeResult.`addUnresolvedTPH(TypePlaceholder typePlaceholder)`
    `TypeInsertPoint` | TypeInsertable.`createTypeInsertPoint(TypePlaceholder tph, ResultSet resultSet)` Errechnet den TypeInsertPoint fÃ¼r das TypeInsertable.
    `TypeInsertPoint` | FunNMethod.`createTypeInsertPoint(TypePlaceholder tph, ResultSet resultSet)`
    `Type` | TypeinferenceResultSet.`getTypeOfPlaceholder(TypePlaceholder tph)` Ermittelt den in diesem ResultSet fÃ¼r den TypePlaceholder tph zugewiesenen Wert.

    Method parameters in de.dhbwstuttgart.typeinference with type arguments of type TypePlaceholder
    Modifier and Type | Method and Description
    --- | ---
    `Menge<Pair>` | ResultSet.`getConstraintsFor(Menge<TypePlaceholder> typePlaceholders)` Sammelt alle Constraints, welche mit den Ã¼bergebenen TPH's in Verbindung stehen.
    `Menge<Type>` | ResultSet.`getTypesInvolving(Menge<TypePlaceholder> unresolvedTPH)` Durchsucht das ResultSet nach Typen, die die Ã¼bergebenen unresolvedTPHs als generische Variablen einbinden.

    Constructors in de.dhbwstuttgart.typeinference with parameters of type TypePlaceholder
    Constructor and Description
    `ConstraintType(TypePlaceholder t)`

    Constructor parameters in de.dhbwstuttgart.typeinference with type arguments of type TypePlaceholder
    Constructor and Description
    `TIPConstraints(Menge<TypePlaceholder> involvedTPHs)`

  - ### Uses of TypePlaceholder in de.dhbwstuttgart.typeinference.typedeployment

    Fields in de.dhbwstuttgart.typeinference.typedeployment declared as TypePlaceholder
    Modifier and Type | Field and Description
    --- | ---
    `(package private) TypePlaceholder` | GenericVarDeclarationPatch.`genericVar`

    Fields in de.dhbwstuttgart.typeinference.typedeployment with type parameters of type TypePlaceholder
    Modifier and Type | Field and Description
    --- | ---
    `private Menge<TypePlaceholder>` | GenericVarPatch.`usedTPHs`

    Methods in de.dhbwstuttgart.typeinference.typedeployment with parameters of type TypePlaceholder
    Modifier and Type | Method and Description
    --- | ---
    `void` | GenericVarPatch.`add(TypePlaceholder tph)`
    `boolean` | GenericVarExtendsDeclarationPatch.`definesGenericVar(TypePlaceholder tph)` Kontrolliert ob der T1 mit tph Ã¼bereinstimmt im Constraint: T1 extends T2
    `private boolean` | TypeInsertSet.`pairsDeclareTPH(Menge<Pair> ps, TypePlaceholder tph)`

    Method parameters in de.dhbwstuttgart.typeinference.typedeployment with type arguments of type TypePlaceholder
    Modifier and Type | Method and Description
    --- | ---
    `void` | GenericVarPatch.`addTPHs(Menge<TypePlaceholder> TPHs)`
    `void` | GenericVarPatch.`removeUnusedTPHs(Menge<TypePlaceholder> usedTPHs)`

    Constructors in de.dhbwstuttgart.typeinference.typedeployment with parameters of type TypePlaceholder
    Constructor and Description
    `GenericVarDeclarationPatch(TypePlaceholder p)`

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

    Fields in de.dhbwstuttgart.typeinference.unify declared as TypePlaceholder
    Modifier and Type | Field and Description
    --- | ---
    `private TypePlaceholder` | CSubstitution.`m_TypeVar`

    Methods in de.dhbwstuttgart.typeinference.unify with parameters of type TypePlaceholder
    Modifier and Type | Method and Description
    --- | ---
    `static boolean` | Unify.`isTVinRefType(TypePlaceholder TV, RefType RT)`
    `void` | CSubstitution.`setTypeVar(TypePlaceholder typeVar)` Author: JÃ¯Â¿Â½rg BÃ¯Â¿Â½uerle
    `static boolean` | Unify.`Subst(Pair P, int nTypnrInPair, TypePlaceholder a, Type o, boolean bMitVorbedingung)`

    Method parameters in de.dhbwstuttgart.typeinference.unify with type arguments of type TypePlaceholder
    Modifier and Type | Method and Description
    --- | ---
    `static Menge<Menge<java.lang.Integer>>` | Unify.`schnitt(Menge<Menge<TypePlaceholder>> vars)` Bildet Schnittmengen der Mengen von Typeplaceholders Rueckgabe ist die Menge der Menge von Indizies die Schnittmengen sind.
    `(package private) static Menge<java.lang.Integer>` | Unify.`schnitt1(Menge<TypePlaceholder> var, Menge<Menge<TypePlaceholder>> vars, Menge<java.lang.Integer> indexe)` PL 2014-10-25 schnitt1 checkt ob die Typeplaceholders aus in den Elemeneten aus vars enthalten sind RÃ¼ckgabe ist die Menge der Indizies von vars der Schnittmengen mit var nicht leer sind.
    `(package private) static Menge<java.lang.Integer>` | Unify.`schnitt1(Menge<TypePlaceholder> var, Menge<Menge<TypePlaceholder>> vars, Menge<java.lang.Integer> indexe)` PL 2014-10-25 schnitt1 checkt ob die Typeplaceholders aus in den Elemeneten aus vars enthalten sind RÃ¼ckgabe ist die Menge der Indizies von vars der Schnittmengen mit var nicht leer sind.

    Constructors in de.dhbwstuttgart.typeinference.unify with parameters of type TypePlaceholder
    Constructor and Description
    `CSubstitution(TypePlaceholder typeVar, Type type)`