2023-08-31 12:41:43 +00:00
|
|
|
PROG ::= (INSTR (EOI+ INSTR)*)?
|
|
|
|
|
|
2023-08-30 18:06:26 +00:00
|
|
|
INSTR ::= EXPR
|
2023-08-31 12:41:43 +00:00
|
|
|
| assert EXPR
|
|
|
|
|
| assert_static_fail EXPR
|
|
|
|
|
|
2023-08-31 09:07:03 +00:00
|
|
|
EXPR ::= IMP
|
|
|
|
|
|
|
|
|
|
IMP ::= OR (imp OR)?
|
|
|
|
|
OR ::= AND (or AND)*
|
2023-08-31 09:37:13 +00:00
|
|
|
AND ::= EQ (and EQ)*
|
|
|
|
|
|
|
|
|
|
EQ ::= CMP ((eq | ne) CMP)?
|
|
|
|
|
CMP ::= TERM ((lt | le | gt | ge) TERM)?
|
2023-08-30 22:31:19 +00:00
|
|
|
|
|
|
|
|
TERM ::= FACTOR ((add | sub) FACTOR)*
|
|
|
|
|
FACTOR ::= UNOP ((mul | div | mod) UNOP)*
|
|
|
|
|
|
2023-08-31 09:07:03 +00:00
|
|
|
UNOP ::= (add | sub | not)? POW
|
2023-08-30 22:31:19 +00:00
|
|
|
POW ::= GROUP (pow GROUP)?
|
|
|
|
|
GROUP ::= BASE | opar EXPR cpar
|
2023-08-31 09:07:03 +00:00
|
|
|
BASE ::= int | bool
|
