Promela Reference -- separators(3)

### `Promela` | ### `Control-Flow` | ### `separators(3)`

`NAME`
separators - for sequential composition of statements and declarations.

`SYNTAX`
step `;` step
step `->` step

`DESCRIPTION`
The semi-colon and the arrow are (equivalent) statement separators in Promela, they are not statement terminators , although the parser has been taught to be forgiving for occasional lapses. The last statement in a sequence need not be followed by a statement separator, unlike, for instance, in C.

`EXAMPLES`

    x = 3;
    atomic {
    	x = y;
    	y = x	/* no separator required here */
    };		/* but it is required here... */
    y = 3

`SEE ALSO`
`break(3)`, `goto(3)`.

Spin Online References Promela Manual Index Promela Grammar Spin HomePage |  | `(Page Updated: 16 December 1997)`