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 | 4 |
| 5 abstract class Object&M1 extends core::Object implements self::M1 { |
| 6 constructor •() → void |
| 7 : super core::Object::•() |
| 8 ; |
| 9 method m() → dynamic |
| 10 return core::print("M1"); |
| 11 } |
| 12 abstract class Object&M1&M2 extends self::Object&M1 implements self::M2 { |
| 13 constructor •() → void |
| 14 : super self::Object&M1::•() |
| 15 ; |
| 16 method m() → dynamic |
| 17 return core::print("M2"); |
| 18 } |
5 class B extends self::Object&M1&M2 { | 19 class B extends self::Object&M1&M2 { |
6 constructor •(dynamic value) → void | 20 constructor •(dynamic value) → void |
7 : super self::Object&M1&M2::•() | 21 : super self::Object&M1&M2::•() |
8 ; | 22 ; |
9 } | 23 } |
10 abstract class M1 extends core::Object { | 24 abstract class M1 extends core::Object { |
11 constructor •() → void | 25 constructor •() → void |
12 : super core::Object::•() | 26 : super core::Object::•() |
13 ; | 27 ; |
14 method m() → dynamic | 28 method m() → dynamic |
(...skipping 11 matching lines...) Expand all Loading... |
26 : super self::Object&M1&M2::•() | 40 : super self::Object&M1&M2::•() |
27 ; | 41 ; |
28 } | 42 } |
29 abstract class G1<T extends core::Object> extends core::Object { | 43 abstract class G1<T extends core::Object> extends core::Object { |
30 constructor •() → void | 44 constructor •() → void |
31 : super core::Object::•() | 45 : super core::Object::•() |
32 ; | 46 ; |
33 method m() → dynamic | 47 method m() → dynamic |
34 return core::print(self::G1::T); | 48 return core::print(self::G1::T); |
35 } | 49 } |
36 class D<S extends core::Object> extends self::D^G1<self::D::S> { | 50 abstract class Object&G1^^#T0<#T0 extends core::Object> extends core::Object imp
lements self::G1<self::Object&G1^^#T0::#T0> { |
37 constructor •() → void | |
38 : super self::D^G1::•() | |
39 ; | |
40 } | |
41 abstract class Object&M1 extends core::Object implements self::M1 { | |
42 constructor •() → void | 51 constructor •() → void |
43 : super core::Object::•() | 52 : super core::Object::•() |
44 ; | 53 ; |
45 method m() → dynamic | 54 method m() → dynamic |
46 return core::print("M1"); | 55 return core::print(self::Object&G1^^#T0::#T0); |
47 } | 56 } |
48 abstract class Object&M1&M2 extends self::Object&M1 implements self::M2 { | 57 class D<S extends core::Object> extends self::Object&G1^^#T0<self::D::S> { |
49 constructor •() → void | 58 constructor •() → void |
50 : super self::Object&M1::•() | 59 : super self::Object&G1^^#T0::•() |
51 ; | 60 ; |
52 method m() → dynamic | |
53 return core::print("M2"); | |
54 } | |
55 abstract class D^G1<S extends core::Object> extends core::Object implements self
::G1<self::D^G1::S> { | |
56 constructor •() → void | |
57 : super core::Object::•() | |
58 ; | |
59 method m() → dynamic | |
60 return core::print(self::D^G1::S); | |
61 } | 61 } |
62 static method main() → dynamic { | 62 static method main() → dynamic { |
63 new self::B::•(null).m(); | 63 new self::B::•(null).m(); |
64 new self::C::•(null).m(); | 64 new self::C::•(null).m(); |
65 new self::D::•<dynamic>().m(); | 65 new self::D::•<dynamic>().m(); |
66 new self::D::•<core::int>().m(); | 66 new self::D::•<core::int>().m(); |
67 new self::D::•<core::List<core::int>>().m(); | 67 new self::D::•<core::List<core::int>>().m(); |
68 } | 68 } |
OLD | NEW |