Add random tools

This commit is contained in:
Jeff 2023-10-13 13:52:49 -04:00
parent 0b6c6b7e25
commit 7021c7f789
4 changed files with 1247 additions and 1166 deletions

View File

@ -187,7 +187,9 @@ module.exports = grammar({
'assert_equal', 'assert_equal',
'output', 'output',
'read', 'read',
'write', 'random',
'random_integer',
'help',
), ),
select: $ => prec.right(seq( select: $ => prec.right(seq(

View File

@ -768,7 +768,15 @@
}, },
{ {
"type": "STRING", "type": "STRING",
"value": "write" "value": "random"
},
{
"type": "STRING",
"value": "random_integer"
},
{
"type": "STRING",
"value": "help"
} }
] ]
}, },

View File

@ -581,6 +581,10 @@
"type": "function", "type": "function",
"named": false "named": false
}, },
{
"type": "help",
"named": false
},
{ {
"type": "identifier", "type": "identifier",
"named": true "named": true
@ -609,6 +613,14 @@
"type": "output", "type": "output",
"named": false "named": false
}, },
{
"type": "random",
"named": false
},
{
"type": "random_integer",
"named": false
},
{ {
"type": "read", "type": "read",
"named": false "named": false
@ -637,10 +649,6 @@
"type": "while", "type": "while",
"named": false "named": false
}, },
{
"type": "write",
"named": false
},
{ {
"type": "{", "type": "{",
"named": false "named": false

File diff suppressed because it is too large Load Diff