Abhänigkeit von generischen Argumenten bei Methodenaufrufen #101

New Issue

pl · 2023-03-07T15:33:42Z

pl commented

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 extends O> void assign(O, P);
public <T, S> void assign2(S, T);
}

müsste aber:

public class Assign {
public Assign();
public <O, P extends O> void assign(O, P);
public <T extends S, S> void assign2(S, T);
}

Hier muss der Algorithmus nochmals angepasst werden: Neben den Abhängigkeiten von Argumenttypen und Returntypen bei Methdenaufrufen müssen auch Abhängigkeiten von Argumenttypen untereinander berücksichtigt werden.

class Assign { assign(x, y) { x = y; } assign2(x, y) { assign(x,y); } } liefert: public class Assign { public Assign(); public <O, P extends O> void assign(O, P); public <T, S> void assign2(S, T); } müsste aber: public class Assign { public Assign(); public <O, P extends O> void assign(O, P); public <T extends S, S> void assign2(S, T); } Hier muss der Algorithmus nochmals angepasst werden: Neben den Abhängigkeiten von Argumenttypen und Returntypen bei Methdenaufrufen müssen auch Abhängigkeiten von Argumenttypen untereinander berücksichtigt werden.

pl commented

2023-03-07 15:37:25 +00:00

commit 62e022c2f7
branch targetBytecode

commit 62e022c2f773069576fe0229f6a71a000f31f1ca branch targetBytecode

dholle added the

generics

label 2024-03-04 13:04:58 +00:00

Sign in to join this conversation.