OLD | NEW |
1 #library('dom'); | 1 #library('dom'); |
2 | 2 |
3 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 3 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
4 // for details. All rights reserved. Use of this source code is governed by a | 4 // for details. All rights reserved. Use of this source code is governed by a |
5 // BSD-style license that can be found in the LICENSE file. | 5 // BSD-style license that can be found in the LICENSE file. |
6 | 6 |
7 // DO NOT EDIT | 7 // DO NOT EDIT |
8 // Auto-generated Dart DOM library. | 8 // Auto-generated Dart DOM library. |
9 | 9 |
10 | 10 |
(...skipping 1475 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1486 DOMSelectionJs getSelection() native; | 1486 DOMSelectionJs getSelection() native; |
1487 | 1487 |
1488 MediaQueryListJs matchMedia(String query) native; | 1488 MediaQueryListJs matchMedia(String query) native; |
1489 | 1489 |
1490 void moveBy(num x, num y) native; | 1490 void moveBy(num x, num y) native; |
1491 | 1491 |
1492 void moveTo(num x, num y) native; | 1492 void moveTo(num x, num y) native; |
1493 | 1493 |
1494 DOMWindowJs open(String url, String name, [String options = null]) native; | 1494 DOMWindowJs open(String url, String name, [String options = null]) native; |
1495 | 1495 |
| 1496 DatabaseJs openDatabase(String name, String version, String displayName, int e
stimatedSize, [DatabaseCallback creationCallback = null]) native; |
| 1497 |
1496 void postMessage(String message, String targetOrigin, [List messagePorts = nul
l]) native; | 1498 void postMessage(String message, String targetOrigin, [List messagePorts = nul
l]) native; |
1497 | 1499 |
1498 void print() native; | 1500 void print() native; |
1499 | 1501 |
1500 String prompt(String message, String defaultValue) native; | 1502 String prompt(String message, String defaultValue) native; |
1501 | 1503 |
1502 void releaseEvents() native; | 1504 void releaseEvents() native; |
1503 | 1505 |
1504 void removeEventListener(String type, EventListener listener, [bool useCapture
= null]) native; | 1506 void removeEventListener(String type, EventListener listener, [bool useCapture
= null]) native; |
1505 | 1507 |
(...skipping 13218 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
14724 DOMSelection getSelection(); | 14726 DOMSelection getSelection(); |
14725 | 14727 |
14726 MediaQueryList matchMedia(String query); | 14728 MediaQueryList matchMedia(String query); |
14727 | 14729 |
14728 void moveBy(num x, num y); | 14730 void moveBy(num x, num y); |
14729 | 14731 |
14730 void moveTo(num x, num y); | 14732 void moveTo(num x, num y); |
14731 | 14733 |
14732 DOMWindow open(String url, String name, [String options]); | 14734 DOMWindow open(String url, String name, [String options]); |
14733 | 14735 |
| 14736 Database openDatabase(String name, String version, String displayName, int est
imatedSize, [DatabaseCallback creationCallback]); |
| 14737 |
14734 void postMessage(String message, String targetOrigin, [List messagePorts]); | 14738 void postMessage(String message, String targetOrigin, [List messagePorts]); |
14735 | 14739 |
14736 void print(); | 14740 void print(); |
14737 | 14741 |
14738 String prompt(String message, String defaultValue); | 14742 String prompt(String message, String defaultValue); |
14739 | 14743 |
14740 void releaseEvents(); | 14744 void releaseEvents(); |
14741 | 14745 |
14742 void removeEventListener(String type, EventListener listener, [bool useCapture
]); | 14746 void removeEventListener(String type, EventListener listener, [bool useCapture
]); |
14743 | 14747 |
(...skipping 11994 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
26738 if (length < 0) throw new IllegalArgumentException('length'); | 26742 if (length < 0) throw new IllegalArgumentException('length'); |
26739 if (start < 0) throw new IndexOutOfRangeException(start); | 26743 if (start < 0) throw new IndexOutOfRangeException(start); |
26740 int end = start + length; | 26744 int end = start + length; |
26741 if (end > a.length) throw new IndexOutOfRangeException(end); | 26745 if (end > a.length) throw new IndexOutOfRangeException(end); |
26742 for (int i = start; i < end; i++) { | 26746 for (int i = start; i < end; i++) { |
26743 accumulator.add(a[i]); | 26747 accumulator.add(a[i]); |
26744 } | 26748 } |
26745 return accumulator; | 26749 return accumulator; |
26746 } | 26750 } |
26747 } | 26751 } |
OLD | NEW |