/* 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 DebuggerInterruptEvent : Event {};

partial interface DebuggerGlobalScope {
    undefined pauseAndRespond(
        PipelineIdInit pipelineId,
        FrameOffset frameOffset,
        PauseReason pauseReason);

    DOMString? registerFrameActor(
        PipelineIdInit pipelineId,
        FrameInfo result);
};

dictionary PauseReason {
    required DOMString type_;
    boolean onNext;
};

dictionary FrameInfo {
    required DOMString displayName;
    required boolean onStack;
    required boolean oldest;
    required boolean terminated;
    required DOMString type_;
    required DOMString url;
};

dictionary FrameOffset {
    required DOMString frameActorId;
    required unsigned long column;
    required unsigned long line;
};