]>
Commit | Line | Data |
---|---|---|
81345200 A |
1 | { |
2 | "types": { | |
3 | "Global": [ | |
ed1e77d3 | 4 | { "name": "bool", "mode": "SCALAR" }, |
81345200 | 5 | { "name": "double", "mode": "SCALAR" }, |
ed1e77d3 A |
6 | { "name": "uint32_t", "mode": "SCALAR", "description": "Unsigned 32-bit integer." }, |
7 | { "name": "uint64_t", "mode": "SCALAR", "description": "Unsigned 64-bit integer." }, | |
8 | { "name": "int32_t", "mode": "SCALAR", "description": "Signed 32-bit integer." }, | |
9 | { "name": "int64_t", "mode": "SCALAR", "description": "Signed 64-bit integer." } | |
10 | ], | |
11 | ||
12 | "WTF": [ | |
13 | { | |
14 | "name": "String", "mode": "HEAVY_SCALAR", | |
15 | "header": "wtf/text/WTFString.h" | |
16 | } | |
17 | ], | |
18 | ||
19 | "JavaScriptCore": [ | |
20 | { | |
21 | "name": "InputQueue", "mode": "SCALAR", "storage": "uint8_t", | |
22 | "flags": ["ENUM_CLASS"], | |
23 | "values": ["EventLoopInput", "LoaderMemoizedData", "ScriptMemoizedData", "Count"], | |
24 | "header": "replay/NondeterministicInput.h" | |
25 | } | |
81345200 A |
26 | ] |
27 | }, | |
28 | ||
ed1e77d3 A |
29 | "inputs": { |
30 | "JavaScriptCore": [ | |
31 | { | |
32 | "name": "GetCurrentTime", | |
33 | "description": "Supplies the system time to Date.now() and new Date().", | |
34 | "queue": "SCRIPT_MEMOIZED", | |
35 | "members": [ | |
36 | { "name": "currentTime", "type": "double" } | |
37 | ] | |
38 | }, | |
39 | { | |
40 | "name": "SetRandomSeed", | |
41 | "description": "Sets the PRNG seed used by Math.random().", | |
42 | "queue": "SCRIPT_MEMOIZED", | |
43 | "members": [ | |
44 | { "name": "randomSeed", "type": "uint64_t" } | |
45 | ] | |
46 | } | |
47 | ] | |
48 | } | |
81345200 | 49 | } |