Andere Einsetzung als im Bytecode #151

New Issue

pl · 2019-12-10T12:37:51Z

pl commented

2019-12-10 12:37:51 +00:00

Folgende Einsetzung erfolgt:

class MathStruc <CSHS extends CWQP, CWPY extends CSIJ, CSIJ extends CSHS, CWQP> {
CSHS model;

//Fun1*<Fun2*<A,A,A>, Fun1*<MathStruc <A>,MathStruc <A>>> 
Fun1$$<Fun2$$<CWPW, CWPX, CWPY>, Fun1$$<MathStruc, MathStruc>> innerOp = (o) -> (ms) -> new MathStruc<>(o.apply(model,ms.model)) ;

MathStruc(m) { 
	model =m;
}

}
Im Bytecode steht:

javap MathStruc.class
Compiled from "MathStruc.jav"
class MathStruc<CSHS$ extends CWQM$, CWPY$ extends CSIJ$, CSIJ$ extends CSHS$, CWQM$> {
CSHS$ model;
Fun1$$<Fun2$<CWQM, CWQM$, CWPY$>, Fun1$$<MathStruc, MathStruc>> innerOp;
public MathStruc(CSIJ$);
}

Folgende Einsetzung erfolgt: class MathStruc <CSHS extends CWQP, CWPY extends CSIJ, CSIJ extends CSHS, CWQP> { CSHS model; //Fun1*<Fun2*<A,A,A>, Fun1*<MathStruc <A>,MathStruc <A>>> Fun1$$<Fun2$$<CWPW, CWPX, CWPY>, Fun1$$<MathStruc, MathStruc>> innerOp = (o) -> (ms) -> new MathStruc<>(o.apply(model,ms.model)) ; MathStruc(m) { model =m; } } Im Bytecode steht: > javap MathStruc.class Compiled from "MathStruc.jav" class MathStruc<CSHS$ extends CWQM$, CWPY$ extends CSIJ$, CSIJ$ extends CSHS$, CWQM$> { CSHS$ model; Fun1$$<Fun2$$<CWQM$, CWQM$, CWPY$>, Fun1$$<MathStruc, MathStruc>> innerOp; public MathStruc(CSIJ$); }

pl commented

2020-02-10 10:07:48 +00:00

Hier könnte es ein Problem mit der Schnittstelle geben. Das sollten wir miteinander abstimmen.