blob: f1523c57e72cd1508db3388378b00c3958a444cc [file] [log] [blame]
library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
class Super<T extends core::Object? = dynamic> extends core::Object {
synthetic constructor •() self::Super<self::Super::T%>
: super core::Object::•()
;
method method1(core::int a) void {}
method method2({core::int? a = #C1}) → void {}
method method3(core::int a) void {}
method method4(core::num a) void {}
method method5({core::int? a = #C1}) → void {}
method method6({core::num? a = #C1}) → void {}
method method7(covariant-by-class core::List<self::Super::T%> a) void {}
method method8({covariant-by-class core::List<self::Super::T%>? a = #C1}) → void {}
method method9(covariant-by-class core::List<self::Super::T%> a) void {}
method method10(covariant-by-class core::Iterable<self::Super::T%> a) void {}
method method11({covariant-by-class core::List<self::Super::T%>? a = #C1}) → void {}
method method12({covariant-by-class core::Iterable<self::Super::T%>? a = #C1}) → void {}
set setter1(core::int a) void {}
set setter2(core::num a) void {}
set setter3(covariant-by-class core::List<self::Super::T%> a) void {}
set setter4(covariant-by-class core::Iterable<self::Super::T%> a) void {}
}
class Interface<T extends core::Object? = dynamic> extends core::Object {
synthetic constructor •() self::Interface<self::Interface::T%>
: super core::Object::•()
;
method method1(covariant-by-declaration core::num a) void {}
method method2({covariant-by-declaration core::num? a = #C1}) → void {}
method method7(covariant-by-declaration covariant-by-class core::Iterable<self::Interface::T%> a) void {}
method method8({covariant-by-declaration covariant-by-class core::Iterable<self::Interface::T%>? a = #C1}) → void {}
set setter1(covariant-by-declaration core::num a) void {}
set setter3(covariant-by-declaration covariant-by-class core::Iterable<self::Interface::T%> a) void {}
}
abstract class Class<T extends core::Object? = dynamic> extends self::Super<self::Class::T%> implements self::Interface<self::Class::T%> {
synthetic constructor •() self::Class<self::Class::T%>
: super self::Super::•()
;
forwarding-stub forwarding-semi-stub method /* signature-type: (core::num) → void */ method3(covariant-by-declaration core::int a) void
return super.{self::Super::method3}(a);
forwarding-stub forwarding-semi-stub method /* signature-type: (core::int) → void */ method4(covariant-by-declaration core::num a) void
return super.{self::Super::method4}(a);
forwarding-stub forwarding-semi-stub method /* signature-type: ({a: core::num?}) → void */ method5({covariant-by-declaration core::int? a = #C1}) → void
return super.{self::Super::method5}(a: a);
forwarding-stub forwarding-semi-stub method /* signature-type: ({a: core::int?}) → void */ method6({covariant-by-declaration core::num? a = #C1}) → void
return super.{self::Super::method6}(a: a);
forwarding-stub forwarding-semi-stub method /* signature-type: (core::Iterable<self::Class::T%>) → void */ method9(covariant-by-declaration covariant-by-class core::List<self::Class::T%> a) void
return super.{self::Super::method9}(a);
forwarding-stub forwarding-semi-stub method /* signature-type: (core::List<self::Class::T%>) → void */ method10(covariant-by-declaration covariant-by-class core::Iterable<self::Class::T%> a) void
return super.{self::Super::method10}(a);
forwarding-stub forwarding-semi-stub method /* signature-type: ({a: core::Iterable<self::Class::T%>?}) → void */ method11({covariant-by-declaration covariant-by-class core::List<self::Class::T%>? a = #C1}) → void
return super.{self::Super::method11}(a: a);
forwarding-stub forwarding-semi-stub method /* signature-type: ({a: core::List<self::Class::T%>?}) → void */ method12({covariant-by-declaration covariant-by-class core::Iterable<self::Class::T%>? a = #C1}) → void
return super.{self::Super::method12}(a: a);
forwarding-stub forwarding-semi-stub set /* signature-type: (core::int) → void */ setter2(covariant-by-declaration core::num a) void
return super.{self::Super::setter2} = a;
forwarding-stub forwarding-semi-stub set /* signature-type: (core::List<self::Class::T%>) → void */ setter4(covariant-by-declaration covariant-by-class core::Iterable<self::Class::T%> a) void
return super.{self::Super::setter4} = a;
forwarding-stub method method1(covariant-by-declaration core::num a) void
return super.{self::Super::method1}(a as core::int);
forwarding-stub method method2({covariant-by-declaration core::num? a = #C1}) → void
return super.{self::Super::method2}(a: a as core::int?);
forwarding-stub method method7(covariant-by-declaration covariant-by-class core::Iterable<self::Class::T%> a) void
return super.{self::Super::method7}(a as core::List<self::Class::T%>);
forwarding-stub method method8({covariant-by-declaration covariant-by-class core::Iterable<self::Class::T%>? a = #C1}) → void
return super.{self::Super::method8}(a: a as core::List<self::Class::T%>?);
forwarding-stub set setter1(covariant-by-declaration core::num a) void
return super.{self::Super::setter1} = a as core::int;
forwarding-stub set setter3(covariant-by-declaration covariant-by-class core::Iterable<self::Class::T%> a) void
return super.{self::Super::setter3} = a as core::List<self::Class::T%>;
}
class Subclass<T extends core::Object? = dynamic> extends self::Class<self::Subclass::T%> {
synthetic constructor •() self::Subclass<self::Subclass::T%>
: super self::Class::•()
;
method method1(covariant-by-declaration core::num a) void {}
method method2({covariant-by-declaration core::num? a = #C1}) → void {}
method method3(covariant-by-declaration core::num a) void {}
method method4(covariant-by-declaration core::num a) void {}
method method5({covariant-by-declaration core::num? a = #C1}) → void {}
method method6({covariant-by-declaration core::num? a = #C1}) → void {}
method method7(covariant-by-declaration covariant-by-class core::Iterable<self::Subclass::T%> a) void {}
method method8({covariant-by-declaration covariant-by-class core::Iterable<self::Subclass::T%>? a = #C1}) → void {}
method method9(covariant-by-declaration covariant-by-class core::Iterable<self::Subclass::T%> a) void {}
method method10(covariant-by-declaration covariant-by-class core::Iterable<self::Subclass::T%> a) void {}
method method11({covariant-by-declaration covariant-by-class core::Iterable<self::Subclass::T%>? a = #C1}) → void {}
method method12({covariant-by-declaration covariant-by-class core::Iterable<self::Subclass::T%>? a = #C1}) → void {}
set setter1(covariant-by-declaration core::num a) void {}
set setter2(covariant-by-declaration core::num a) void {}
set setter3(covariant-by-declaration covariant-by-class core::Iterable<self::Subclass::T%> a) void {}
set setter4(covariant-by-declaration covariant-by-class core::Iterable<self::Subclass::T%> a) void {}
}
static method main() dynamic {}
constants {
#C1 = null
}