• Joined on 2023-12-15
pl opened issue JavaTX/JavaCompilerCore#252 2016-05-01 23:06:19 +00:00
Folgendes Beispiel liefert einen Fehler import java.util.Vector; class Matrix extends Vector<Vector<Integer>> { op = (m) -> (f) -> f.apply(this, m); } Das Problem ist, dass [(Matrix <. ja…
pl opened issue JavaTX/JavaCompilerCore#251 2016-04-28 19:52:07 +00:00
Die FunN-Typen werden nach ReferenceTypen übersetzt und nicht nach FunNType übersetzt.
pl commented on issue JavaTX/JavaCompilerCore#12 2016-04-10 15:58:14 +00:00
OL Beispiel

Created attachment 1 Trace Failure

Anbei noch ein Screenshot vom Eclipse Trace Failure

pl commented on issue JavaTX/JavaCompilerCore#12 2016-04-10 15:45:50 +00:00
OL Beispiel

Ich habe jetzt mal OLTest.java und OL.jav eingecheckt. Vll. passt etwas im OLTest.java. Könnten Sie danach mal schauen.

Danke und viele Grüße Martin Plümicke

pl commented on issue JavaTX/JavaCompilerCore#12 2016-04-10 15:42:29 +00:00
OL Beispiel

Bei mir funktioniert es noch nicht.

pl opened issue JavaTX/JavaCompilerCore#12 2016-04-07 09:47:12 +00:00
Hallo Herr Schrödter, ich habe gestern noch versucht das OL-Beispiel zum Laufen zu bringen. Hat leider nicht geklappt. Wahrscheinlich habe ich was im Unit-Test falsch gemacht. Könnten Sie es…
pl opened issue JavaTX/JavaCompilerCore#11 2016-04-06 18:01:02 +00:00
Im Beispiel erweiterten Beispiel: import java.util.Vector; class Overloading{ void method(Vector<String> v) { } void method(Vector<Integer> v) { } main(String[] args) { ol; …
pl opened issue JavaTX/JavaCompilerCore#6 2015-11-02 17:49:36 +00:00
Bei folgendendem Beispiel class Id { <GPM, FNF extends GPM> Fun1<? extends GPM, ? super FNF> op = (x) -> x; } erhält man folgenden Fehler: java.lang.ClassCastException: de.dhbwstutt…
pl commented on issue JavaTX/JavaCompilerCore#178 2015-10-18 16:30:32 +00:00
Erzeugen von Bytecode, wenn keine Lösung mehr auswählbar ist

Scheint noch so ganz zu funktionieren.

Für folgende beiden Beispiel wird kein Bytecode erzeugt, obwohl keine Typen mehr einsetzbar sind.

1.) import java.util.Vector;

class Vector_Add {

<E…

pl opened issue JavaTX/JavaCompilerCore#181 2015-10-18 16:20:52 +00:00
Bei folgendem Programm import java.util.Vector; class Vector_Add { java.lang.Integer vector_add(x,y) { i; i = 0; ret; ret = 0; while (i < x.size()) { } return ret; } } …
pl commented on issue JavaTX/JavaCompilerCore#178 2015-10-14 17:19:23 +00:00
Erzeugen von Bytecode, wenn keine Lösung mehr auswählbar ist

Ergänzung:

Wenn nur eine Lösung auswählbar ist, dann soll für diese Bytecode erzeugt werden.

pl opened issue JavaTX/JavaCompilerCore#180 2015-10-07 10:47:13 +00:00
Sei - (TPH RET) meth(TPH A1 x1, ... , TPH AN xN) - ((TPH A) x) -> ((TPH RET) exp) Typ <. Ai zunächst nur für das Supremum weiterechnen, wenn Fehler, dann erst mit den kleineren Typen weit…
pl opened issue JavaTX/JavaCompilerCore#179 2015-10-07 10:19:47 +00:00
Es sollte möglich sein eine main-Methode anzulegen, die hinterher auch ausführbar ist. Ziel ist es dass aus dem Ecplise-PlugIn *.jav Dateien ausführ bar sind.
pl opened issue JavaTX/JavaCompilerCore#178 2015-10-07 10:17:49 +00:00
Im Moment wird die Bytecodegen-Methode nur aufgerufen, wenn genau eine Typisierung möglich ist. Es sollte aber auch dann Bytecode erzeugt, wenn keine Lösung mehr auswählbar ist, auch wenn in…
pl commented on issue JavaTX/JavaCompilerCore#176 2015-09-28 14:55:10 +00:00
Function argument funktioniert nicht

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

javac -Xdiags:verbose Test…

pl opened issue JavaTX/JavaCompilerCore#177 2015-09-23 22:50:25 +00:00
class OL { Integer m(Integer x) { return x + x; } Boolean m(Boolean x) {return x
pl opened issue JavaTX/JavaCompilerCore#176 2015-09-23 22:45:24 +00:00
bytecode.Matrix_lambdaTest.jav: class Matrix { op = (f) -> f.apply(2); } ergibt folgende Fehlermeldung: de.dhbwstuttgart.typeinference.exceptions.TypeinferenceException: Der Typ Fun1<…
pl opened issue JavaTX/JavaCompilerCore#175 2015-09-23 11:05:39 +00:00
javap -v Id.class liefert ... #15 = MethodType #8 // (-Ljava/lang/Integer;)Ljava/lang/Integer; ... Das "-" bei (-Ljava/lang/Integer;)Ljava/lang/Integer dürfte falsch…
pl commented on issue JavaTX/JavaCompilerCore#174 2015-07-16 01:13:57 +00:00
Deepclone weitgehen eliminieren

import com.rits.cloning.Cloner; eliminieren

An verschiedenen Stellen müssen die kartesischen Produkte überprüft werden, ob überall deepCopy nötig ist.

pl opened issue JavaTX/JavaCompilerCore#174 2015-07-09 02:10:45 +00:00
Idee: Man könnte viele Deepclone, deepcopy, selbst implementierte clone's eliminieren, wenn man in Schritt 5: Einsetzen der Subst Regel folgende Zeile einfügt: vecpair = vecpair.stream().ma…