Beispiel: class GenericParaListInsertTest{ <A, ABH extends A, C extends ABH, D, E extends D> A methode(a){return a;} }
Es enstehen diese Constraints: (TPH B <. TPH ABG), (TPH ABG <. GTV A),…
Problem behoben. Ergebnis ist nun:
class GTVTest{ GTVTest2 var;
java.lang.String methode(){ return var.var2; } }
class GTVTest2{ GTV2 var2; }
Lösungsmöglichkeit:
Einführen einer neuen Reihe von Interfaces: FunVoidN<N1,...Nn>{ void apply(N1 n1, ... , Nn nn);}
Okay, jetzt kriege ich das richtige ConstraintsSet. Mein Eclipse hat einen anderen Test ausgeführt, als es angezeigt hat.
Constraints-Set bei GenericVarTest, welches nicht unifiziert wird: [[ (Fun1< ? extends Fun1< ? extends ABG, ? super Fun1< BoGTV R1702297201, GTV T11702297201 > >, ? super X > <. Fun1< ? exten…