Promela Reference -- assignment(4)

### `Promela` | ### `BasicStatements` | ### `assignment(4)`

`NAME`
assignment statement.

`SYNTAX`
varref `=` any_expr
varref `++` as an abbreviation of: varref `=` varref `+ 1`
varref `--` as an abbreviation of: varref `=` varref `- 1`

`EXECUTABILITY`
`True`

`EFFECT`
Replaces the value of varref with the integer value of any_expr , where necessary after truncating the value to the range of the declared data type of varref .

`DESCRIPTION`
The assignment statement has the standard semantics from most programming languages: replacing the value stored in a data object with the value returned by the evaluation of an expression. Other than in the language C, the assignment as a whole returns no value and can therefore itself not be part of an expression.

The reference to a variable, varref , can be an arbitrary scalar, array element, or structure element.

`EXAMPLES`

    a = 12	/* scalar */
    r.b[a] = a * 4 + 7	/* structure element */

`NOTES`
All variables must be declared before they can be referenced in assignments. The default initial value of all variables is zero.

`SEE ALSO`
`datatypes(2)`, `condition(4)`.

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