summaryrefslogtreecommitdiff
path: root/Source/JavaScriptCore/replay/JSInputs.json
diff options
context:
space:
mode:
authorLorry Tar Creator <lorry-tar-importer@lorry>2015-05-20 09:56:07 +0000
committerLorry Tar Creator <lorry-tar-importer@lorry>2015-05-20 09:56:07 +0000
commit41386e9cb918eed93b3f13648cbef387e371e451 (patch)
treea97f9d7bd1d9d091833286085f72da9d83fd0606 /Source/JavaScriptCore/replay/JSInputs.json
parente15dd966d523731101f70ccf768bba12435a0208 (diff)
downloadWebKitGtk-tarball-41386e9cb918eed93b3f13648cbef387e371e451.tar.gz
webkitgtk-2.4.9webkitgtk-2.4.9
Diffstat (limited to 'Source/JavaScriptCore/replay/JSInputs.json')
-rw-r--r--Source/JavaScriptCore/replay/JSInputs.json49
1 files changed, 0 insertions, 49 deletions
diff --git a/Source/JavaScriptCore/replay/JSInputs.json b/Source/JavaScriptCore/replay/JSInputs.json
deleted file mode 100644
index fa5c00413..000000000
--- a/Source/JavaScriptCore/replay/JSInputs.json
+++ /dev/null
@@ -1,49 +0,0 @@
-{
- "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" }
- ]
- }
- ]
- }
-}