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) |