replay/JSInputs.json

   1 {
   2     "types": {
   3         "Global": [
   4             { "name": "double", "mode": "SCALAR" },
   5             { "name": "uint64_t", "mode": "SCALAR" }
   6         ]
   7     },
   8
   9     "inputs": [
  10         {
  11             "name": "GetCurrentTime",
  12             "description": "Supplies the system time to Date.now() and new Date().",
  13             "queue": "SCRIPT_MEMOIZED",
  14             "members": [
  15                 { "name": "currentTime", "type": "double" }
  16             ]
  17         },
  18         {
  19             "name": "SetRandomSeed",
  20             "description": "Sets the PRNG seed used by Math.random().",
  21             "queue": "SCRIPT_MEMOIZED",
  22             "members": [
  23                 { "name": "randomSeed", "type": "uint64_t" }
  24             ]
  25         }
  26     ]
  27 }