webkitgtk-2.16.5HEADwebkitgtk-2.16.5master

1 files changed, 29 insertions, 0 deletions

diff --git a/Source/JavaScriptCore/replay/scripts/tests/fail-on-duplicate-input-names.json b/Source/JavaScriptCore/replay/scripts/tests/fail-on-duplicate-input-names.json
new file mode 100644
index 000000000..91c84a2ef
--- /dev/null
+++ b/Source/JavaScriptCore/replay/scripts/tests/fail-on-duplicate-input-names.json
@@ -0,0 +1,29 @@
+{
+    "types": {
+        "Global": [
+            { "name": "double", "mode": "SCALAR" },
+            { "name": "uint64_t", "mode": "SCALAR" }
+        ]
+    },
+
+    "inputs": {
+        "Test": [
+            {
+                "name": "GetCurrentTime",
+                "description": "Supplies the system time to Date.now() and new Date().",
+                "queue": "SCRIPT_MEMOIZED",
+                "members": [
+                    { "name": "currentTime", "type": "double" }
+                ]
+            },
+            {
+                "name": "GetCurrentTime",
+                "description": "Sets the PRNG seed used by Math.random().",
+                "queue": "SCRIPT_MEMOIZED",
+                "members": [
+                    { "name": "randomSeed", "type": "uint64_t" }
+                ]
+            }
+        ]
+    }
+}