Almost any control flow statement is also allowed as a production statement, namely the compound control flow statements if, for, do, while, switch and synchronized and the simple control flow statements break, continue and throw.

The control flow statements use parenthesis ( and ) as block delimiters (unlike in java where curly brackets are used).

Compound control flow statements may be prefixed with a label as in label:while(true) …, and after such a label it is also allowed to specify a block of production statements in parentheses as in label:(F(1) [F(1)] …). Compound control flow statements contain substatements, these can be either further compound control flow statements, or statement blocks in braces, or blocks of production statements in parentheses. The trailing semicolon of do and simple control flow statements has to be omitted.