...
Code Block | ||
---|---|---|
| ||
<postlude item> ::= <postlude operation> [ <guard> ]
<guard> ::= if <BOOL EXPR>
| on final
<postlude operation> ::= <postlude assignment>
| <postlude raise event>
| <binding>
<postlude assignment> ::= ent:<ID> := <EXPR>
| clear ent:<ID>
<postlude raise event> ::= raise <postlude event spec> [ for <STRING EXPR> ] [ attributes <MAP EXPR> ]
| last
<postlude event spec> ::= <ID> event <STRING EXPR>
| event <STRING EXPR> |
...