Block a user
Beispiel ImportTest liefert
class ImportTest{
Vector<String> var;
<C> void methode(C var2){
var.add(var2);
}
}
Für var2 darf aber nur String eingesetzt werden.
GenericParaListInsertTest PlugIn
Problem ist, dass GTVs auch noch in die Typvariablen Liste aufgenommen werden müssen.
Vereifachtes Beispiel
class GenericParaListInsertTest{ A methode(a){return a;} }
liefert
class …
In diesem Fall kann man in GTVTest2 für var2 folgendes einsetzen, was nicht stimmt
class GTVTest<GTV1>{
GTVTest2<String> var;
methode(){
return var.var2;
}
}
class GTVTest2<GTV2>{
GTV2 …
Folgendes Resultat liefret das PlugIn
class GenericParaListInsertTest{
<KTM, LVS extends KTM, KTN extends LVS, LVU extends MXZ > KTM methode(LVU a){return a;}
}
Das Ergbenis müsste LVU exte…
Fehler in Test GenericVarTest
Karthesisches Produkt der Constraints: [[ (Fun1< ? extends HZQ, ? super Fun1< BoGTV R1247600089, WildcardTest > > <. Fun1< ? extends HZQ, ? super Fun1< BoGTV R1247600089, WildcardTest > >), …
Als Return-Typ eines Lambda-Ausdrucks kann void derzeit nicht inferiert werden.
Problem HZQ und HZP werden als RefTypes angesehen.