Promela Reference -- true(1)

Promela

Meta Term

true


NAME
true - predefined boolean constant.

SYNTAX
true

DESCRIPTION
The keyword true is a synonym of the constant value one (1) , and can be used in any context. Because of the mapping to (1) , true is also a synonym of skip . It supports a more natural syntax for manipulating boolean values.

NOTES
Because it is intercepted in the lexical analyzer as a meta term, true is always replaced by its numeric equivalent in error traces.

Semantically, true , skip , and (1) are indistinguishable. Which term is best used depends on context and convention.

SEE ALSO
condition
false
skip


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