JavaPatternMatching/doc/documentation.md

# Typinferenz

## Generische Variablen
### GTVs in Constraints
* GTVs k<>nnen in Constraints auf 2 Arten auftauchen.
	* Als GTZ und als TPH
* In folgenden F<>llen als TPH:
	* Die Generische Variable ist nicht in dem Bereich definiert, in dem sie benutzt wird.
	* Es kann auch vorkommen, dass die Generische Variable in der gleichen Klasse definiert wurde, aber f<>r eine andere Methode gilt.
	
* In folgenden F<>llen als GTV:
	* Die Generische Variable ist f<>r den Bereich definiert, in dem der Constraint generiert wird.
	* In der selben Methode oder der selben Klasse. Dies l<>sst sich <20>berpr<70>fen, indem man die Klasse in welcher die GTV deklariert wurde mit der Klasse in welcher deren Typ benutzt wird vergleicht.
	* Ist die GTV als Klassenparameter definiert und aus der selben Klasse wird darauf zugegriffen.
	* Die GTV ist in einer Methode oder FieldDeclaration definiert, aber nicht dem selben wie darauf zugegriffen wird.

## ResultSet

* Spezifisch f<>r jedes SourceFile (nicht f<>r jede Klasse)
* mehrere ResultSets pro Klasse
* 

* Enth<74>lt:
	* constraintPairs
	* unifiedConstraints

## TypeInsertSet
* Stellt die Typeinsetzung f<>r eine der generierten L<>sungen dar
* Setzt alle Typen und generischen Variablen ein, welche zu dieser L<>sung geh<65>ren
	
### Einsetzen von Generischen Variablen
Die einzusetzenden Generischen Variablen werden erst beim Einsetzen eines Typs generiert.

* Ablauf:
	* 1. Alle TypePlaceholder im einzusetzenden Typ ermitteln.
	* 2. Alle Constraints die mit diesen TPHs zusammenh<6E>ngen ermitteln (Das kann m<>glicherweise wegfallen)
	* 3. Alle TPHs, aus Schritt 1 und 2 zusammenf<6E>gen.
	* 4. Kontrollieren, welche TPHs in dem InsertKontext noch nicht bekannt sind. 
	* 5. Alle Unbekannten TPHs herausfiltern (von den Pairs nur TA2)
	* 6. Alle unbekannten TPHs + Pairs als GenericTypeInsertPoint deklarieren.

## Lambda Ausdr<64>cke und FunN
### Erstellen der Typconstraints f<>r einen Lambda Ausdruck
* Return-Type des Lambda Ausdrucks: retT
* Parameter Typen: pT1 ... pTN
* F<>r jeden Typ einen TPH generieren
	* f<>r Return Typ: TPH R
	* f<>r Parameter Typen: TPH P1 ... TPH PN
* Es gilt:
	* TPH R < retT
	* pTN < TPH PN

## Ablauf Typinferenz:

1. Parsen
	* (Parser postProcessing)
2. Typinferenz
	* Anfangspunkt SourceFile
	* l<>st geparste Typen zu richtigen Typen auf (RefTypes, GenericVar)
	* setzt TPHs ein
	* bildet Constraints, welche in ResultSet gesammelt werden. ResultSet wird durch Syntaxbaum gereicht.
	* Assumptions generieren
		* Wird im Syntaxbaum f<>r jeden Knoten ausgef<65>hrt und die Assumptions f<>r darunterliegende Knoten gebildet
		* 
3. Unifizierung
	* wird im SourceFile aufgerufen
	* unifiziert Constraints aller im SourceFile vorkommenden Klassen
	
4. Erstellen von TypeInsertSet
	* Durchlaufen des Syntaxbaumes
	* Jeder Knoten erstellt TypeInsertSets anhand des ResultSets.
	* Bei Knoten, welche Generische Variablen beinhalten k<>nnen werden GenericTypeInsertPoints erstellt
			
5. Einsetzen eines TypeInsertSet (optional)
	1. Auf allen TypeInsertPoints die getUnresolvedTPHs-Methoden aufrufen
	2. Alle Abh<62>ngigkeiten dieser