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

Side by Side Diff: client/html/src/DocumentFragmentWrappingImplementation.dart

Issue 9127005: Properly type the clone method for Element and a few of its subclasses. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 8 years, 11 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 | « client/html/src/DocumentFragment.dart ('k') | client/html/src/Element.dart » ('j') | 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) 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 4
5 class FilteredElementList implements ElementList { 5 class FilteredElementList implements ElementList {
6 final Node _node; 6 final Node _node;
7 final NodeList _childNodes; 7 final NodeList _childNodes;
8 8
9 FilteredElementList(Node node): _childNodes = node.nodes, _node = node; 9 FilteredElementList(Node node): _childNodes = node.nodes, _node = node;
10 10
(...skipping 350 matching lines...) Expand 10 before | Expand all | Expand 10 after
361 361
362 void set title(String value) { 362 void set title(String value) {
363 throw new UnsupportedOperationException( 363 throw new UnsupportedOperationException(
364 "Title can't be set for document fragments."); 364 "Title can't be set for document fragments.");
365 } 365 }
366 366
367 void set webkitdropzone(String value) { 367 void set webkitdropzone(String value) {
368 throw new UnsupportedOperationException( 368 throw new UnsupportedOperationException(
369 "WebKit drop zone can't be set for document fragments."); 369 "WebKit drop zone can't be set for document fragments.");
370 } 370 }
371
372 DocumentFragment clone(bool deep) => super.clone(deep);
371 } 373 }
OLDNEW
« no previous file with comments | « client/html/src/DocumentFragment.dart ('k') | client/html/src/Element.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698