CDE Reference

 

This document describes all available commands in the Coordination Development Environment. It is organized as follows:

The Editor
The first part of this reference manual deals with the editor, which allows to write contracts and generate the necessary Java files. This part is structured as follows.
The Project Pane
This section describes the left pane, containing a hierarchical view of the components and contracts of the current project, and the available pop-menus.
The Edit Pane
This section describes the right pane, which contains one editable tabbed window for each opened file. The available pop-up menu is also described.
The Message Pane
This section describes the bottom pane, where the error messages appear.
The File Menu
This section describes the commands available to open and close files and projects.
The Edit Menu
This section describes the menu with the usual edition operations.
The View Menu
This section lists the commands available to change the current look of the editor.
The Project Menu
This section describes the commands that operate on project items, like compiling and generating files.
The Tools Menu
This section refers to the available CDE tools.
The Help Menu
This section describes the available information.
The Toolbar
This section lists which commands are attached to the buttons in the toolbar.
The Key Shortcuts
This section lists which commands are directly accessible from the keyboard.
The Animator
The second part of this reference document is dedicated to the animator, which allows to test some run-time scenarios on components and contracts.
The Project Pane
This section describes the left pane, containing a hierarchical view of the component and contract classes and instances of the current project, and the available pop-menus.
The Animation Pane
This section describes the right pane, which may contain message sequence diagrams and tables showing the current population of a given class.
The Message Pane
This section describes the bottom pane, where the error messages appear.
The File Menu
This section describes the commands available to open and close files and projects.
The Help Menu
This section describes the available on-line documentation.
The Toolbar
This section lists which commands are attached to the buttons in the toolbar.