Spin preference page
Spin preference page is used to set paths to external tools. Paths to the following external tools have to be set:
Spin: Spin is a core external tool for SpinRCP, therefore it is mandatory to set the path to Spin.
C compiler: Since Spin generates a verifier for each model being checked as C source code which has to be
compiled to an executable code, we need an installed C compiler and have to set the path to it.
dot: A path to the Graphviz dot tool is necessary if you want to generate graphs of the processes and never claims.
If the PATH environment variable of the computer system includes paths to Spin, C compiler, and dot, we don’t need to enter their
absolute paths but just their names (e.g., spin
, gcc
, dot
). For Spin the default path is preset to spin
.
Paths with spaces are also allowed. SpinRCP recognizes such paths and handles them correctly.
A click on the Restore Defaults button restores the default external tool paths: spin
for spin path and empty strings for the C compiler and Graphviz Dot paths.
A click on the Apply button applies the selected options.
After a click on the OK button, the correctness of the entered or selected paths to external tools is checked by issuing a simple command to each tool and analyzing its
response. If a check of any external tool fails, an error message dialog will open with an error message that the path is not set correctly. The erroneous path is
not accepted. The path reverts to the previous one and the page is closed.
A click on the Cancel button has the same effect as a click on OK button, with the difference that the page is not closed.