Commit Graph

460 Commits

Author SHA1 Message Date
sebastian
95aa8d79e3 test myList 2017-05-03 10:54:39 +02:00
sebastian
631614ec69 Anwenden der Regeln endet automatisch 2017-05-03 09:51:02 +02:00
sebastian
ed512e9e8b regeln erstellt bis auf reduce2 2017-05-03 02:17:37 +02:00
sebastian
e6a528704a AssumptionsgGlobal (fass und mass ... ) werden in auch in TypeExpression ausgeführt, das hatte gefehlt
Zusätzlich wird die Relation TypVariable Method und TypVariable Return hergestellt
2017-04-30 13:35:58 +02:00
sebastian
9ed65b547f versuche bei new operator nochmals neue Typvariablen zu vergeben 2017-04-30 11:57:46 +02:00
sebastian
7fb439e65d new Operator funktioniert jetzt, TypeVars werden mit einem speziellen Constraint durchgeschleußt an construct vorbei, wahrscheinlich die beste lösung bis jetzt 2017-04-22 03:39:14 +02:00
sebastian
bd8cf2959f TypeExpr für New sowie die Generierung der Interfaces steht an 2017-04-21 03:13:45 +02:00
sebastian
3bb14b82a0 Ich habe in dem Ordner StrucTypes5 damit begonnen nochmals eine Version zu schreiben die auf den Erkenntnissen der vorherigen Entwicklungen beruht (auch der eigenen antlr Version) jetzt aber mit dem bereits vorhanden Syntaxbaum arbeitet.
Mit dem aktuellen Commit kann eine Klasse mit Typvariablen versehen werden die auf den TypPlaceholdern des Syntaxbaumes Basieren.
2017-04-20 23:17:43 +02:00
sebastian
22bc53cde9 Merge branch 'antlr' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into strucTypes_dev2
Versuche aktuelle Version zu bekommen in der Hoffnung dass ich evtl. ein Interface parsen kann.
2017-04-20 00:16:33 +02:00
sebastian
1c080df38c Eigene Entwicklung in StrucTypes DHBW-Branch kopiert und lauffähig gemacht. Antlr Parser auf 4.6 geupdatet 2017-04-19 13:46:04 +02:00
sebastian
9eebf294dc Letzter Stand vor dem Einfügen des Versuches mit eigenem Antlr Parser 2017-04-18 20:38:30 +02:00
sebastian
e30b9d30bb Merge branch 'strucTypes_dev2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into strucTypes_dev2
wg new operator
2017-04-07 08:40:17 +02:00
sebastian
5838adad93 neue Testdatein für new 2017-04-07 08:39:43 +02:00
JanUlrich
7feb2d50e9 Merge branch 'bigRefactoring' into strucTypes_dev2 2017-04-07 02:33:42 +02:00
JanUlrich
af1f7f28e2 New Aufruf im Parser anfügen 2017-04-07 02:33:20 +02:00
JanUlrich
e285a5c556 Merge branch 'bigRefactoring' into strucTypes_dev2 2017-04-07 00:36:35 +02:00
JanUlrich
e1af4e1f65 Tests ändern 2017-04-06 16:22:36 +02:00
JanUlrich
c02a3480e8 Cast Test 2017-04-06 12:26:04 +02:00
JanUlrich
8453aaf7fd Merge mit ParserÄnderungen 2017-04-06 12:14:11 +02:00
JanUlrich
30099f5e50 Parser um Cast erweitern 2017-04-06 11:23:25 +02:00
sebastian
eb365bb911 letzte änderung 2017-04-06 11:20:06 +02:00
sebastian
ce97cf82fd Generierung von Interfaces für Felder und Methode hinzugefügt 2017-04-04 17:12:01 +02:00
sebastian
a9b9c46d84 Methodenconstraint neu definiert, Typvariable eingefügt) 2017-04-04 14:52:55 +02:00
sebastian
d4e32794ff TypeExpr für methoden geschrieben 2017-04-03 02:34:43 +02:00
sebastian
b3ffb7bd58 neuer Versuch unter Verwendung der bereits vorhandenen Typvariablen 2017-04-02 23:03:10 +02:00
JanUlrich
4ecf526b14 Generics anfügen 2017-03-29 17:28:29 +02:00
sebastian
cccc9f4d49 Type Constraints angepasst 2017-03-29 11:55:19 +02:00
sebastian
b0ef4aecd6 Neuen Test für new Statement 2017-03-28 00:46:21 +02:00
JanUlrich
2c7f4770a3 Merge branch 'bigRefactoring' into strucTypes_dev2 2017-03-22 16:22:20 +01:00
sebastian
86ee358528 Dump 2017-03-22 16:18:37 +01:00
JanUlrich
c480e25805 Bug im convert(Feld) gefixt 2017-03-22 16:16:38 +01:00
JanUlrich
47f1f9ad54 Generics angefügt 2017-03-22 16:05:59 +01:00
sebastian
8e4b1679f0 code generator für expression hinzugefügt (vorlage für TypeExpr) 2017-03-19 14:39:09 +01:00
sebastian
89d1b97339 code generator hinzugefügt 2017-03-19 11:41:22 +01:00
sebastian
5d4ea4bd69 Ausgangsbasis erstellt 2017-03-18 11:07:34 +01:00
sebastian
fbdd81a35f Merge branch 'antlr' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into strucTypes_dev2
neuaufsetzen nach jre problem
2017-03-18 10:55:36 +01:00
sebastian
562d17d07a java JRE SystemLibery auf jdk geändert 2017-03-18 10:28:07 +01:00
JanUlrich
c8beb9579e UnifyTypeFactory angefügt 2017-03-16 20:02:53 +01:00
sebastian
382a39f255 TypeExpr Algo begonnen 2017-03-16 16:26:59 +01:00
sebastian
e115430874 type-algo args angepasst, Class statt Sourcefile 2017-03-15 21:39:41 +01:00
sebastian
593bb74b12 erste Assumptions eingefügt 2017-03-15 21:25:48 +01:00
JanUlrich
92c284a04b Constraints generieren. Fehler beheben 2017-03-15 16:54:43 +01:00
JanUlrich
5fab817154 MethodCall Constraints erstellen 2017-03-15 16:17:07 +01:00
sebastian
dd5c8a56ad GeneralParserTest eingefügt 2017-03-15 11:01:42 +01:00
JanUlrich
a38b796a6f ImportTest2 2017-03-09 16:20:05 +01:00
JanUlrich
2cdca93077 ASTFactory erweitert 2017-03-08 17:51:59 +01:00
JanUlrich
9fae52e1e6 Factory angefügt. java.lang.reflect.Modifier benutzen 2017-03-08 03:43:47 +01:00
JanUlrich
a44baeaa34 Beginnen mit Typinferenzalgorithmus 2017-03-02 18:16:14 +01:00
JanUlrich
40d87c8636 Method Parsen verbessert 2017-02-17 17:20:50 +01:00
JanUlrich
656b014ad4 Parser um return und method call erweitern 2017-02-17 16:34:40 +01:00