f5ef7bd3f5
Merge branch 'master' into bytecode
JanUlrich
2015-05-07 14:41:31 +02:00
5e5a17b265
toString zu UndMenge hinzugefügt
JanUlrich
2015-05-07 14:41:13 +02:00
d343c27edb
Logger angepasst. MyCompiler.getAPI erfordert nun einen Logger als Parameter. Filterung im Unify eingefügt.
JanUlrich
2015-05-07 01:01:39 +02:00
1cb335b46b
ConstraintsSet umgebaut in eine KomplexeMenge von Pairs
JanUlrich
2015-04-28 15:27:16 +02:00
7ba9688702
Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf
JanUlrich
2015-04-22 21:40:22 +02:00
144c31a4cb
Bei der Generierung der FiniteClosure werden nun Beziehungen zu Superklassen, welche Importiert wurden, korrekt angefügt
JanUlrich
2015-04-08 21:23:28 +02:00
c080f452ae
Bug 18: ? ext/sup ty1 = ? ext/sup ty2 wird reduziert zu ty1 = ty2
Martin Plümicke
2015-04-01 01:28:15 +02:00
b318a315a6
eine neue Testfaelle
Martin Plümicke
2015-01-02 12:46:29 +01:00
8e1d7f703c
Ergebnis Sourcefile.typeReconstruction ist neue Datenstruktur
Martin Plümicke
2015-01-02 12:44:31 +01:00
ea6ff84c9f
Aufteilung Unifikation
Martin Plümicke
2014-11-20 20:20:28 +01:00
8723ced9b0
Merge branch 'refactoring' into bytecode
JanUlrich
2014-10-09 13:54:55 +02:00
5c80215516
Andis letzter Stand
Sascha Speidel
2014-08-05 14:24:58 +02:00
dd7d0edbfe
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
Martin Plümicke
2013-01-01 02:57:01 +01:00
b2f742033b
Aufräumen: Statt getTypeFor wird nun nur noch TYPE aufgerufen. Die Constraintbildung in der LambdaExpression wurde geändert. Siehe Bug #12
JanUlrich
2015-03-31 12:37:45 +02:00
47b5b2a288
1. BUG 15: TPH1 <. ? super TPH2 führt zu TPH1 <. TPH2 und zu Eq1 einzugefuegt 1. BUG 16: Unify in Zusammenhangskomponenten aufgeteit, muss wieder zurueckgenommen werden
Martin Plümicke
2013-01-01 02:56:34 +01:00
67b6d29ce8
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
Martin Plümicke
2015-03-12 12:30:20 +01:00
385423092a
Fuer TPH <. Ty' hinzugefuegt: ? ext Ty <. Ty'
Martin Plümicke
2015-03-12 12:29:54 +01:00
2c6bce344d
TYPE erstellt bei LambdaExpression nun zwei constraints, falls die Parameter/RetType nicht vom Typ ? extends sind. Dann werden die Constraints einmal mit dem eigentlichen Typ T und einem ? extends/super T -Typ generiert
JanUlrich
2015-03-12 12:27:43 +01:00
8cc1c79c67
? ext Ty <. TPH in Unify eingefuegt
Martin Plümicke
2015-03-11 16:36:05 +01:00
7f2d64e73b
Änderung an der Constraint Erstellung für LambdaExpressions
JanUlrich
2015-03-11 12:39:08 +01:00
3b258c3880
Object Type implementieren
JanUlrich
2015-03-11 11:54:42 +01:00
40bfc79948
ObjectType als Supertype von RefType, GTV und TPH eingefuegt, einige Fehler muessen noch geloest werden
Martin Plümicke
2015-03-10 22:48:29 +01:00
6a47dfaf58
nicht lauffaehige Version
Pluemicke Martin
2015-03-10 22:32:29 +01:00
3d2dbc8709
ObjectType eingeführt. Es muss noch Unify angepasst werden
JanUlrich
2015-03-10 12:38:18 +01:00
324fb27b6d
ObjectType eingeführt. Es muss noch Unify angepasst werden
JanUlrich
2015-03-10 12:33:52 +01:00
f2bc4f0ffa
TPH <. ? super Ty reduziert auf TPH <. Ty eingefuegt, damit BUG 7 geloest
Dr. Martin Pluemicke
2015-03-05 16:37:45 +01:00
549640dfc4
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
Dr. Martin Pluemicke
2015-03-05 13:58:50 +01:00