Next: Well-formedness -- Reply, Previous: Well-formedness -- Nesting, Up: Well-formedness [Contents][Index]
A behavior description introduces a sequence of statements. A statement
itself can be a
compound, which is a sequence of statements
between curly braces.
In order to be able to define clear semantics, there are some restrictions on the mix of statements in such a sequence.
|• Declarative statement expected|
|• Imperative statement expected|
|• Cannot use otherwise guard more than once|
|• Cannot use otherwise guard with non-guard statements|
|• Cannot use illegal with imperative statements|
|• Cannot use illegal in if-statement|
|• Cannot use illegal in function|