Commit Graph

2288 Commits

Author SHA1 Message Date
JanUlrich
144c31a4cb Bei der Generierung der FiniteClosure werden nun Beziehungen zu Superklassen, welche Importiert wurden, korrekt angefügt 2015-04-08 21:23:28 +02:00
Martin Plümicke
c080f452ae Bug 18: ? ext/sup ty1 = ? ext/sup ty2 wird reduziert zu ty1 = ty2 2015-04-01 01:28:15 +02:00
JanUlrich
f66150a1e7 Testfälle angepasst. 2015-03-31 17:29:29 +02:00
JanUlrich
1d7074f1c6 Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore 2015-03-31 16:45:54 +02:00
Martin Plümicke
a2997fdd6b Bug 16: wieder zurueckgenommen, Zusammenhangskomponenten wieder raus 2015-03-31 16:45:22 +02:00
JanUlrich
565fd1ba0c bin-Verzeichnis auf gitignore setzen 2015-03-31 16:25:34 +02:00
JanUlrich
af7d478b84 Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore 2015-03-31 16:19:48 +02:00
JanUlrich
03753d68b9 Aufräumen 2015-03-31 15:24:30 +02:00
JanUlrich
b2f742033b Aufräumen: Statt getTypeFor wird nun nur noch TYPE aufgerufen. Die Constraintbildung in der LambdaExpression wurde geändert. Siehe Bug #12 2015-03-31 12:37:45 +02:00
Martin Plümicke
67b6d29ce8 Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore 2015-03-12 12:30:20 +01:00
Martin Plümicke
385423092a Fuer TPH <. Ty' hinzugefuegt: ? ext Ty <. Ty' 2015-03-12 12:29:54 +01:00
JanUlrich
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 2015-03-12 12:27:43 +01:00
JanUlrich
c53eff4f2c Merge branch 'refactoring' 2015-03-11 16:37:00 +01:00
Martin Plümicke
8cc1c79c67 ? ext Ty <. TPH in Unify eingefuegt 2015-03-11 16:36:05 +01:00
JanUlrich
7f2d64e73b Änderung an der Constraint Erstellung für LambdaExpressions 2015-03-11 12:39:08 +01:00
JanUlrich
3b258c3880 Object Type implementieren 2015-03-11 11:54:42 +01:00
Martin Plümicke
40bfc79948 ObjectType als Supertype von RefType, GTV und TPH eingefuegt, einige Fehler muessen noch geloest werden 2015-03-10 22:48:29 +01:00
Pluemicke Martin
6a47dfaf58 nicht lauffaehige Version 2015-03-10 22:32:29 +01:00
JanUlrich
3d2dbc8709 ObjectType eingeführt. Es muss noch Unify angepasst werden 2015-03-10 12:38:18 +01:00
JanUlrich
324fb27b6d ObjectType eingeführt. Es muss noch Unify angepasst werden 2015-03-10 12:33:52 +01:00
Dr. Martin Pluemicke
f2bc4f0ffa TPH <. ? super Ty reduziert auf TPH <. Ty eingefuegt, damit BUG 7 geloest 2015-03-05 16:37:45 +01:00
Dr. Martin Pluemicke
549640dfc4 Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore 2015-03-05 13:58:50 +01:00
JanUlrich
90e4c3bc96 Doku erweitert 2015-03-05 13:56:42 +01:00
Dr. Martin Pluemicke
7889783e8a Unify Bugfix Bug 5 geloest und fuer TypVar <. RefType: ? extends Ty <. RefType eingefuegt 2015-03-05 13:55:21 +01:00
JanUlrich
e8538be1c2 Fehler in Umwandlung von GTV zu TPH beheben 2015-03-04 13:50:09 +01:00
JanUlrich
1ec9c3f67f Fehler in Umwandlung von RefType zu GTV in BoGTV beheben 2015-03-03 18:24:14 +01:00
JanUlrich
618847bf4f Fehlende Umwandlung von RefType zu GTV in Wildcard-Types implementieren 2015-03-03 16:59:00 +01:00
JanUlrich
0674de12c6 Overloading-Algorithmus in Klasse MethodCall auslagern 2015-03-03 11:37:04 +01:00
JanUlrich
8e59e46d57 Overloading-Algorithmus in Klasse MethodCall auslagern 2015-03-03 11:34:42 +01:00
JanUlrich
a8a7ad564b Super-Aufruf implementieren 2015-02-26 17:46:04 +01:00
JanUlrich
4fd30850b5 ThisCall und SuperCall anfügen 2015-02-26 17:41:29 +01:00
JanUlrich
37e55490e1 Fehler beheben. Hat FunN den Rückgabetyp void, so wird kein ? extends void generiert 2015-02-26 16:57:43 +01:00
JanUlrich
1941fa5d64 this()-Aufruf anfügen 2015-02-26 15:50:23 +01:00
JanUlrich
5455ba803e Fehler in TYPE-Methode von Constructor beheben 2015-02-25 18:51:48 +01:00
JanUlrich
da70abf954 Tests anfügen. Probleme mit Constructor beheben. 2015-02-25 18:29:44 +01:00
JanUlrich
9e99a5b20b This()-Aufruf anfügen. Änderungen an Constructor vornehmen. Keine lauffähige Version 2015-02-25 16:34:29 +01:00
JanUlrich
9261518e5a Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore 2015-02-25 13:04:26 +01:00
Dr. Martin Pluemicke
c315def167 Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore 2015-02-25 12:05:05 +01:00
Dr. Martin Pluemicke
748a38833d Bug fix in Unify Zeile 1339 Typecast vom 1. aufs 2. Argument verschoben. 2015-02-25 12:04:13 +01:00
JanUlrich
20b1632319 Testfälle ausgebessert 2015-02-25 11:33:06 +01:00
JanUlrich
16dd89376c GTVDeclarationContext angefügt. Dadurch Fehler beim Umwandeln von GTZ in TPH behoben 2015-02-24 17:06:14 +01:00
JanUlrich
dc7d23d699 Testfälle anfügen 2015-02-24 15:26:36 +01:00
JanUlrich
d72a803027 Dokumentation angefangen 2015-02-24 15:26:19 +01:00
JanUlrich
dc6cd6cdd0 FieldDeclaration wurde der Typ in der TYPE methode nicht angepasst. Fehler behoben 2015-02-24 15:25:56 +01:00
Martin Plümicke
4e61ba736d alle Faelle P.OperatorSmallerExtends eingefuegt 2015-02-17 23:23:02 +01:00
Pluemicke Martin
acd20842e2 oderConstraints.filterWrongConstraints(unifier); oderConstraints.unifyUndConstraints(unifier); auskommentiert 2015-02-17 22:12:31 +01:00
Pluemicke
c366ef05f5 Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore 2015-02-11 14:41:55 +01:00
Pluemicke
6664b819d9 Zugrifssberechtigung 2015-02-11 14:41:27 +01:00
JanUlrich
621f1c860f Karthesisches Produkt wird leer, falls einer der Teilmengen leer ist 2015-02-11 14:35:37 +01:00
Martin Plümicke
7a61324c9f ? ext/super TPH <?/= RefType/GenType und RefType/GenType <?/= ? ext/super TPH eingefuegt nicht alle Faelle getestet 2015-02-08 19:19:30 +01:00