Promela Reference -- show(2)

### `Promela` | ### `Declarator` | ### `show(2)`

`NAME`
`show` - to allow for tracking of the access to specific variables in message sequence charts.

`SYNTAX`
`show` typename name

`DESCRIPTION`
This keyword has no semantic content, but only serves to determine which variables should be tracked and included in message sequence chart displays. The value of all variables of which the declaration is prefixed with the keyword `show` is updated on a separate time-line in these displays.

`NOTES`
The use of this prefix only affects the information that Xspin includes in message sequence charts, and the information that Spin includes in Postscript versions of message sequence charts under Spin option `-M .`

`SEE ALSO`
`hidden(2)`, `datatypes(2)`.

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