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
|
{
"types": {
"Global": [
{ "name": "bool", "mode": "SCALAR" },
{ "name": "double", "mode": "SCALAR" },
{ "name": "uint32_t", "mode": "SCALAR", "description": "Unsigned 32-bit integer." },
{ "name": "uint64_t", "mode": "SCALAR", "description": "Unsigned 64-bit integer." },
{ "name": "int32_t", "mode": "SCALAR", "description": "Signed 32-bit integer." },
{ "name": "int64_t", "mode": "SCALAR", "description": "Signed 64-bit integer." }
],
"WTF": [
{
"name": "String", "mode": "HEAVY_SCALAR",
"header": "wtf/text/WTFString.h"
}
],
"JavaScriptCore": [
{
"name": "InputQueue", "mode": "SCALAR", "storage": "uint8_t",
"flags": ["ENUM_CLASS"],
"values": ["EventLoopInput", "LoaderMemoizedData", "ScriptMemoizedData", "Count"],
"header": "replay/NondeterministicInput.h"
}
]
},
"inputs": {
"JavaScriptCore": [
{
"name": "GetCurrentTime",
"description": "Supplies the system time to Date.now() and new Date().",
"queue": "SCRIPT_MEMOIZED",
"members": [
{ "name": "currentTime", "type": "double" }
]
},
{
"name": "SetRandomSeed",
"description": "Sets the PRNG seed used by Math.random().",
"queue": "SCRIPT_MEMOIZED",
"members": [
{ "name": "randomSeed", "type": "uint64_t" }
]
}
]
}
}
|
