Promela Reference -- Comments(1)

### `Promela` | ### `Meta Terms` | ### `Comments(1)`

`NAME`
comments - default preprocessing rules.

`SYNTAX`
`/'*' [` any_ascii_char `]* '*'/`

`DESCRIPTION`
A comments starts with the two character sequence `/*` and terminates with the first occurrence of the two character sequence `*/ .` In between these two delimiters any text, including newlines and control characters, is allowed. None of the text has semantic meaning to the program. A comment can be placed anywhere white-space can appear in the program.

`NOTES`
Following the C convention, comments do not nest. Comments are stripped from the Promela source in the preprocessing phase by the C preprocessor `cpp .`

`SEE ALSO`
`macros(1)`.

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