OLD | NEW |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 // VMOptions=--enable_type_checks --enable_asserts | 4 // VMOptions=--enable_type_checks --enable_asserts |
5 | 5 |
6 interface Link<T> extends Iterable<T> factory LinkFactory<T> { | 6 interface Link<T> extends Iterable<T> factory LinkFactory<T> { |
7 Link(T head, [Link<T> tail]); | 7 Link(T head, [Link<T> tail]); |
8 Link<T> prepend(T element); | 8 Link<T> prepend(T element); |
9 } | 9 } |
10 | 10 |
11 interface EmptyLink<T> extends Link<T> factory LinkTail<T> { | 11 interface EmptyLink<T> extends Link<T> default LinkTail<T> { |
12 const EmptyLink(); | 12 const EmptyLink(); |
13 } | 13 } |
14 | 14 |
15 class LinkFactory<T> { | 15 class LinkFactory<T> { |
16 factory Link(head, [Link tail]) { | 16 factory Link(T head, [Link<T> tail]) { |
17 return new LinkEntry<T>(head, tail); | 17 return new LinkEntry<T>(head, tail); |
18 } | 18 } |
19 } | 19 } |
20 | 20 |
21 class AbstractLink<T> implements Link<T> { | 21 class AbstractLink<T> implements Link<T> { |
22 const AbstractLink(); | 22 const AbstractLink(); |
23 Link<T> prepend(T element) { | 23 Link<T> prepend(T element) { |
24 print("$element"); | 24 print("$element"); |
25 if (0 is T) { | 25 if (0 is T) { |
26 throw "0 is not a T"; | 26 throw "0 is not a T"; |
(...skipping 14 matching lines...) Expand all Loading... |
41 Link<Fisk> nodes = const EmptyLink<Fisk>(); | 41 Link<Fisk> nodes = const EmptyLink<Fisk>(); |
42 final int id; | 42 final int id; |
43 Fisk(this.id); | 43 Fisk(this.id); |
44 toString() => id.toString(); | 44 toString() => id.toString(); |
45 } | 45 } |
46 | 46 |
47 main() { | 47 main() { |
48 new Fisk(0).nodes.prepend(new Fisk(1)).prepend(new Fisk(2)); | 48 new Fisk(0).nodes.prepend(new Fisk(1)).prepend(new Fisk(2)); |
49 } | 49 } |
50 | 50 |
OLD | NEW |