| OLD | NEW |
| 1 library html; | 1 library html; |
| 2 | 2 |
| 3 import 'dart:isolate'; | 3 import 'dart:isolate'; |
| 4 import 'dart:json'; | 4 import 'dart:json'; |
| 5 import 'dart:svg' as svg; | 5 import 'dart:svg' as svg; |
| 6 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 6 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 7 // for details. All rights reserved. Use of this source code is governed by a | 7 // for details. All rights reserved. Use of this source code is governed by a |
| 8 // BSD-style license that can be found in the LICENSE file. | 8 // BSD-style license that can be found in the LICENSE file. |
| 9 | 9 |
| 10 // DO NOT EDIT | 10 // DO NOT EDIT |
| (...skipping 7200 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 7211 const _SimpleClientRect(this.left, this.top, this.width, this.height); | 7211 const _SimpleClientRect(this.left, this.top, this.width, this.height); |
| 7212 | 7212 |
| 7213 bool operator ==(ClientRect other) { | 7213 bool operator ==(ClientRect other) { |
| 7214 return other != null && left == other.left && top == other.top | 7214 return other != null && left == other.left && top == other.top |
| 7215 && width == other.width && height == other.height; | 7215 && width == other.width && height == other.height; |
| 7216 } | 7216 } |
| 7217 | 7217 |
| 7218 String toString() => "($left, $top, $width, $height)"; | 7218 String toString() => "($left, $top, $width, $height)"; |
| 7219 } | 7219 } |
| 7220 | 7220 |
| 7221 class Element extends Node implements ElementTraversal native "*Element" { | 7221 abstract class Element extends Node implements ElementTraversal native "*Element
" { |
| 7222 | 7222 |
| 7223 factory Element.html(String html) => | 7223 factory Element.html(String html) => |
| 7224 _ElementFactoryProvider.createElement_html(html); | 7224 _ElementFactoryProvider.createElement_html(html); |
| 7225 factory Element.tag(String tag) => | 7225 factory Element.tag(String tag) => |
| 7226 _ElementFactoryProvider.createElement_tag(tag); | 7226 _ElementFactoryProvider.createElement_tag(tag); |
| 7227 | 7227 |
| 7228 /** | 7228 /** |
| 7229 * @domName Element.hasAttribute, Element.getAttribute, Element.setAttribute, | 7229 * @domName Element.hasAttribute, Element.getAttribute, Element.setAttribute, |
| 7230 * Element.removeAttribute | 7230 * Element.removeAttribute |
| 7231 */ | 7231 */ |
| (...skipping 17622 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 24854 if (length < 0) throw new ArgumentError('length'); | 24854 if (length < 0) throw new ArgumentError('length'); |
| 24855 if (start < 0) throw new RangeError.value(start); | 24855 if (start < 0) throw new RangeError.value(start); |
| 24856 int end = start + length; | 24856 int end = start + length; |
| 24857 if (end > a.length) throw new RangeError.value(end); | 24857 if (end > a.length) throw new RangeError.value(end); |
| 24858 for (int i = start; i < end; i++) { | 24858 for (int i = start; i < end; i++) { |
| 24859 accumulator.add(a[i]); | 24859 accumulator.add(a[i]); |
| 24860 } | 24860 } |
| 24861 return accumulator; | 24861 return accumulator; |
| 24862 } | 24862 } |
| 24863 } | 24863 } |
| OLD | NEW |