Promela Reference -- false(1)

Promela

Meta Term

false


NAME
false - predefined boolean constant.

SYNTAX
false

DESCRIPTION
The keyword false is a synonym of the constant value zero (0), and can be used in any context. If it is used as a stand-alone condition statement, it will block system execution as if it were a halt instruction.

NOTES
Because they are intercepted in the lexical analyzer as meta terms, false , true , and skip do not show up as such in error traces. They will appear as their numeric equivalents (0) or (1) .

SEE ALSO
condition
skip
true


Spin Online References
Promela Manual Index
Promela Grammar
Spin HomePage
(Page updated: 28 November 2004)