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

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

Customizing the Navigator

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.