next up previous
Next: File Menu Up: Using Autowrite Previous: Using Autowrite

Generalities

The top pane of the Autowrite window is an interactor pane from which the user interacts with the system. It prompts the user for commands and arguments.

At any time the user can get help about the current possibilities by clicking on the right-button.

Commands are accessible either thru the command line using completion (achieved with the <TAB> key or from the menus items. Some commands are also available from buttons.

All commands accessible are accessible by typing the command name (written on the item) to the Command prompt. The latter is recommended as thru completion it will save the user a lot of typing. Completion works for commands, data filenames, automaton names, trs names, termset names.

The menu are there to remind the user of every possible command or for people who don't like to type. In any case, at the moment, arguments of commands need to be typed in the interactor pane.

The Read commands are used to read Autowrite objects into the current specificationc directly from the command line. The Load commands are used to load Autowrite objects into the current specificationfrom a file. The Save commands are used to save Autowrite objects into a file. The Retrieve commands are used to set the current Autowrite object with an already computed object.


next up previous
Next: File Menu Up: Using Autowrite Previous: Using Autowrite
Irene DURAND
2005-02-01