Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(158)

Side by Side Diff: tests/language/factory2_test.dart

Issue 10660030: Remove warning about instantiating an abstract class without implementing a member (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 8 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerTest.java ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2012, 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 4
5 // Dart test program for testing default keyword on interfaces 5 // Dart test program for testing default keyword on interfaces
6 // Test case for issues 500 and 512 6 // Test case for issues 500 and 512
7 7
8 interface Link<T> extends Iterable<T> default LinkFactory<T> { 8 interface Link<T> extends Iterable<T> default LinkFactory<T> {
9 // does not match constructor for LinkFactory 9 // does not match constructor for LinkFactory
10 Link(T head, [Link<T> tail]); /// static type warning 10 Link(T head, [Link<T> tail]); /// static type warning
11 Link<T> prepend(T element); 11 Link<T> prepend(T element);
12 } 12 }
13 13
14 interface EmptyLink<T> extends Link<T> default LinkTail<T> { 14 interface EmptyLink<T> extends Link<T> default LinkTail<T> {
15 const EmptyLink(); 15 const EmptyLink();
16 } 16 }
17 17
18 class LinkFactory<T> { 18 class LinkFactory<T> {
19 factory Link(head, [Link tail]) { 19 factory Link(head, [Link tail]) {
20 } 20 }
21 } 21 }
22 22
23 // Does not implement all of Iterable 23 // Does not implement all of Iterable
24 class AbstractLink<T> implements Link<T> { /// static type warning 24 class AbstractLink<T> implements Link<T> {
25 const AbstractLink(); 25 const AbstractLink();
26 Link<T> prepend(T element) { 26 Link<T> prepend(T element) {
27 return new Link<T>(element, this); 27 return new Link<T>(element, this);
28 } 28 }
29 } 29 }
30 30
31 // Does not implement all of Iterable 31 // Does not implement all of Iterable
32 class LinkTail<T> extends AbstractLink<T> /// static type warning 32 class LinkTail<T> extends AbstractLink<T>
33 implements EmptyLink<T> { 33 implements EmptyLink<T> {
34 const LinkTail(); 34 const LinkTail();
35 } 35 }
36 36
37 // Does not implement all of Iterable 37 // Does not implement all of Iterable
38 class LinkEntry<T> extends AbstractLink<T> { /// static type warning 38 class LinkEntry<T> extends AbstractLink<T> {
39 LinkEntry(T head, Link<T> realTail); 39 LinkEntry(T head, Link<T> realTail);
40 } 40 }
41 41
42 class Fisk { 42 class Fisk {
43 // instantiation of abstract class 43 // instantiation of abstract class
44 Link<String> nodes = const EmptyLink(); /// static type warning 44 Link<String> nodes = const EmptyLink(); /// static type warning
45 } 45 }
46 46
47 main() { 47 main() {
48 new Fisk(); 48 new Fisk();
49 // instantiation of abstract class 49 // instantiation of abstract class
50 new EmptyLink<String>().prepend('hest'); /// static type warning 50 new EmptyLink<String>().prepend('hest'); /// static type warning
51 // instantiation of abstract class 51 // instantiation of abstract class
52 const EmptyLink<String>().prepend('fisk'); /// static type warning 52 const EmptyLink<String>().prepend('fisk'); /// static type warning
53 } 53 }
54 54
OLDNEW
« no previous file with comments | « compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerTest.java ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698