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.