summaryrefslogtreecommitdiffstats
path: root/devtools/shared/specs/websocket.js
blob: 4707aafb7db97814f916ae3c294c180a64b4ad3f (plain)
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
/* 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 http://mozilla.org/MPL/2.0/. */
"use strict";

const { Arg, generateActorSpec } = require("devtools/shared/protocol");

const webSocketSpec = generateActorSpec({
  typeName: "webSocket",

  /**
   * The set of events the WebSocketActor emits over RDP.
   */
  events: {
    // In order to avoid a naming collision, we rename the server event.
    serverWebSocketOpened: {
      type: "webSocketOpened",
      httpChannelId: Arg(0, "number"),
      effectiveURI: Arg(1, "string"),
      protocols: Arg(2, "string"),
      extensions: Arg(3, "string"),
    },
    serverWebSocketClosed: {
      type: "webSocketClosed",
      httpChannelId: Arg(0, "number"),
      wasClean: Arg(1, "boolean"),
      code: Arg(2, "number"),
      reason: Arg(3, "string"),
    },
    serverFrameReceived: {
      type: "frameReceived",
      httpChannelId: Arg(0, "number"),
      data: Arg(1, "json"),
    },
    serverFrameSent: {
      type: "frameSent",
      httpChannelId: Arg(0, "number"),
      data: Arg(1, "json"),
    },
  },

  methods: {
    startListening: {
      request: {},
      oneway: true,
    },
    stopListening: {
      request: {},
      oneway: true,
    },
  },
});

exports.webSocketSpec = webSocketSpec;