Daniel Holle

dholle opened issue JavaTX/JavaCompilerCore#217

2023-06-16 11:09:15 +00:00

Beispiel: import java.util.Vector; public class TestVector { m(v, w) { var a = v.elementAt(0); var b = id(a); w.addElement(b); } id(x) { return x; } } class TestVector…

dholle opened issue JavaTX/JavaCompilerCore#216

2023-06-16 11:02:34 +00:00

Beispiel (in resources/insertGenericsJav/TestVector.jav) import java.util.Vector; public class TestVector { m(v, w) { w.addElement(id(v.elementAt(0))); } id(x) { return x; } } T…

dholle commented on issue JavaTX/JavaCompilerCore#110

2023-05-15 14:54:07 +00:00

Typvariablen fehlen bei geschachtelten Funn$$-Typen

Branch: targetBytecode Commit: 66944cf3c1878b963a5c432868c303fcb07791ae

Ist gefixt ;)

dholle commented on issue JavaTX/JavaCompilerCore#106

2023-03-21 12:17:26 +00:00

Fun1\$\$LTPH\$_\$LTPH\$_\$.class hat falsche Generics Fun1$$<

Branch targetBytecode Commit d93836d1105faedf7549c99cfc16e2c4b56f2e2f

Ist gefixt.

dholle commented on issue JavaTX/JavaCompilerCore#102

2023-03-21 09:36:12 +00:00

Fun1$$.class: Signature von apply falsch

Branch: targetBytecode Commit: b5af3a42a8c7d16e78c2fadddc2690a095dc9ad3

Ist gefixt.

dholle commented on issue JavaTX/JavaCompilerCore#99

2023-03-01 09:49:53 +00:00

Typvariablen in generierten Lambda-Methoden nicht deklariert

Commit: 1ad4cfcb2146414a4375c40c05d14b4fa33c12ee Branch: targetBytecode

Ist gefixt.

dholle commented on issue JavaTX/JavaCompilerCore#100

2023-02-23 17:54:18 +00:00

Fun1$$

Commit: 68034ed4349aae557ca43513c18649dbee0d8c39 Branch: targetBytecode

Ist gefixt, hat die Signatur falsch geschrieben.

dholle commented on issue JavaTX/JavaCompilerCore#94

2023-02-10 13:58:20 +00:00

[targetBytecode] Tph4

Es sollte jetzt funktionieren. Vorausgesetzt der Test testet richtig ;)

dholle opened issue JavaTX/JavaCompilerCore#277

2023-01-17 15:12:18 +00:00

Folgendes Beispiel: import java.lang.String; import java.lang.Integer; class Generics4<B extends String> { <C extends Integer> C m1(C b){ return b; } m2(x) { return m1…

dholle opened issue JavaTX/JavaCompilerCore#95

2023-01-10 14:54:30 +00:00

Das Beispiel ist als TestThreeArgs.jav in resources/insertGenericsJav definiert. Das erste Problem ergibt sich wenn für die Methode "id" die Infima eliminiert werden: vorher: [(TPH AF < TPH…

dholle commented on issue JavaTX/JavaCompilerCore#94

2022-12-01 10:22:49 +00:00

[targetBytecode] Tph4

Die Typvariablen von m sind [TPH P, TPH M, TPH N, TPH O]

class Tph4 {

Tph4()({ super(()); })::TPH AI TPH M m(TPH N a, TPH O b)({ TPH P c; (c)::TPH P = ((this)::TPH Q.m2((b):…

dholle opened issue JavaTX/JavaCompilerCore#94

2022-11-28 14:11:10 +00:00

Schritt zwei im Paper INSIGHTS: Neue konstruierte Paare T1 < T2 der Methode m die in der transitiven Hülle T1 < R1 <= R2 < T2 mit R1 <= R2 in der Methode m2 die in m aufgerufen wird. Die C…

dholle commented on issue JavaTX/JavaCompilerCore#90

2022-09-22 20:04:14 +00:00

Inf.jav: Typvariable wird doppelt deklariert

Ich hab es jetzt so geändert, dass T = Object entfernt wird wenn T < E hinzugefügt wird.

dholle commented on issue JavaTX/JavaCompilerCore#86

2022-08-26 15:30:01 +00:00

Tph2.jav

[targetBytecode]

Zwei Probleme. Zum Ersten wurde bei dem Umwandeln des ResultPairs in TargetGenerics die Gleichsetzung der Typvariablen nicht beachtet, das habe ich gefixt.

Das zweite Probl…

dholle commented on issue JavaTX/JavaCompilerCore#90

2022-08-26 14:08:20 +00:00

Inf.jav: Typvariable wird doppelt deklariert

[targetBytecode]

Ich hab einfach einen weiteren Pass zu eliminateCyclesAndInfima hinzugefügt der diese doppelten bounds rausfiltert. Ich bin mir nicht sicher ob das der richtige Weg ist aber…

dholle commented on issue JavaTX/JavaCompilerCore#91

2022-08-26 13:15:17 +00:00

SimpleCycle.jav

[targetBytecode] Ist gefixed, das Problem war dass lokale Variablen nicht initialisiert wurden.

dholle commented on issue JavaTX/JavaCompilerCore#87

2022-08-09 11:02:00 +00:00

Tph4.jav

[targetBytecode]

Ich habe zwei Dinge geändert. Der Rückgabetyp von Funktionsaufrufen ist jetzt auch eine Typvariable. Weiterhin gab es constraints X < X, diese werden nun nicht mehr ins resu…

dholle commented on issue JavaTX/JavaCompilerCore#85

2022-08-05 14:26:20 +00:00

Tph7: Typvariablen falsch

[targetBytecode]

Ich habe folgendes geändert:

Wenn im result set für eine Methode bereits eine Relation A < .. < B vorhanden ist wird eine Teilrelation nicht mehr hinzugefügt.