OLD | NEW |
1 library; | 1 library; |
2 import self as self; | 2 import self as self; |
3 import "dart:core" as core; | 3 import "dart:core" as core; |
4 import "./mixin_library.dart" as mix; | 4 import "./mixin_library.dart" as mix; |
5 | 5 |
6 class Super<S extends core::Object> extends core::Object { | 6 class Super<S extends core::Object> extends core::Object { |
7 constructor •() → void | 7 default constructor •() → void |
8 : super core::Object::•() | 8 : super core::Object::•() |
9 ; | 9 ; |
10 method foo() → dynamic | 10 method foo() → dynamic |
11 return 40; | 11 return 40; |
12 method f() → dynamic | 12 method f() → dynamic |
13 return 3; | 13 return 3; |
14 } | 14 } |
15 abstract class Super&Mixin^#T0^#T0<#T0 extends core::Object> = self::Super<self:
:Super&Mixin^#T0^#T0::#T0> with mix::Mixin<self::Super&Mixin^#T0^#T0::#T0> { | 15 abstract class Super&Mixin^#T0^#T0<#T0 extends core::Object> = self::Super<self:
:Super&Mixin^#T0^#T0::#T0> with mix::Mixin<self::Super&Mixin^#T0^#T0::#T0> { |
16 } | 16 } |
17 class C<V extends core::Object> extends self::Super&Mixin^#T0^#T0<self::C::V> { | 17 class C<V extends core::Object> extends self::Super&Mixin^#T0^#T0<self::C::V> { |
18 constructor •() → void | 18 default constructor •() → void |
19 : super self::Super::•() | 19 : super self::Super::•() |
20 ; | 20 ; |
21 } | 21 } |
22 abstract class Super&Mixin = self::Super<dynamic> with mix::Mixin<dynamic> { | 22 abstract class Super&Mixin = self::Super<dynamic> with mix::Mixin<dynamic> { |
23 } | 23 } |
24 class D extends self::Super&Mixin { | 24 class D extends self::Super&Mixin { |
25 constructor •() → void | 25 default constructor •() → void |
26 : super self::Super::•() | 26 : super self::Super::•() |
27 ; | 27 ; |
28 } | 28 } |
29 class C2<V extends core::Object> = self::Super<self::C2::V> with mix::Mixin<self
::C2::V> { | 29 class C2<V extends core::Object> = self::Super<self::C2::V> with mix::Mixin<self
::C2::V> { |
30 constructor •() → void | 30 constructor •() → void |
31 : super self::Super::•() | 31 : super self::Super::•() |
32 ; | 32 ; |
33 } | 33 } |
34 class D2 = self::Super<dynamic> with mix::Mixin<dynamic> { | 34 class D2 = self::Super<dynamic> with mix::Mixin<dynamic> { |
35 constructor •() → void | 35 constructor •() → void |
36 : super self::Super::•() | 36 : super self::Super::•() |
37 ; | 37 ; |
38 } | 38 } |
39 static method main() → dynamic { | 39 static method main() → dynamic { |
40 core::print(new self::C::•<dynamic>().{mix::Mixin::foo}()); | 40 core::print(new self::C::•<dynamic>().{mix::Mixin::foo}()); |
41 core::print(new self::C2::•<dynamic>().{mix::Mixin::foo}()); | 41 core::print(new self::C2::•<dynamic>().{mix::Mixin::foo}()); |
42 } | 42 } |
OLD | NEW |