JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 99 Pull Requests Actions Packages Projects Releases Wiki Activity
JavaTX Compiler http://www2.ba-horb.de/~pl/javatx/
51 Commits 57 Branches 0 Tags 257 MiB
Java 97.9%
ANTLR 2.1%
classfile
Go to file
JanUlrich c738e5c0de FileOutputStream zu OutputStream geändert
2014-03-24 18:01:26 +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 Merge mit master. LocalVarDecl.declType entfernt 2014-03-19 15:53:02 +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
lib Librarys pushen 2014-03-24 15:07:02 +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 FileOutputStream zu OutputStream geändert 2014-03-24 18:01:26 +01:00
test TypeInsertSet.equals() verbessert. TypinferenceResult.getTypeInsertPoints() liefert keine doppelten InsertSets mehr zurück 2014-03-21 16:34:16 +01:00
tools Merge mit master. LocalVarDecl.declType entfernt 2014-03-19 15:53:02 +01:00
.classpath FileOutputStream zu OutputStream geändert 2014-03-24 18:01:26 +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.