i21023/JavaTXCompilerInJavaTX
2
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity
JavaTX Compiler in JavaTX
18 Commits 54 Branches 0 Tags 621 MiB
Java 98.2%
ANTLR 1.7%
e33b9fd76e
Go to file
JanUlrich e33b9fd76e weitere Fehler behoben
2014-02-19 17:32:43 +01:00
.externalToolBuilders Stand vom 9.11.2013 angefügt 2014-02-05 13:38:34 +01:00
.settings Kopie aus dem CVS 2014-02-04 17:44:03 +01:00
bin weitere Fehler behoben 2014-02-19 17:32:43 +01:00
doc Kopie aus dem CVS 2014-02-04 17:44:03 +01:00
examples Kopie aus dem CVS 2014-02-04 17:44:03 +01:00
notizen Kopie aus dem CVS 2014-02-04 17:44:03 +01:00
Papers/FMCO2005 Kopie aus dem CVS 2014-02-04 17:44:03 +01:00
src weitere Fehler behoben 2014-02-19 17:32:43 +01:00
test weitere Fehler behoben 2014-02-19 17:32:43 +01:00
tools Kopie aus dem CVS 2014-02-04 17:44:03 +01:00
.classpath Kopie aus dem CVS 2014-02-04 17:44:03 +01:00
.cvsignore Stand vom 9.11.2013 angefügt 2014-02-05 13:38:34 +01:00
.gitignore gitignore added. CVS-Ordner ignorieren sowie class und package dateien 2014-02-04 17:42:14 +01:00
.project Stand vom 9.11.2013 angefügt 2014-02-05 13:38:34 +01:00
log4j.xml Kopie aus dem CVS 2014-02-04 17:44:03 +01:00
README.me Stand vom 9.11.2013 angefügt 2014-02-05 13:38:34 +01:00

README.me 

# 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.