Statement ::= Assignment |
IfStatement |
LoopStatement |
CallStatement |
AssertStatement
StatementList ::= <void> |
Statement ";" StatementList
Every statement must be terminated by a semicolon (just as in C, as opposed to Pascal where the semicolon is a separator rather than a terminator)