# Typinferenz

## ResultSet

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

* Enthä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ören
	
## 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ü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ängigkeiten dieser