servo-script-bindings 0.2.0

A component of the servo web-engine.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

/* 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 https://mozilla.org/MPL/2.0/. */

// This interface is entirely internal to Servo, and should not be accessible to
// web pages.
[Global=DebuggerGlobalScope, Exposed=DebuggerGlobalScope]
interface DebuggerGlobalScope: GlobalScope {
    undefined notifyNewSource(NotifyNewSource args);
};

dictionary NotifyNewSource {
    required PipelineIdInit pipelineId;
    required DOMString? workerId;
    required unsigned long spidermonkeyId;
    required DOMString url;
    required DOMString? urlOverride;
    required DOMString text;
    required DOMString? introductionType;
};

dictionary PipelineIdInit {
    required unsigned long namespaceId;
    required unsigned long index;
};