Andreas Stadelmeier

stan commented on issue JavaTX/JavaCompilerCore#176

2015-09-24 15:26:48 +00:00

Function argument funktioniert nicht

Gefixt! Siehe commit 46291a60565b06386c034dbacdc40009d27446cf

stan commented on issue JavaTX/JavaCompilerCore#175

2015-09-23 16:09:01 +00:00

Id.jav falscher MethodType

Problem teilweise gelöst. In der Angabe des MethodenTyps des LambdaAusdrucks für die InvokeDynamic Instruktion werden keine WildcardTypen verwendet. Typ wird somit zu: (Ljava/lang/Integer;)Lj…

stan commented on issue JavaTX/JavaCompilerCore#175

2015-09-23 12:39:49 +00:00

Id.jav falscher MethodType

Das "-" bei (-Ljava/lang/Integer;)Ljava/lang/Integer

Im unifizierten ResultSet steht: (TPH ABH = java.lang.Integer), (TPH B = java.lang.Integer), (TPH ABG = Fun1< ? extends TPH ABH, ? s…

stan commented on issue JavaTX/JavaCompilerCore#174

2015-07-15 11:49:47 +00:00

Deepclone weitgehen eliminieren

Änderungen wurden implementiert. Es wird jetzt nur noch vor dem Substituieren geklont.

Allerdings Fehler im LambdaTest13: ( plugindevelopment.TypeInsertTests.LambdaTest13 )

class Matrix{ o…

stan opened issue JavaTX/JavaCompilerCore#173

2015-05-22 11:05:10 +00:00

Fehler wird geprüft mit "plugindevelopment.TypeInsertTests.LambdaTest28" Richtige Lösung müsste sein: class Klasse{ <C, B extends C> C main( Klasse1 param){ return param.<B>methode(); } …

stan opened issue JavaTX/JavaCompilerCore#172

2015-04-09 11:33:47 +00:00

Ab jetzt werden Superklassen von importierten Klassen zum FiniteClosure hinzugefügt, falls die jeweilige Superklasse ebenfalls importiert wurde. Dies sollte noch ausführlicher getestet werde…

stan commented on issue JavaTX/JavaCompilerCore#171

2015-03-31 17:31:27 +00:00

Fehler in Unify

Ändern des Testfalls erzielt keine Wirkung. Testfile:

class LambdaTest{ void methode(){ var; Fun0<? extends String> op; op = () -> {return var;}; } }

Karthesisches Produkt der Const…

stan opened issue JavaTX/JavaCompilerCore#171

2015-03-31 17:23:11 +00:00

Karthesisches Produkt der Constraints: [[ (Fun1< java.lang.String, java.lang.String > <. Fun1< java.lang.String, java.lang.String >), (TPH B <. TPH B), (TPH C <. TPH B), (TPH B <. TPH ABI)…

stan commented on issue JavaTX/JavaCompilerCore#165

2015-03-31 13:28:02 +00:00

Substitution ? ext/sup TPH [TPH -> ? ext/sup Type] funktioniert nicht/ Problem in SetWildcardType

(In reply to Martin Plümicke from comment #3)

In TypeExpr in Lambdaexpression soll folgendes eingefügt werden:

Fun<? ext rTy, ? super argTy> (x) -> f(x),

wenn x:argTy oder x:…

stan commented on issue JavaTX/JavaCompilerCore#163

2015-03-12 11:31:07 +00:00

BoundedGenericsTest

Fehlerfall hat sich erledigt. Test war falsch. Kein korrektes Java.

stan opened issue JavaTX/JavaCompilerCore#167

2015-03-11 16:49:47 +00:00

Folgendes Constraint Set wird nicht unifiziert: (TPH B <. TPH B), (java.lang.String <. TPH B), (TPH B <. TPH ABG), (TPH ABG <. BoGTV B), (void <. void) Fehler tritt auf in plugindevelop…

stan commented on issue JavaTX/JavaCompilerCore#165

2015-03-11 12:32:22 +00:00

Substitution ? ext/sup TPH [TPH -> ? ext/sup Type] funktioniert nicht/ Problem in SetWildcardType

ObjectType wurde implementiert. Es entstehen nun allerdings Exceptions im Unify. plugindevelopment.TypeInsertTests.Add (Add-Test) wirft nun die Exception:

java.lang.ClassCastException: de.dh…

stan opened issue JavaTX/JavaCompilerCore#163

2015-03-05 17:19:52 +00:00

Die Constraints: [[ (TPH B <. TPH B), (java.lang.String <. TPH B), (TPH B <. TPH ABG), (TPH ABG <. BoGTV B), (void <. void)]] werden nicht unifiziert. Liegt aber womöglich nicht am Uni…

stan commented on issue JavaTX/JavaCompilerCore#161

2015-03-05 17:19:30 +00:00

Fehler in Unify bei ImportTest

(In reply to Andreas Stadelmeier from comment #1)

BoundedGenericsTest liefert Fehler.

Die Constraints:

[[ (TPH B <. TPH B), (java.lang.String <. TPH B), (TPH B <. TPH ABG)…

stan commented on issue JavaTX/JavaCompilerCore#161

2015-03-05 17:00:34 +00:00

Fehler in Unify bei ImportTest

BoundedGenericsTest liefert Fehler.

Die Constraints:

[[ (TPH B <. TPH B), (java.lang.String <. TPH B), (TPH B <. TPH ABG), (TPH ABG <. BoGTV B), (void <. void)]]

werden nicht unifizier…

stan commented on issue JavaTX/JavaCompilerCore#162

2015-03-05 15:15:22 +00:00

TestFehler