- UPPAAL Help
- GUI Reference
- Language Reference
- Command Line Options
- Remote Server
- File Formats
- New Features
The navigation tree is shown in the left panel of the system editor. It is used for accessing the various components of a system description. A node in the tree can be double clicked to view (or hide) the sub tree of the node.
The root of the navigation tree is named Project if the system is unnamed, otherwise the name of the system (i.e. the name of the XML-file).
The sub node Declarations is used for declarations of global scope. They can be refered to directly in template declarations.
Each process template of the system description is represented by a node placed under the root node of the navigation tree. When this node is selected (i.e. clicked) the automaton becomes available for editing in the right panel of the system editor. Each template has a sub node named Declarations that is used for typing in local declarations and documentation comments.
Note: the navigation tree can be opened in a separate window using the "Drag out" button. The window returns to its original position when it is closed. The same effect can be obtained by clicking with the left mouse button while pressing the Alt key.