Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1109)

Unified Diff: tools/dom/idl/dart/dart.idl

Issue 1894713002: Strong html (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: ptal Created 4 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « tests/html/events_test.dart ('k') | tools/dom/scripts/htmleventgenerator.py » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: tools/dom/idl/dart/dart.idl
diff --git a/tools/dom/idl/dart/dart.idl b/tools/dom/idl/dart/dart.idl
index 8342f08c5f85d9af51069ee701ab93e27f4feb03..11a8cc9519ebada9da4563cded8d1407e8ac400f 100644
--- a/tools/dom/idl/dart/dart.idl
+++ b/tools/dom/idl/dart/dart.idl
@@ -425,6 +425,18 @@ interface MIDIOutput : MIDIPort {
[DartSuppress]
interface MutationEvent {};
+// Tweaks types required for Dart strong mode.
+[DartSupplemental]
+interface HTMLCollection {
+
+ // FIXME: The index argument should not be optional.
+ getter Node? item([Default=Undefined] optional unsigned long index);
+ getter any namedItem(DOMString name);
+
+ [DartSuppress] getter Element? item([Default=Undefined] optional unsigned long index);
+ [DartSuppress] getter Element? namedItem(DOMString name);
+
+};
Element implements GlobalEventHandlers;
« no previous file with comments | « tests/html/events_test.dart ('k') | tools/dom/scripts/htmleventgenerator.py » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698