DESUMA Batch Window

The batch window in DESUMA is used to process multiple state or transition creation commands. The commands that are used in the batch window are the same as the command line's. It is not possible to use the batch window to edit the properties of elements such as position. To access the batch window, click the on the menu bar.




Once the submit button has been pressed, DESUMA will take a few minutes and execute the commands sequentially. If an error occurs while processing, Desuma will stop execution on the faulty line to allow for correction as the below pair of screen shots show.



The batch window can be used to save all commands currently entered into the batch window to a text file, for future use. Thus it is also possible to load this file and execute the set of commands during a future DESUMA session.
To load a file:

  1. Click the icon;
  2. A pop-up window (like the one below) will appear, allowing you to select a file containing your list of batch commands. Note that the file must have a file extension .txt.

  3. The commands will be displayed in the batch window.
  4. Click "Submit" to process the commands. The resulting automaton will be displayed in a new workspace.
Note: