| { |
| "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", |
| "guard": "ENABLE(DUMMY_FEATURE)", |
| "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" } |
| ] |
| } |
| ] |
| } |
| } |