2022-09-27 07:31:59 -04:00
|
|
|
char = _{ ASCII_ALPHANUMERIC | "_" }
|
2022-10-23 16:55:29 -04:00
|
|
|
whitespace = _{" " | "\t" | "\r" | "\n"}
|
|
|
|
|
2022-09-27 07:31:59 -04:00
|
|
|
name = {char+}
|
2022-10-23 16:55:29 -04:00
|
|
|
command = {"create database" ~ whitespace+ ~ name ~ ";"}
|
2022-09-27 07:31:59 -04:00
|
|
|
script = {command+}
|