aboutsummaryrefslogtreecommitdiffstats
path: root/src/components/script/dom/bindings/codegen/HTMLMediaElement.webidl
diff options
context:
space:
mode:
authorYoungmin Yoo <youngmin.yoo@samsung.com>2014-01-16 21:33:05 +0900
committerYoungmin Yoo <youngmin.yoo@samsung.com>2014-01-20 12:56:23 +0900
commit0523a7dfe9d439f10fb05a1ccb08f22517ede280 (patch)
tree01302771785810b0e88ff81bfa190f9fa25a72e1 /src/components/script/dom/bindings/codegen/HTMLMediaElement.webidl
parent897e037db3fac6a245de2b35a37faabc202e4609 (diff)
downloadservo-0523a7dfe9d439f10fb05a1ccb08f22517ede280.tar.gz
servo-0523a7dfe9d439f10fb05a1ccb08f22517ede280.zip
Move webidl files to dom/webidl
Diffstat (limited to 'src/components/script/dom/bindings/codegen/HTMLMediaElement.webidl')
-rw-r--r--src/components/script/dom/bindings/codegen/HTMLMediaElement.webidl188
1 files changed, 0 insertions, 188 deletions
diff --git a/src/components/script/dom/bindings/codegen/HTMLMediaElement.webidl b/src/components/script/dom/bindings/codegen/HTMLMediaElement.webidl
deleted file mode 100644
index 25f03e5111d..00000000000
--- a/src/components/script/dom/bindings/codegen/HTMLMediaElement.webidl
+++ /dev/null
@@ -1,188 +0,0 @@
-/* -*- 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
-};
-*/