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
55
56
57
|
/* 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("resource://devtools/shared/protocol.js");
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;
|
