Promela Reference -- False(1)

Google

Promela

Meta Terms

False(1)

NAME
false - predefined boolean constant.

SYNTAX
false

DESCRIPTION
The keyword false is a synonym of the constant value zero (0) that is useful in expressions. If it is used stand-alone as a condition statement (see condition(4)) it will block system execution, as if it were a halt instruction.

NOTES
This keyword is not supported in Spin versions prior to 3.0. Because it is intercepted in the lexical analyzer as a meta-term, it shows up in traces as its numeric equivalent 0 .

SEE ALSO
skip(1), true(1), condition(4).


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