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) .
Spin Online References Promela Manual Index Promela Grammar Spin HomePage |
(Page updated: 28 November 2004) |