Promela Reference -- _(5)

Google

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)