From a4e969f4965059196ca948db781e52f7cfebf19e Mon Sep 17 00:00:00 2001 From: Lorry Tar Creator Date: Tue, 24 May 2016 08:28:08 +0000 Subject: webkitgtk-2.12.3 --- Source/JavaScriptCore/replay/JSInputs.json | 49 ++++++++++++++++++++++++++++++ 1 file changed, 49 insertions(+) create mode 100644 Source/JavaScriptCore/replay/JSInputs.json (limited to 'Source/JavaScriptCore/replay/JSInputs.json') diff --git a/Source/JavaScriptCore/replay/JSInputs.json b/Source/JavaScriptCore/replay/JSInputs.json new file mode 100644 index 000000000..fa5c00413 --- /dev/null +++ b/Source/JavaScriptCore/replay/JSInputs.json @@ -0,0 +1,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" } + ] + } + ] + } +} -- cgit v1.2.1