Daniel Holle

dholle commented on issue JavaTX/JavaCompilerCore#94

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

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.