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<69>end jeder Klasse im Syntaxbaum mit dem TRProg aufruf <20>bergeben
|
|||
|
|
4. Jede Klasse verwaltet lokale Variablen in ihrem eigenen AssumptionSet. Das Globale ist Klassen<65>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.
|
|||
|
|
|
|||
|
|
|