mirror of
https://github.com/servo/servo.git
synced 2025-06-08 08:33:26 +00:00
67 lines
2.4 KiB
Text
67 lines
2.4 KiB
Text
/* -*- 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/. */
|
|
|
|
// http://www.whatwg.org/html/#htmlmediaelement
|
|
//enum CanPlayTypeResult { "" /* empty string */, "maybe", "probably" };
|
|
interface HTMLMediaElement : HTMLElement {
|
|
|
|
// error state
|
|
//readonly attribute MediaError? error;
|
|
|
|
// network state
|
|
// attribute DOMString src;
|
|
//readonly attribute DOMString currentSrc;
|
|
// 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;
|
|
//readonly attribute unsigned short networkState;
|
|
// attribute DOMString preload;
|
|
//readonly attribute TimeRanges buffered;
|
|
//void load();
|
|
//CanPlayTypeResult 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
|
|
// attribute double currentTime;
|
|
//void fastSeek(double time);
|
|
//readonly attribute unrestricted double duration;
|
|
//Date getStartDate();
|
|
//readonly attribute boolean paused;
|
|
// attribute double defaultPlaybackRate;
|
|
// attribute double playbackRate;
|
|
//readonly attribute TimeRanges played;
|
|
//readonly attribute TimeRanges seekable;
|
|
//readonly attribute boolean ended;
|
|
// attribute boolean autoplay;
|
|
// attribute boolean loop;
|
|
//void play();
|
|
//void pause();
|
|
|
|
// media controller
|
|
// attribute DOMString mediaGroup;
|
|
// attribute MediaController? controller;
|
|
|
|
// controls
|
|
// attribute boolean controls;
|
|
// attribute double volume;
|
|
// attribute boolean muted;
|
|
// attribute boolean defaultMuted;
|
|
|
|
// tracks
|
|
//readonly attribute AudioTrackList audioTracks;
|
|
//readonly attribute VideoTrackList videoTracks;
|
|
//readonly attribute TextTrackList textTracks;
|
|
//TextTrack addTextTrack(TextTrackKind kind, optional DOMString label = "", optional DOMString language = "");
|
|
};
|