Console View
The Console View displays textual outputs during executions of Spin Tool Bar options and Menu Bar Run command.
In order to keep track of the vast amount of information that is displayed in the console,
SpinRCP opens a new console each time a new Spin action from the Tool Bar or the Menu Bar Run command is
performed on a given model or a given action is performed on a new model. For example, outputs of different
verification runs on the
leader.pml
are written to the first console, all random simulation runs on
leader.pml
to the second one, all runs of the guided simulation to the third one, all verification runs on the
snoopy.pml
to the fourth...
The contents of all consoles are stored. You can open a desired console by first clicking Display Selected Console icon
in the console Tool Bar that opens a drop-down menu with title lines of all stored consoles and then clicking the selected title line.
A title line consists of
a console sequential number, a console title "Spin" indicating it is a Spin console, a subtitle within squared brackets indicating
the SpinRCP operation on the selected Promela model (eq. [Syntax Check], [Verification], [Random Simulation], etc),
an absolute path to the selected Promela model, and console creation date and time.
The following actions are available in any console: Clear Console, Scroll Lock, Pin Console,
Open Console, Minimize and Maximize Console. Right clicking anywhere within a console enables the following editor functions:
Cut, Copy, Paste, Select all, Find/Replace..., Open Link, Clear, and Scroll Lock.