Commit Graph

17 Commits

Author SHA1 Message Date
sebastian
95aa8d79e3 test myList 2017-05-03 10:54:39 +02:00
sebastian
3ad2f7d6ce ... 2017-05-03 10:12:09 +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
b082b603de Interface Constraints erhalten jetzt auch neue Typvariablen 2017-05-01 21:32:30 +02:00
sebastian
d54ee60b85 scheinbar habe ich jetzt einheitliche Constraints 2017-05-01 00:12:31 +02:00
sebastian
786b04af8b Versuche alles auf einen Subtype Constraint umzuschreiben 2017-04-30 21:40:31 +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
7585fba4d3 Aktueller Stand für E-Mail 2017-04-23 18:02:39 +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
632b6dd334 bestehende General Parser Test gehen auch wieder 2017-04-19 14:07:36 +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
JanUlrich
eb0da3c36a Aufräumen, neues Eclipse-Projekt anlegen 2016-06-22 20:29:16 +02:00
JanUlrich
e19dee4c99 Umstellung auf Intellij IDEA 2016-06-17 13:55:14 +02:00