Promela |
Predefined |
_(5) |
NAME
_
-
predefined global write-only variable.
SYNTAX
_
DESCRIPTION
It is a predefined write-only variable,
that can be used to store scratch values.
The type of this global variable is
int .
It is an error to use or reference its value.
EXAMPLES
To flush the contents of a channel with two message fields
of arbitrary type:
do :: q?_,_ :: empty(q) -> break od
SEE ALSO
hidden(2).
Spin Online References Promela Manual Index Promela Grammar Spin HomePage |
(Page Updated: 16 December 1997) |