Commit Graph

68 Commits

Author SHA1 Message Date
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
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
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
549640dfc4 Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore 2015-03-05 13:58:50 +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
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
16dd89376c GTVDeclarationContext angefügt. Dadurch Fehler beim Umwandeln von GTZ in TPH behoben 2015-02-24 17:06:14 +01:00
JanUlrich
dc6cd6cdd0 FieldDeclaration wurde der Typ in der TYPE methode nicht angepasst. Fehler behoben 2015-02-24 15:25:56 +01:00
Pluemicke Martin
acd20842e2 oderConstraints.filterWrongConstraints(unifier); oderConstraints.unifyUndConstraints(unifier); auskommentiert 2015-02-17 22:12:31 +01:00
JanUlrich
0922b9e899 Änderungen an Testfiles und Logger 2015-02-06 15:41:01 +01:00
JanUlrich
f9bfe6fb44 Test geändert 2015-02-03 15:58:04 +01:00
JanUlrich
8aa106b38a Falsche Übernahme von BoGTV im Konstruktor von Class beheben 2015-02-03 12:24:40 +01:00
JanUlrich
de4cfa2656 BoGTV fügt keine Constraints mehr hinzu. Test angefügt 2015-02-03 11:20:05 +01:00
JanUlrich
6e6908d460 Fehler in parserPostProcessing behoben 2015-01-23 16:49:09 +01:00
JanUlrich
f1171210bc Kleine Änderungen, Fehlerbehebung 2015-01-20 18:32:51 +01:00
Martin Plümicke
56c5ec7e18 Bug in subst in Unfify.java gepatched 2015-01-16 22:02:05 +01:00
JanUlrich
7d4009b6ae parser.jay Fehler beheben 2015-01-16 14:48:20 +01:00
JanUlrich
f20b978b14 Kleine Anpassungen 2015-01-04 19:30:37 +01:00
JanUlrich
09d1acab93 Testfälle angefügt 2014-12-05 17:11:22 +01:00
JanUlrich
d41d3293aa Debugausgaben eingeschränkt 2014-11-04 17:01:35 +01:00
JanUlrich
c1947e0810 Merge mit Änderungen am Unify 2014-11-04 13:51:48 +01:00
JanUlrich
1cb66d4f88 Umstellung auf anderen Logger 2014-11-04 13:47:05 +01:00
Martin Plümicke
da70cad512 Unifyaufruf aufgeteilt in Zusammenhangskomponenten in Sourcefile.java 2014-11-03 10:40:28 +01:00
JanUlrich
1141417c0b Weitere Aussonderung von Constraints durch Unify 2014-10-09 17:38:10 +02:00
JanUlrich
26f35cfeb6 Logger angefügt 2014-10-09 12:01:16 +02:00
JanUlrich
2b33576488 Finite Closure ohne Subtypes. checkType statt TYPE 2014-10-08 19:00:17 +02:00
JanUlrich
383e5bd883 NullPointerException in Unify beseitigt 2014-10-07 17:47:23 +02:00
JanUlrich
81416b8bf4 Richtiger Import von Generischen Typen aus der JRE 2014-10-07 15:36:18 +02:00
JanUlrich
3db9b069c7 makeBasicAssumptions verbessert. Nimmt auch nun die Superklassen der BasicAssumptions auf 2014-10-07 10:47:52 +02:00
JanUlrich
37923779b1 In der FC_TTO werden keine T <. T Constraints mehr aufgenommen 2014-10-07 09:20:35 +02:00
JanUlrich
4c9d696905 FC enthält superklassen 2014-10-01 17:12:16 +02:00
JanUlrich
d636d29ab5 Problem mit der Umwandlung von generischen Variablen zu TPH behoben (noch nicht vollständig) 2014-09-18 16:26:02 +02:00
JanUlrich
49917239c1 GenericVarDeclarationList extends SyntaxTreeNode 2014-09-16 17:34:04 +02:00