i21023/JavaTXCompilerInJavaTX
2
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity
JavaTX Compiler in JavaTX
32 Commits 54 Branches 0 Tags 621 MiB
Java 98.2%
ANTLR 1.7%
59106a7e7b
Go to file
JanUlrich 59106a7e7b Methodenparameter können nun auch inferiert werden
2014-03-18 13:38:47 +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 Felder (Field) müssen nun immer mit einem Offset initialisiert werden. Fehler behoben. Parser modifiziert. VariableTypeInsertTest läuft erfolgreich 2014-03-09 12:10:03 +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 Methodenparameter können nun auch inferiert werden 2014-03-18 13:38:47 +01:00
test Parser tests angefügt 2014-03-17 20:05:12 +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.