Andreas Stadelmeier

stan commented on issue JavaTX/JavaCompilerCore#179

2015-10-23 16:24:21 +00:00

public static void main

Siehe Test: /test/bytecode/MainTest.java

commit: 36a3aeddb3829a1e17b5c0814a975f4e140c919d

stan opened issue JavaTX/JavaCompilerCore#250

2015-10-23 14:43:19 +00:00

UnifyPairFactory erstellt Typen, welche keinen Parent SyntaxTreeNode haben (sondern null). Hier könnte ein NullSyntaxTreeNode erstellt werden.

stan opened issue JavaTX/JavaCompilerCore#1

2015-10-15 18:15:23 +00:00

Siehe https://stackoverflow.com/questions/26072210/construct-the-stackmap-of-method-while-using-bcel Ab Java8 benötigen Methoden, welche Sprünge (Branches) enthalten eine Stackmaptable. Wir…

stan commented on issue JavaTX/JavaCompilerCore#178

2015-10-15 18:13:21 +00:00

Erzeugen von Bytecode, wenn keine Lösung mehr auswählbar ist

Änderungen durchgeführt. Siehe Commit 72dc22ff1d29615c2b7be51ed64322a65eab4a35

stan commented on issue JavaTX/JavaCompilerCore#176

2015-09-28 19:54:58 +00:00

Function argument funktioniert nicht

Fehler ist lokalisiert. Es muss richtig heißen:

class Lambda2<A,R extends A> { Fun1<A, ? super Fun1<R, Integer>> op = (f) -> f.apply(new Integer(2)); }

Die Abhängigkeit R extends…

stan commented on issue JavaTX/JavaCompilerCore#176

2015-09-28 17:43:00 +00:00

Function argument funktioniert nicht

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

Folgendes funktioniert nicht. Warum? class Test3 { public static void main(String[] args){ Matrix m2 = new Matrix(); m2.op.apply…

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)…