NAME
true
-
predefined boolean constant.
SYNTAX
true
DESCRIPTION
The keyword
true
is a synonym of the constant value one (1),
and therefore also a synonym of
skip .
It supports a more natural syntax for
manipulating Boolean values.
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
1 .
SEE ALSO
skip(1), false(1), condition(4).
|