2024-11-01 14:03:15 +01:00
|
|
|
#import <DOM/EventHandler.idl>
|
|
|
|
#import <MediaSourceExtensions/MediaSourceHandle.idl>
|
|
|
|
#import <MediaSourceExtensions/SourceBufferList.idl>
|
|
|
|
|
|
|
|
// https://w3c.github.io/media-source/#dom-mediasource
|
|
|
|
enum ReadyState {
|
|
|
|
"closed",
|
|
|
|
"open",
|
|
|
|
"ended",
|
|
|
|
};
|
|
|
|
|
|
|
|
// https://w3c.github.io/media-source/#dom-mediasource
|
|
|
|
enum EndOfStreamError {
|
|
|
|
"network",
|
|
|
|
"decode",
|
|
|
|
};
|
|
|
|
|
|
|
|
// https://w3c.github.io/media-source/#dom-mediasource
|
|
|
|
[Exposed=(Window,DedicatedWorker)]
|
|
|
|
interface MediaSource : EventTarget {
|
|
|
|
constructor();
|
|
|
|
|
|
|
|
[FIXME, SameObject, Exposed=DedicatedWorker]
|
|
|
|
readonly attribute MediaSourceHandle handle;
|
|
|
|
[FIXME] readonly attribute SourceBufferList sourceBuffers;
|
|
|
|
[FIXME] readonly attribute SourceBufferList activeSourceBuffers;
|
|
|
|
[FIXME] readonly attribute ReadyState readyState;
|
|
|
|
|
|
|
|
[FIXME] attribute unrestricted double duration;
|
2024-11-18 12:13:48 +13:00
|
|
|
attribute EventHandler onsourceopen;
|
|
|
|
attribute EventHandler onsourceended;
|
|
|
|
attribute EventHandler onsourceclose;
|
2024-11-01 14:03:15 +01:00
|
|
|
|
|
|
|
static readonly attribute boolean canConstructInDedicatedWorker;
|
|
|
|
|
|
|
|
[FIXME] SourceBuffer addSourceBuffer(DOMString type);
|
|
|
|
[FIXME] undefined removeSourceBuffer(SourceBuffer sourceBuffer);
|
|
|
|
[FIXME] undefined endOfStream(optional EndOfStreamError error);
|
|
|
|
[FIXME] undefined setLiveSeekableRange(double start, double end);
|
|
|
|
[FIXME] undefined clearLiveSeekableRange();
|
2024-11-26 13:46:29 +01:00
|
|
|
static boolean isTypeSupported(DOMString type);
|
2024-11-01 14:03:15 +01:00
|
|
|
};
|