Promela Reference -- STDIN(5)

Promela

Predefined

STDIN


NAME
STDIN - predefined read-only channel, for use in simulation.

SYNTAX
chan STDIN; STDIN?var

DESCRIPTION
During simulation runs, it is sometimes useful to be able to connect Spin to other programs that can produce useful input, or directly to the standard input stream to read input from the terminal or from a file.

EXAMPLES
A sample use of this feature is this model of a word count program:

NOTES
The STDIN channel can be used only in simulations. The name has no special meaning in verification. A verification for the example model would report an attempt to receive data from an unitialized channel.

SEE ALSO
chan
poll
printf
receive


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