| OLD | NEW |
| 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 // DO NOT EDIT | 5 // DO NOT EDIT |
| 6 // Auto-generated dart:html library. | 6 // Auto-generated dart:html library. |
| 7 | 7 |
| 8 library html; | 8 library html; |
| 9 | 9 |
| 10 import 'dart:async'; |
| 10 import 'dart:collection'; | 11 import 'dart:collection'; |
| 11 import 'dart:html_common'; | 12 import 'dart:html_common'; |
| 12 import 'dart:indexed_db'; | 13 import 'dart:indexed_db'; |
| 13 import 'dart:isolate'; | 14 import 'dart:isolate'; |
| 14 import 'dart:json'; | 15 import 'dart:json' as json; |
| 15 import 'dart:nativewrappers'; | 16 import 'dart:nativewrappers'; |
| 16 // Not actually used, but imported since dart:html can generate these objects. | 17 // Not actually used, but imported since dart:html can generate these objects. |
| 17 import 'dart:svg' as svg; | 18 import 'dart:svg' as svg; |
| 18 import 'dart:web_audio' as web_audio; | 19 import 'dart:web_audio' as web_audio; |
| 19 | 20 |
| 20 $!GENERATED_DART_FILES | 21 $!GENERATED_DART_FILES |
| 21 | 22 |
| 22 part '$AUXILIARY_DIR/AttributeMap.dart'; | 23 part '$AUXILIARY_DIR/AttributeMap.dart'; |
| 23 part '$AUXILIARY_DIR/CrossFrameTypes.dart'; | 24 part '$AUXILIARY_DIR/CrossFrameTypes.dart'; |
| 24 part '$AUXILIARY_DIR/CssClassSet.dart'; | 25 part '$AUXILIARY_DIR/CssClassSet.dart'; |
| (...skipping 43 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 68 List<Element> queryAll(String selector) => document.queryAll(selector); | 69 List<Element> queryAll(String selector) => document.queryAll(selector); |
| 69 | 70 |
| 70 int _getNewIsolateId() => _Utils._getNewIsolateId(); | 71 int _getNewIsolateId() => _Utils._getNewIsolateId(); |
| 71 | 72 |
| 72 bool _callPortInitialized = false; | 73 bool _callPortInitialized = false; |
| 73 var _callPortLastResult = null; | 74 var _callPortLastResult = null; |
| 74 | 75 |
| 75 _callPortSync(num id, var message) { | 76 _callPortSync(num id, var message) { |
| 76 if (!_callPortInitialized) { | 77 if (!_callPortInitialized) { |
| 77 window.on['js-result'].add((event) { | 78 window.on['js-result'].add((event) { |
| 78 _callPortLastResult = JSON.parse(_getPortSyncEventData(event)); | 79 _callPortLastResult = json.parse(_getPortSyncEventData(event)); |
| 79 }, false); | 80 }, false); |
| 80 _callPortInitialized = true; | 81 _callPortInitialized = true; |
| 81 } | 82 } |
| 82 assert(_callPortLastResult == null); | 83 assert(_callPortLastResult == null); |
| 83 _dispatchEvent('js-sync-message', {'id': id, 'message': message}); | 84 _dispatchEvent('js-sync-message', {'id': id, 'message': message}); |
| 84 var result = _callPortLastResult; | 85 var result = _callPortLastResult; |
| 85 _callPortLastResult = null; | 86 _callPortLastResult = null; |
| 86 return result; | 87 return result; |
| 87 } | 88 } |
| OLD | NEW |