| /* 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; |
| }; |
