16 lines
587 B
Plaintext
16 lines
587 B
Plaintext
# Typinferenz für Java 8
|
|
|
|
## Programmablauf
|
|
|
|
1. SourceFile parst die Java-Dateien
|
|
2. SourceFile erstellt die Basic/Global Assumptions
|
|
3. Das Globale AssumptionSet wird anschließend jeder Klasse im Syntaxbaum mit dem TRProg aufruf übergeben
|
|
4. Jede Klasse verwaltet lokale Variablen in ihrem eigenen AssumptionSet. Das Globale ist Klassenübergreifend und jede AssumptionType darf darin nur einmalig gesetzt werden.
|
|
5. Haben alle Klassen ihrer Constraints erstellt können diese Unifiziert werden.
|
|
|
|
## Overloading
|
|
|
|
* Die Overloading Klasse generiert Constraints aus einem Methodenaufruf.
|
|
|
|
|