Introduction
The Outline view is a generic view provided by Eclipse in navigating a document in an editor view.
Opening the View
It is displayed as default in the LTSA Perspective. However, if the view is not currently open, the view can be displayed by selecting
Window ΰ Show View ΰ Other ΰ General and selecting Outline.
LTSA Eclipse provides a specific outline format for an LTS in the form of a tree of Compositions, Processes, Properties and Variables used within a FSP model.
Note that the outline is only updated when the user instructs LTSA to parse a given FSP model.
Once the outline is updated with a parsed source model. The user can select various LTSA actions on the given model by selecting a relevant source branch (e.g. a process) and invoking an LTSA command.
There are several methods to invoke an action.
| 1. | Right-click on an branch item in the Outline View and select the Command item from the popup menu list. |
| 2. | For compiling, the user can Double-Click on a process or composition item in the branch item in the Outline View |
| 3. | Left-click on an branch item in the Outline View and select the Command item from the toolbar options. |