2014-10-27 20:00:05 +03:00
|
|
|
#include "nsISupports.idl"
|
|
|
|
|
2014-10-29 23:11:33 +03:00
|
|
|
interface nsIDOMWindow;
|
2015-12-15 14:10:53 +03:00
|
|
|
interface nsIPrincipal;
|
2014-10-29 23:11:33 +03:00
|
|
|
|
2015-10-16 19:48:26 +03:00
|
|
|
[scriptable, uuid(9cf3b48e-361d-486a-8917-55cf8d00bb41)]
|
2014-10-29 23:11:33 +03:00
|
|
|
interface nsIWorkerDebuggerListener : nsISupports
|
|
|
|
{
|
|
|
|
void onClose();
|
2015-03-20 14:15:59 +03:00
|
|
|
|
2015-03-26 22:09:45 +03:00
|
|
|
void onError(in DOMString filename, in unsigned long lineno,
|
|
|
|
in DOMString message);
|
|
|
|
|
2015-03-20 14:15:59 +03:00
|
|
|
void onMessage(in DOMString message);
|
2014-10-29 23:11:33 +03:00
|
|
|
};
|
|
|
|
|
2015-12-15 14:10:53 +03:00
|
|
|
[scriptable, builtinclass, uuid(2fe71e0d-3a39-40a3-b809-8418b72328b4)]
|
2014-10-27 20:00:05 +03:00
|
|
|
interface nsIWorkerDebugger : nsISupports
|
|
|
|
{
|
2014-10-29 23:11:33 +03:00
|
|
|
const unsigned long TYPE_DEDICATED = 0;
|
|
|
|
const unsigned long TYPE_SHARED = 1;
|
|
|
|
const unsigned long TYPE_SERVICE = 2;
|
|
|
|
|
2014-10-27 20:00:05 +03:00
|
|
|
readonly attribute bool isClosed;
|
|
|
|
|
2014-10-29 23:11:33 +03:00
|
|
|
readonly attribute bool isChrome;
|
|
|
|
|
2015-06-08 10:08:20 +03:00
|
|
|
readonly attribute bool isInitialized;
|
|
|
|
|
2014-10-29 23:11:33 +03:00
|
|
|
readonly attribute nsIWorkerDebugger parent;
|
|
|
|
|
|
|
|
readonly attribute unsigned long type;
|
|
|
|
|
2014-10-27 20:00:05 +03:00
|
|
|
readonly attribute DOMString url;
|
2014-10-29 23:11:33 +03:00
|
|
|
|
|
|
|
readonly attribute nsIDOMWindow window;
|
|
|
|
|
2015-12-15 14:10:53 +03:00
|
|
|
readonly attribute nsIPrincipal principal;
|
|
|
|
|
|
|
|
readonly attribute unsigned long serviceWorkerID;
|
|
|
|
|
2015-03-17 13:15:19 +03:00
|
|
|
[implicit_jscontext]
|
|
|
|
void initialize(in DOMString url);
|
|
|
|
|
2015-03-20 14:15:59 +03:00
|
|
|
[implicit_jscontext, binaryname(PostMessageMoz)]
|
|
|
|
void postMessage(in DOMString message);
|
|
|
|
|
2014-10-29 23:11:33 +03:00
|
|
|
void addListener(in nsIWorkerDebuggerListener listener);
|
|
|
|
|
|
|
|
void removeListener(in nsIWorkerDebuggerListener listener);
|
2014-10-27 20:00:05 +03:00
|
|
|
};
|