diff options
| author | Lorry Tar Creator <lorry-tar-importer@lorry> | 2015-05-20 09:56:07 +0000 |
|---|---|---|
| committer | Lorry Tar Creator <lorry-tar-importer@lorry> | 2015-05-20 09:56:07 +0000 |
| commit | 41386e9cb918eed93b3f13648cbef387e371e451 (patch) | |
| tree | a97f9d7bd1d9d091833286085f72da9d83fd0606 /Source/JavaScriptCore/replay/JSInputs.json | |
| parent | e15dd966d523731101f70ccf768bba12435a0208 (diff) | |
| download | WebKitGtk-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.json | 49 |
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" } - ] - } - ] - } -} |
