diff options
author | Youngmin Yoo <youngmin.yoo@samsung.com> | 2014-01-16 21:33:05 +0900 |
---|---|---|
committer | Youngmin Yoo <youngmin.yoo@samsung.com> | 2014-01-20 12:56:23 +0900 |
commit | 0523a7dfe9d439f10fb05a1ccb08f22517ede280 (patch) | |
tree | 01302771785810b0e88ff81bfa190f9fa25a72e1 /src/components/script/dom/bindings/codegen/HTMLMediaElement.webidl | |
parent | 897e037db3fac6a245de2b35a37faabc202e4609 (diff) | |
download | servo-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.webidl | 188 |
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 -}; -*/ |