| library; |
| import self as self; |
| import "dart:core" as core; |
| |
| class C<T extends core::Object* = dynamic> extends core::Object { |
| generic-covariant-impl field self::C::T* field1; |
| generic-covariant-impl field () →* self::C::T* field2; |
| field (self::C::T*) →* void field3; |
| generic-covariant-impl field (self::C::T*) →* self::C::T* field4; |
| generic-covariant-impl field () →* () →* self::C::T* field5; |
| field (() →* self::C::T*) →* void field6; |
| generic-covariant-impl field (() →* self::C::T*) →* self::C::T* field7; |
| generic-covariant-impl field ((self::C::T*) →* void) →* void field8; |
| generic-covariant-impl field ((self::C::T*) →* void) →* self::C::T* field9; |
| generic-covariant-impl field ((self::C::T*) →* self::C::T*) →* void field10; |
| generic-covariant-impl field ((self::C::T*) →* self::C::T*) →* self::C::T* field11; |
| generic-covariant-impl field <S extends self::C::T* = dynamic>() →* S* field12; |
| generic-covariant-impl field <S extends self::C::T* = dynamic>(S*) →* void field13; |
| generic-covariant-impl field <S extends self::C::T* = dynamic>(S*) →* S* field14; |
| generic-covariant-impl field (<S extends self::C::T* = dynamic>() →* S*) →* void field15; |
| constructor •(self::C::T* field1) → self::C<self::C::T*>* |
| : self::C::field1 = field1, self::C::field2 = () → dynamic => field1, self::C::field3 = (self::C::T* t) → dynamic {}, self::C::field4 = (self::C::T* t) → dynamic => t, self::C::field5 = () → dynamic => () → dynamic => field1, self::C::field6 = (() →* self::C::T* f) → dynamic {}, self::C::field7 = (() →* self::C::T* f) → dynamic => field1, self::C::field8 = ((self::C::T*) →* void f) → dynamic {}, self::C::field9 = ((self::C::T*) →* void f) → dynamic => field1, self::C::field10 = ((self::C::T*) →* self::C::T* f) → dynamic {}, self::C::field11 = ((self::C::T*) →* self::C::T* f) → dynamic => field1, self::C::field12 = <S extends self::C::T* = dynamic>() → dynamic => null, self::C::field13 = <S extends self::C::T* = dynamic>(S* s) → dynamic {}, self::C::field14 = <S extends self::C::T* = dynamic>(S* s) → dynamic => s, self::C::field15 = (<S extends self::C::T* = dynamic>() →* S* f) → dynamic {}, super core::Object::•() |
| ; |
| get getter1() → self::C::T* |
| return this.{self::C::field1}; |
| get getter2() → () →* self::C::T* |
| return this.{self::C::field2}; |
| get getter3() → (self::C::T*) →* void |
| return this.{self::C::field3}; |
| get getter4() → (self::C::T*) →* self::C::T* |
| return this.{self::C::field4}; |
| get getter5() → () →* () →* self::C::T* |
| return this.{self::C::field5}; |
| get getter6() → (() →* self::C::T*) →* void |
| return this.{self::C::field6}; |
| get getter7() → (() →* self::C::T*) →* self::C::T* |
| return this.{self::C::field7}; |
| get getter8() → ((self::C::T*) →* void) →* void |
| return this.{self::C::field8}; |
| get getter9() → ((self::C::T*) →* void) →* self::C::T* |
| return this.{self::C::field9}; |
| get getter10() → ((self::C::T*) →* self::C::T*) →* void |
| return this.{self::C::field10}; |
| get getter11() → ((self::C::T*) →* self::C::T*) →* self::C::T* |
| return this.{self::C::field11}; |
| get getter12() → <S extends self::C::T* = dynamic>() →* S* |
| return this.{self::C::field12}; |
| get getter13() → <S extends self::C::T* = dynamic>(S*) →* void |
| return this.{self::C::field13}; |
| get getter14() → <S extends self::C::T* = dynamic>(S*) →* S* |
| return this.{self::C::field14}; |
| get getter15() → (<S extends self::C::T* = dynamic>() →* S*) →* void |
| return this.{self::C::field15}; |
| set setter1(generic-covariant-impl self::C::T* value) → void { |
| this.{self::C::field1} = value; |
| } |
| set setter2(generic-covariant-impl () →* self::C::T* value) → void { |
| this.{self::C::field2} = value; |
| } |
| set setter3((self::C::T*) →* void value) → void { |
| this.{self::C::field3} = value; |
| } |
| set setter4(generic-covariant-impl (self::C::T*) →* self::C::T* value) → void { |
| this.{self::C::field4} = value; |
| } |
| set setter5(generic-covariant-impl () →* () →* self::C::T* value) → void { |
| this.{self::C::field5} = value; |
| } |
| set setter6((() →* self::C::T*) →* void value) → void { |
| this.{self::C::field6} = value; |
| } |
| set setter7(generic-covariant-impl (() →* self::C::T*) →* self::C::T* value) → void { |
| this.{self::C::field7} = value; |
| } |
| set setter8(generic-covariant-impl ((self::C::T*) →* void) →* void value) → void { |
| this.{self::C::field8} = value; |
| } |
| set setter9(generic-covariant-impl ((self::C::T*) →* void) →* self::C::T* value) → void { |
| this.{self::C::field9} = value; |
| } |
| set setter10(generic-covariant-impl ((self::C::T*) →* self::C::T*) →* void value) → void { |
| this.{self::C::field10} = value; |
| } |
| set setter11(generic-covariant-impl ((self::C::T*) →* self::C::T*) →* self::C::T* value) → void { |
| this.{self::C::field11} = value; |
| } |
| set setter12(generic-covariant-impl <S extends self::C::T* = dynamic>() →* S* value) → void { |
| this.{self::C::field12} = value; |
| } |
| set setter13(generic-covariant-impl <S extends self::C::T* = dynamic>(S*) →* void value) → void { |
| this.{self::C::field13} = value; |
| } |
| set setter14(generic-covariant-impl <S extends self::C::T* = dynamic>(S*) →* S* value) → void { |
| this.{self::C::field14} = value; |
| } |
| set setter15(generic-covariant-impl (<S extends self::C::T* = dynamic>() →* S*) →* void value) → void { |
| this.{self::C::field15} = value; |
| } |
| method method1(generic-covariant-impl self::C::T* value) → void { |
| this.{self::C::field1} = value; |
| } |
| method method2(generic-covariant-impl () →* self::C::T* value) → void { |
| this.{self::C::field2} = value; |
| } |
| method method3((self::C::T*) →* void value) → void { |
| this.{self::C::field3} = value; |
| } |
| method method4(generic-covariant-impl (self::C::T*) →* self::C::T* value) → void { |
| this.{self::C::field4} = value; |
| } |
| method method5(generic-covariant-impl () →* () →* self::C::T* value) → void { |
| this.{self::C::field5} = value; |
| } |
| method method6((() →* self::C::T*) →* void value) → void { |
| this.{self::C::field6} = value; |
| } |
| method method7(generic-covariant-impl (() →* self::C::T*) →* self::C::T* value) → void { |
| this.{self::C::field7} = value; |
| } |
| method method8(generic-covariant-impl ((self::C::T*) →* void) →* void value) → void { |
| this.{self::C::field8} = value; |
| } |
| method method9(generic-covariant-impl ((self::C::T*) →* void) →* self::C::T* value) → void { |
| this.{self::C::field9} = value; |
| } |
| method method10(generic-covariant-impl ((self::C::T*) →* self::C::T*) →* void value) → void { |
| this.{self::C::field10} = value; |
| } |
| method method11(generic-covariant-impl ((self::C::T*) →* self::C::T*) →* self::C::T* value) → void { |
| this.{self::C::field11} = value; |
| } |
| method method12(generic-covariant-impl <S extends self::C::T* = dynamic>() →* S* value) → void { |
| this.{self::C::field12} = value; |
| } |
| method method13(generic-covariant-impl <S extends self::C::T* = dynamic>(S*) →* void value) → void { |
| this.{self::C::field13} = value; |
| } |
| method method14(generic-covariant-impl <S extends self::C::T* = dynamic>(S*) →* S* value) → void { |
| this.{self::C::field14} = value; |
| } |
| method method15(generic-covariant-impl (<S extends self::C::T* = dynamic>() →* S*) →* void value) → void { |
| this.{self::C::field15} = value; |
| } |
| } |
| static method main() → dynamic { |
| self::C<core::num*>* c = new self::C::•<core::int*>(0); |
| c.field1; |
| c.field2; |
| try { |
| c.field3; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.field4; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| c.field5; |
| try { |
| c.field6; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.field7; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| c.field8; |
| c.field9; |
| try { |
| c.field10; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.field11; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.field12; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.field13; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.field14; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.field15; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| c.getter1; |
| c.getter2; |
| try { |
| c.getter3; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.getter4; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| c.getter5; |
| try { |
| c.getter6; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.getter7; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| c.getter8; |
| c.getter9; |
| try { |
| c.getter10; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.getter11; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.getter12; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.getter13; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.getter14; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.getter15; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.setter1 = 0.5; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.setter2 = () → dynamic => 0.5; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| c.setter3 = (core::num* n) → dynamic {}; |
| try { |
| c.setter4 = (core::num* n) → dynamic => 0.5; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.setter5 = () → dynamic => () → dynamic => 0.5; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| c.setter6 = (() →* core::num* f) → dynamic {}; |
| try { |
| c.setter7 = (() →* core::num* f) → dynamic => 0.5; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.setter8 = ((core::double*) →* void f) → dynamic {}; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.setter9 = ((core::double*) →* void f) → dynamic => 0.5; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.setter10 = ((core::double*) →* core::num* f) → dynamic {}; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.setter11 = ((core::double*) →* core::num* f) → dynamic => 0.5; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.setter12 = <S extends core::num* = dynamic>() → dynamic => null; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.setter13 = <S extends core::num* = dynamic>(S* s) → dynamic {}; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.setter14 = <S extends core::num* = dynamic>(S* s) → dynamic => s; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.setter15 = (<S extends core::num* = dynamic>() →* S* f) → dynamic {}; |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.method1(0.5); |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.method2(() → dynamic => 0.5); |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| c.method3((core::num* n) → dynamic {}); |
| try { |
| c.method4((core::num* n) → dynamic => 0.5); |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.method5(() → dynamic => () → dynamic => 0.5); |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| c.method6((() →* core::num* f) → dynamic {}); |
| try { |
| c.method7((() →* core::num* f) → dynamic => 0.5); |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.method8(((core::double*) →* void f) → dynamic {}); |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.method9(((core::double*) →* void f) → dynamic => 0.5); |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.method10(((core::double*) →* core::num* f) → dynamic {}); |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.method11(((core::double*) →* core::num* f) → dynamic => 0.5); |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.method12(<S extends core::num* = dynamic>() → dynamic => null); |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.method13(<S extends core::num* = dynamic>(S* s) → dynamic {}); |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.method14(<S extends core::num* = dynamic>(S* s) → dynamic => s); |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| try { |
| c.method15((<S extends core::num* = dynamic>() →* S* f) → dynamic {}); |
| throw "TypeError expected"; |
| } |
| on core::TypeError* catch(final core::TypeError* e) { |
| core::print(e); |
| } |
| } |