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 8003 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
8014 | 8014 |
8015 /** @domName Event.defaultPrevented */ | 8015 /** @domName Event.defaultPrevented */ |
8016 final bool defaultPrevented; | 8016 final bool defaultPrevented; |
8017 | 8017 |
8018 /** @domName Event.eventPhase */ | 8018 /** @domName Event.eventPhase */ |
8019 final int eventPhase; | 8019 final int eventPhase; |
8020 | 8020 |
8021 /** @domName Event.returnValue */ | 8021 /** @domName Event.returnValue */ |
8022 bool returnValue; | 8022 bool returnValue; |
8023 | 8023 |
8024 /** @domName Event.srcElement */ | |
8025 EventTarget get srcElement => _convertNativeToDart_EventTarget(this._srcElemen
t); | |
8026 dynamic get _srcElement => JS("dynamic", "#.srcElement", this); | |
8027 | |
8028 /** @domName Event.target */ | 8024 /** @domName Event.target */ |
8029 EventTarget get target => _convertNativeToDart_EventTarget(this._target); | 8025 EventTarget get target => _convertNativeToDart_EventTarget(this._target); |
8030 dynamic get _target => JS("dynamic", "#.target", this); | 8026 dynamic get _target => JS("dynamic", "#.target", this); |
8031 | 8027 |
8032 /** @domName Event.timeStamp */ | 8028 /** @domName Event.timeStamp */ |
8033 final int timeStamp; | 8029 final int timeStamp; |
8034 | 8030 |
8035 /** @domName Event.type */ | 8031 /** @domName Event.type */ |
8036 final String type; | 8032 final String type; |
8037 | 8033 |
(...skipping 16806 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
24844 if (length < 0) throw new ArgumentError('length'); | 24840 if (length < 0) throw new ArgumentError('length'); |
24845 if (start < 0) throw new RangeError.value(start); | 24841 if (start < 0) throw new RangeError.value(start); |
24846 int end = start + length; | 24842 int end = start + length; |
24847 if (end > a.length) throw new RangeError.value(end); | 24843 if (end > a.length) throw new RangeError.value(end); |
24848 for (int i = start; i < end; i++) { | 24844 for (int i = start; i < end; i++) { |
24849 accumulator.add(a[i]); | 24845 accumulator.add(a[i]); |
24850 } | 24846 } |
24851 return accumulator; | 24847 return accumulator; |
24852 } | 24848 } |
24853 } | 24849 } |
OLD | NEW |