• Joined on 2023-12-15
pl opened issue JavaTX/JavaCompilerCore#107 2023-03-10 20:48:04 +00:00
Matrix.jav import java.util.Vector; import java.lang.Integer; import java.lang.Boolean; public class Matrix extends Vector<Vector<Integer>> { Matrix () { } Matrix(vv) { …
pl opened issue JavaTX/JavaCompilerCore#106 2023-03-10 12:47:49 +00:00
branch targetBytecode commit 9d0308066758f878d77d880d9f631d895a84c7bf Es wird erzeugt: public interface Fun1$$LTPH$_$LTPH$_$<FRF extends FRF, FRF extends FRF> extends Fun1$$ { } Es sollte …
pl opened issue JavaTX/JavaCompilerCore#105 2023-03-10 11:20:46 +00:00
branch targetBytecode commit 9d0308066758f878d77d880d9f631d895a84c7bf So sieht Bytecode aus: public interface Fun1$$<T1 extends java.lang.Object, R extends java.lang.Object> minor version:…
pl opened issue JavaTX/JavaCompilerCore#104 2023-03-10 11:16:09 +00:00
test
pl opened issue JavaTX/JavaCompilerCore#102 2023-03-10 09:06:15 +00:00
branch targetBytecode commit 9d0308066758f878d77d880d9f631d895a84c7bf So sieht Bytecode aus: public interface Fun1$$<T1 extends java.lang.Object, R extends java.lang.Object> minor version…
pl commented on issue JavaTX/JavaCompilerCore#101 2023-03-07 15:37:25 +00:00
Abhänigkeit von generischen Argumenten bei Methodenaufrufen

commit 62e022c2f773069576fe0229f6a71a000f31f1ca branch targetBytecode

pl opened issue JavaTX/JavaCompilerCore#101 2023-03-07 15:33:42 +00:00
class Assign { assign(x, y) { x = y; } assign2(x, y) { assign(x,y); } } liefert: public class Assign { public Assign(); public <O, P extend…
pl opened issue JavaTX/JavaCompilerCore#214 2023-03-07 15:12:58 +00:00
In MethodAssumptions muss für public <X, Y extends X> java.lang.Boolean eq(X, Y); Y extends X gespeichert werden und in TypeStmt.visit(MethodCall methodCall) zum Constraintset mit ersetze…
pl commented on issue JavaTX/JavaCompilerCore#100 2023-02-24 13:58:24 +00:00
Fun1$$

Kann ich leider nicht bestäigen, liefert bei mir immer noch den gleichen Fehler!

pl opened issue JavaTX/JavaCompilerCore#100 2023-02-21 15:03:56 +00:00
commit:84a5ed2cc31f66a464547bef3ed34fcd801dfacd branch: targetBytecode javap Fun1\$\$.class public interface Fun1$$<T1, R> { Fehler: Ein schwerwiegender interner Fehler ist aufgetreten: jav…
pl opened issue JavaTX/JavaCompilerCore#99 2023-02-21 15:02:26 +00:00
commit: 84a5ed2cc31f66a464547bef3ed34fcd801dfacd branch: targetBytecode Bsp. Tph2 Lösung durch Object ersetzten.
pl commented on issue JavaTX/JavaCompilerCore#86 2023-02-14 18:15:46 +00:00
Tph2.jav

Hier die erwartete Lösung

class Tph2<ADK extends DKK, DKK extends EWR, EWR> {

    Fun1$$<ADK, EWR>
    id = x->x;

<V extends ADK>
EWR id3 (V x) {
	   	return id.apply(x);…
pl commented on issue JavaTX/JavaCompilerCore#77 2023-02-14 11:02:52 +00:00
TestTwoArgs

Es geht noch allgemeiner

public class TestTwoArgs <AS extends Z, Z extends P, P extends AN, AN extends AG, AG> { AS a;

//AN -> AN
AN id(P b) {
    var c = b;
    return…
pl commented on issue JavaTX/JavaCompilerCore#77 2023-02-13 20:13:22 +00:00
TestTwoArgs

Das sieht jetzt schon ganz gut aus. das Ergebnis wäre public class TestTwoArgs<T extends AS, AS extends Z, Z extends AN, AN extends AG, AG> { AS a;

//AN -> AN
AN id(AN b) {
 …
pl commented on issue JavaTX/JavaCompilerCore#94 2023-02-08 17:35:51 +00:00
[targetBytecode] Tph4

branch targetBytecode commit 239698c8d6f356e01b552957289d3cfcd04391da

Fehler ist nicht gelöst

FEIM extends FEIK fehlt in m

siehe unten:

javac UseTph4.java UseTph4.java:3: Fehler: Kein Zu…

pl commented on issue JavaTX/JavaCompilerCore#93 2023-02-08 17:27:30 +00:00
Tph3 kein Principal Type

branch: targetBytecode commit: 239698c8d6f356e01b552957289d3cfcd04391da

Das Problem scheint gelöst zu sein.

pl commented on issue JavaTX/JavaCompilerCore#94 2023-01-31 10:25:43 +00:00
[targetBytecode] Tph4

Branch: targetBytecode

commit: 0c9612a2ea114d11567ff77a8e2eb1f89bc40484

class UseTph4 { public static void main(String[] args) { System.out.println(new Tph4().m2("s")); System.out.pri…

pl opened issue JavaTX/JavaCompilerCore#98 2023-01-23 10:02:32 +00:00
import java.util.Vector; import java.lang.Integer; import java.lang.String; class WildcardCaptureConversionTest { m(x, y ,z) { x = new Vector<Integer>(); y = new Vector<String>(); x.…
pl opened issue JavaTX/JavaCompilerCore#97 2023-01-18 16:58:28 +00:00
In der Datei ASTToTargetAST.java habe ich ab Zeile 168 in der Implementierung des Visitor TracingStatementVisitor die beiden Variablen T1s und T2 eingefügt. T1 <. R1 <.* R2 <. T2 aus dem Co…
pl commented on issue JavaTX/JavaCompilerCore#95 2023-01-18 16:35:44 +00:00
[targetBytecode] TestThreeArgs

M.E. müsste folgendes rauskommen:

public class TestThreeArgs { public N a;

public TestThreeArgs() {
}

public <EAY extends AF, AF, A> AF id(EAY b) {
    A a /*= null*…