Index: client/dom/generated/src/frog/HTMLMediaElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLMediaElement.dart b/client/dom/generated/src/frog/HTMLMediaElement.dart |
index 92dea75a1f75092545ac65082d9514ec44d2f188..476a3208aa1ef26fc75ca91584eced446dd9f776 100644 |
--- a/client/dom/generated/src/frog/HTMLMediaElement.dart |
+++ b/client/dom/generated/src/frog/HTMLMediaElement.dart |
@@ -1,5 +1,5 @@ |
-class HTMLMediaElementJs extends HTMLElementJs implements HTMLMediaElement native "*HTMLMediaElement" { |
+class _HTMLMediaElementJs extends _HTMLElementJs implements HTMLMediaElement native "*HTMLMediaElement" { |
static final int EOS_DECODE_ERR = 2; |
@@ -35,11 +35,11 @@ class HTMLMediaElementJs extends HTMLElementJs implements HTMLMediaElement nativ |
void set autoplay(bool value) native "this.autoplay = value;"; |
- TimeRangesJs get buffered() native "return this.buffered;"; |
+ _TimeRangesJs get buffered() native "return this.buffered;"; |
- MediaControllerJs get controller() native "return this.controller;"; |
+ _MediaControllerJs get controller() native "return this.controller;"; |
- void set controller(MediaControllerJs value) native "this.controller = value;"; |
+ void set controller(_MediaControllerJs value) native "this.controller = value;"; |
bool get controls() native "return this.controls;"; |
@@ -63,7 +63,7 @@ class HTMLMediaElementJs extends HTMLElementJs implements HTMLMediaElement nativ |
bool get ended() native "return this.ended;"; |
- MediaErrorJs get error() native "return this.error;"; |
+ _MediaErrorJs get error() native "return this.error;"; |
num get initialTime() native "return this.initialTime;"; |
@@ -87,7 +87,7 @@ class HTMLMediaElementJs extends HTMLElementJs implements HTMLMediaElement nativ |
void set playbackRate(num value) native "this.playbackRate = value;"; |
- TimeRangesJs get played() native "return this.played;"; |
+ _TimeRangesJs get played() native "return this.played;"; |
String get preload() native "return this.preload;"; |
@@ -95,7 +95,7 @@ class HTMLMediaElementJs extends HTMLElementJs implements HTMLMediaElement nativ |
int get readyState() native "return this.readyState;"; |
- TimeRangesJs get seekable() native "return this.seekable;"; |
+ _TimeRangesJs get seekable() native "return this.seekable;"; |
bool get seeking() native "return this.seeking;"; |
@@ -105,7 +105,7 @@ class HTMLMediaElementJs extends HTMLElementJs implements HTMLMediaElement nativ |
num get startTime() native "return this.startTime;"; |
- TextTrackListJs get textTracks() native "return this.textTracks;"; |
+ _TextTrackListJs get textTracks() native "return this.textTracks;"; |
num get volume() native "return this.volume;"; |
@@ -129,7 +129,7 @@ class HTMLMediaElementJs extends HTMLElementJs implements HTMLMediaElement nativ |
int get webkitVideoDecodedByteCount() native "return this.webkitVideoDecodedByteCount;"; |
- TextTrackJs addTrack(String kind, [String label = null, String language = null]) native; |
+ _TextTrackJs addTrack(String kind, [String label = null, String language = null]) native; |
String canPlayType(String type) native; |
@@ -139,7 +139,7 @@ class HTMLMediaElementJs extends HTMLElementJs implements HTMLMediaElement nativ |
void play() native; |
- void webkitSourceAppend(Uint8ArrayJs data) native; |
+ void webkitSourceAppend(_Uint8ArrayJs data) native; |
void webkitSourceEndOfStream(int status) native; |
} |