Single View Design

From Event-B
Revision as of 15:54, 2 October 2008 by imported>Maria
Jump to navigationJump to search

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: It is strongly recommended to keep this one checked, otherwise the navigator will be empty. This content providers populates the navigator with all projects, files and folder in the workspace.
  • Working Sets: This content provider allows you to see the working sets.