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

Packages that use TypePlaceholder
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
`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
`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
`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
`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
`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
`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
`private Menge<TypePlaceholder>` JavaCodeResult.`unresolvedTPHs`

Methods in de.dhbwstuttgart.typeinference that return types with arguments of type TypePlaceholder
`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
`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
`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
`(package private) TypePlaceholder` GenericVarDeclarationPatch.`genericVar`

Fields in de.dhbwstuttgart.typeinference.typedeployment with type parameters of type TypePlaceholder
`private Menge<TypePlaceholder>` GenericVarPatch.`usedTPHs`

Methods in de.dhbwstuttgart.typeinference.typedeployment with parameters of type TypePlaceholder
`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
`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
`private TypePlaceholder` CSubstitution.`m_TypeVar`

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