Generate bindings for HTMLMediaElement.

src/components/script/dom/bindings/codegen/Bindings.conf

@@ -585,6 +585,7 @@ addHTMLElement('HTMLLegendElement')
 addHTMLElement('HTMLLIElement')
 addHTMLElement('HTMLLinkElement')
 addHTMLElement('HTMLMapElement')
+addHTMLElement('HTMLMediaElement')
 addHTMLElement('HTMLMetaElement')
 addHTMLElement('HTMLMeterElement')
 addHTMLElement('HTMLModElement')

src/components/script/dom/bindings/codegen/HTMLMediaElement.webidl

@@ -0,0 +1,188 @@
+/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this file,
+ * You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * The origin of this IDL file is
+ * http://www.whatwg.org/specs/web-apps/current-work/#media-elements
+ *
+ * © Copyright 2004-2011 Apple Computer, Inc., Mozilla Foundation, and
+ * Opera Software ASA. You are granted a license to use, reproduce
+ * and create derivative works of this document.
+ */
+
+interface HTMLMediaElement : HTMLElement {
+/*
+  // error state
+  readonly attribute MediaError? error;
+*/
+  // network state
+  [SetterThrows]
+           attribute DOMString src;
+  readonly attribute DOMString currentSrc;
+
+  [SetterThrows]
+           attribute DOMString crossOrigin;
+  const unsigned short NETWORK_EMPTY = 0;
+  const unsigned short NETWORK_IDLE = 1;
+  const unsigned short NETWORK_LOADING = 2;
+  const unsigned short NETWORK_NO_SOURCE = 3;
+/*
+  TODO:
+  readonly attribute unsigned short networkState;
+*/
+  [SetterThrows]
+           attribute DOMString preload;
+/*
+  [Creator]
+  readonly attribute TimeRanges buffered;
+*/
+  void load();
+  DOMString canPlayType(DOMString type);
+
+  // ready state
+  const unsigned short HAVE_NOTHING = 0;
+  const unsigned short HAVE_METADATA = 1;
+  const unsigned short HAVE_CURRENT_DATA = 2;
+  const unsigned short HAVE_FUTURE_DATA = 3;
+  const unsigned short HAVE_ENOUGH_DATA = 4;
+  readonly attribute unsigned short readyState;
+  readonly attribute boolean seeking;
+
+  // playback state
+  [SetterThrows]
+           attribute double currentTime;
+  // TODO: Bug 847375 - void fastSeek(double time);
+/*
+  TODO:
+  readonly attribute unrestricted double duration;
+*/
+  // TODO: Bug 847376 - readonly attribute any startDate;
+  readonly attribute boolean paused;
+  [SetterThrows]
+           attribute double defaultPlaybackRate;
+  [SetterThrows]
+           attribute double playbackRate;
+/*
+  [Creator]
+  readonly attribute TimeRanges played;
+  [Creator]
+  readonly attribute TimeRanges seekable;
+*/
+  readonly attribute boolean ended;
+  [SetterThrows]
+           attribute boolean autoplay;
+  [SetterThrows]
+           attribute boolean loop;
+  [Throws]
+  void play();
+  [Throws]
+  void pause();
+
+  // TODO: Bug 847377 - mediaGroup and MediaController
+  // media controller
+  //         attribute DOMString mediaGroup;
+  //         attribute MediaController? controller;
+
+  // controls
+  [SetterThrows]
+           attribute boolean controls;
+  [SetterThrows]
+           attribute double volume;
+           attribute boolean muted;
+  [SetterThrows]
+           attribute boolean defaultMuted;
+
+  // TODO: Bug 847379
+  // tracks
+  //readonly attribute AudioTrackList audioTracks;
+  //readonly attribute VideoTrackList videoTracks;
+/*
+  [Pref="media.webvtt.enabled"]
+  readonly attribute TextTrackList textTracks;
+  [Pref="media.webvtt.enabled"]
+  TextTrack addTextTrack(TextTrackKind kind,
+                         optional DOMString label = "",
+                         optional DOMString language = "");
+*/
+};
+
+/*
+// Mozilla extensions:
+partial interface HTMLMediaElement {
+  attribute MediaStream? mozSrcObject;
+  attribute boolean mozPreservesPitch;
+  readonly attribute boolean mozAutoplayEnabled;
+
+  // Mozilla extension: stream capture
+  [Throws]
+  MediaStream mozCaptureStream();
+  [Throws]
+  MediaStream mozCaptureStreamUntilEnded();
+  readonly attribute boolean mozAudioCaptured;
+
+  // Mozilla extension: extra stream metadata information, used as part
+  // of MozAudioAvailable events and the mozWriteAudio() method.  The
+  // mozFrameBufferLength method allows for the size of the framebuffer
+  // used within MozAudioAvailable events to be changed.  The new size must
+  // be between 512 and 16384.  The default size, for a  media element with
+  // audio is (mozChannels * 1024).
+  [GetterThrows]
+  readonly attribute unsigned long mozChannels;
+  [GetterThrows]
+  readonly attribute unsigned long mozSampleRate;
+  [Throws]
+           attribute unsigned long mozFrameBufferLength;
+
+  // Mozilla extension: return embedded metadata from the stream as a
+  // JSObject with key:value pairs for each tag. This can be used by
+  // player interfaces to display the song title, artist, etc.
+  [Throws]
+  object? mozGetMetadata();
+
+  // Mozilla extension: provides access to the fragment end time if
+  // the media element has a fragment URI for the currentSrc, otherwise
+  // it is equal to the media duration.
+  readonly attribute double mozFragmentEnd;
+
+  // Mozilla extension: an audio channel type for media elements.
+  // An exception is thrown if the app tries to change the audio channel type
+  // without the permission (manifest file for B2G apps).
+  // The supported values are:
+  // * normal (default value)
+  //   Automatically paused if "notification" or higher priority channel
+  //   is played
+  //   Use case: normal applications
+  // * content
+  //   Automatically paused if "notification" or higher priority channel
+  //   is played. Also paused if another app starts using "content"
+  //   channel. Using this channel never affects applications using
+  //   the "normal" channel.
+  //   Use case: video/audio players
+  // * notification
+  //   Automatically paused if "alarm" or higher priority channel is played.
+  //   Use case: New email, incoming SMS
+  // * alarm
+  //   Automatically paused if "telephony" or higher priority channel is
+  //   played.
+  //   User case: Alarm clock, calendar alarms
+  // * telephony
+  //   Automatically paused if "ringer" or higher priority
+  //   channel is played.
+  //   Use case: dialer, voip
+  // * ringer
+  //   Automatically paused if "publicnotification" or higher priority
+  //   channel is played.
+  //   Use case: dialer, voip
+  // * publicnotification
+  //   Always plays in speaker, even when headphones are plugged in.
+  //   Use case: Camera shutter sound.
+  [SetterThrows]
+  attribute DOMString mozAudioChannelType;
+
+  // In addition the media element has this new events:
+  // * onmozinterruptbegin - called when the media element is interrupted
+  //   because of the audiochannel manager.
+  // * onmozinterruptend - called when the interruption is concluded
+};
+*/