System Menu
The main menu of the system is formed by the following itens:
- File
- Edit
Provides standard clipboard facilities to the texts editors.See Search and Replace facilities.
- 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
- Window
- Cascate
Resizes the opened windows in the desktop.
- Close All
Closes all opened windows in the desktop.
- Help