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
Spin Online References Promela Manual Index Promela Grammar Spin HomePage |
(Page Updated: 16 December 1997) |