/* 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.
[Exposed=DebuggerGlobalScope]
interface DebuggerAddDebuggeeEvent : Event {
    readonly attribute object global;
    readonly attribute PipelineId pipelineId;
    readonly attribute DOMString? workerId;
};

[Exposed=DebuggerGlobalScope]
interface PipelineId {
    readonly attribute unsigned long namespaceId;
    readonly attribute unsigned long index;
};