| // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| // Fake dart:html library for documentation. |
| |
| /// The Dart HTML5 Library. |
| library dart.html; |
| |
| part 'interface/AbstractWorker.dartdoc'; |
| part 'interface/Element.dartdoc'; |
| part 'interface/Event.dartdoc'; |
| part 'interface/EventTarget.dartdoc'; |
| part 'interface/HttpRequest.dartdoc'; |
| part 'interface/MouseEvent.dartdoc'; |
| part 'interface/Storage.dartdoc'; |
| part 'interface/Node.dartdoc'; |
| part 'interface/UIEvent.dartdoc'; |
| part 'interface/WebSocket.dartdoc'; |
| |
| // Implementation files that appear to be necessary to load the sources. |
| |
| //part 'nodoc-src/SomeFile.dart'; |
| |
| // Global definitions. |
| |
| /** |
| * The top-level Window object. |
| */ |
| Window get window() => null; |
| |
| /** |
| * The top-level Document object. |
| */ |
| Document get document() => null; |
| |
| typedef void EventListener(Event event); |