Model Navigator View
The Navigator View provides a hierarchical view of the resources in the Workbench.
It is located in the left part of the default SpinRCP Perspective.
- Promela models can be either created or imported into the workspace.
In either cases you must first create a project (or a file container),
where your model(s) will be stored. You can do it by opening the
File > Other wizards and when you create your very first project checking the
Show All Wizards. Now a General wizard appears. Double-click it and continue
by selecting Project > Next. When you create your first project, the small
Confirm Enablement window appears. Just click OK. Alternatively, you can just
right-click anywhere within the Model Navigator, select New and click Project.
In the New Project window,
enter the project name. If you want to create the project within the default
workspace, leave the checkbox Use default location checked and click Finish.
If you want to put a project anywhere in the file system outside the default
workspace, uncheck the checkbox and input or select an absolute path for the
new project and click Finish. A newly created project appears in the
Model Navigator View.
- You can organize Promela models in the workspace as you want. You can create
a separate project for each model you analyze. In this case you have a flat
structure of clearly separated files for each model. You can analyze more
differently named models in the same project. In general, you may prefer
several projects at the top level and a tree structure of folders and
subfolders containing Promela models below them. A new folder/subfolder can
be created as follows: Click the project/folder/subfolder, which will be the
father of a new folder/subfolder and then select File > Other > General > Folder > Next,
enter a folder name into a Folder name textfield, and click Finish. A newly
generated folder/subfolder appears at the given place in the Model Navigator.
- A new Promela file in SpinRCP can be entered as follows: Click the
project/folder/subfolder, where the file should be stored, and select
File > Other > Other > Promela file > Next, enter the Promela file name into a
File name textfield (the file name extension must be
.pml
), and click Finish.
A newly generated Promela file appears at the given place in the Model Navigator.
- If you have an existing Promela model anywhere in your file system, you
can simply copy-paste or drag-and-drop it to the appropriate place in the
SpinRCP's Model Navigator. Currently, SpinRCP does not support the use of linked
Promela model files (those residing in disk system outside SpinRCP's workspace).
In the Model Navigator Tool Bar there are the following options:
- CollapseAll: Collapses all of the currently elements in the Model Navigator view
(e.g., a hierarchical
tree-like structure of projects (as roots), folders/subfolders, and files into a flat
structure of projects).
- Link with Editor: This option is useful when you open many files in your project.
When you select a file in the editor, the Model Navigator shows you the same file in its document
tree structure.
- View menu: This view pull-down menu contains operations that apply to the entire
contents of the view, but not to a specific item shown in the view. These operations are:
Top Level Elements (selection of either Projects or Working Sets), Select Working Set...,
Deselect Working Set, Edit Active Working Set..., Customize View, Link with Editor.
- Minimize: Minimizes the Model Navigator to use as little space as possible
(perhaps to get more space for a Promela Editor).
- Maximize: Maximizes the Model Navigator to give it as much space as possible.
By right-clicking anywhere in the Model Navigator a drop-down menu with 15 useful Eclipse
operations is opened: New ->, Open, Open With ->, Copy, Paste, Delete, Move..., Rename...,
Import..., Export..., Refresh, Team ->, Compare With ->, Replace With, and Properties.