System Menu
The main menu of the system is formed by the following itens:
- File
- New
- Project
Creates a new empty project.
- Specification
Creates a new specification in the current edited project.
- Action Editor (Version 1)
Creates a new action editor window for action notation version 1.
- Action Editor (Version 2)
Creates a new action editor window for action notation version 2.
- Open
Opens an existing project.
- Save
- Save as
Save the current edited project.
- Close
Close in the current edited project.
- Remove Specification
Remove the current selected specification (and their sub-specifications) from the current project.
- Print
Print the current selected specification (option unavailable yet).
- Exit
Quits the abaco.
- Edit
Provides standard clipboard facilities to the texts editors.
- Run
- Check
Typecheks the current edited specification (option unavailable yet)
- Compile
Compile the current edited specification. When selected, this option
creates a compilation window that shows the current stage of the specification
processing and compilation errors found by the specification compiler. If the compiler do
not find any errors, a term editing window
will be opened to allow the specification testing.
- Translate
Generates standalone Java or C++ code for the current compiled specification (option unavailable yet).
- Tools
- Interpret Action
Interpret the action edited by the current action editor window
- Debug Action
- Export File
Saves the current project as a LaTeX or HTML file.
- Insert Tool
- Remove Tool
Insert new functionalities to the editing environment (option unavailable yet).
- Window
- Cascate
Resizes the opened windows in the desktop.
- Close All
Closes all opened windows in the desktop.
- Help