Single View Design: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Maria No edit summary |
imported>Maria No edit summary |
||
Line 19: | Line 19: | ||
====Content==== | ====Content==== | ||
Here you can choose what content should be shown in the navigator. | Here you can choose what content should be shown in the navigator. | ||
*'''Resources''': All projects, files and folder (keep this one checked!) | *'''Resources''': All projects, files and folder (keep this one checked!). | ||
*'''Working Sets''': Allows you to see the working sets as top level elements. | *'''Working Sets''': Allows you to see the working sets as top level elements. | ||
*'''Simple Context Structure''': Lists all contexts of a project. | *'''Simple Context Structure''': Lists all contexts of a project. | ||
Line 33: | Line 33: | ||
*'''Events''' | *'''Events''' | ||
*'''Proof Obligations''': All proof obligations of a machine, context, axiom, invariant, theorem or event. | *'''Proof Obligations''': All proof obligations of a machine, context, axiom, invariant, theorem or event. | ||
====Filters==== | |||
The filters let you choose what to hide in the navigator. | |||
*'''File extensions''': There are various filters to hide certain types of files. | |||
*'''All files and folders''': Hides all files and subfolders | |||
*'''Non Rodin Projects''': Hides all non Rodin projects. Also hides closed Rodin Projects. | |||
*'''Closed Projects''': Hides all closed projects. | |||
[[Category:Work in progress]] | [[Category:Work in progress]] |
Revision as of 07:42, 3 October 2008
Purpose
The Purpose of the Single View Design is to present everything in a single view in Rodin.
Specification
The navigator presents all projects and their contents. The users can choose between to ways how the machines and contexts will be presented:
- A simple structure where all machines and contexts are presented on the same level
- A complex structure where the machines and contexts are presented as a tree. Thus dependencies between machines and contexts (like refines or sees) are made visible.
The Content Providers
There's a number of content providers to choose from:
User guide
Click on the little triangle in the upper right corner of the navigator view and select Customize View. This opens a dialog that allows you to choose Filters and Content.
Content
Here you can choose what content should be shown in the navigator.
- Resources: All projects, files and folder (keep this one checked!).
- Working Sets: Allows you to see the working sets as top level elements.
- Simple Context Structure: Lists all contexts of a project.
- Complex Context Structure: Lists all contexts of a project. Contexts that extend another context are attached to it as children in the tree. Contexts that are seen by a machine are attached to the machine as children.
- Simple Machines Structure: Lists all machines of a project.
- Complex Context Structure: Lists all machines of a project. Machines that refine another machine are attached to it as children in the tree.
- Carrier Sets
- Constants
- Variables
- Axioms
- Invariants
- Theorems
- Events
- Proof Obligations: All proof obligations of a machine, context, axiom, invariant, theorem or event.
Filters
The filters let you choose what to hide in the navigator.
- File extensions: There are various filters to hide certain types of files.
- All files and folders: Hides all files and subfolders
- Non Rodin Projects: Hides all non Rodin projects. Also hides closed Rodin Projects.
- Closed Projects: Hides all closed projects.