sebastian
|
9b66d97f62
|
solve regel angepasst
|
2017-05-05 13:04:03 +02:00 |
|
sebastian
|
c09e0295d2
|
methode sucheInterfaces in Rules angepasst, sodass die einfache Unifikation wieder gelöst werden kann
|
2017-05-04 23:13:28 +02:00 |
|
Martin Plümicke
|
f48bb2ac0c
|
AbstractTypVar durch RefTypeORTPHOrWildcardOrGeneric ersetzt
|
2017-05-04 15:35:55 +02:00 |
|
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 |
|