DESUMA Commands

Summary of icons in the main window:

Creates a new workspace.
Opens an existing workspace (.fsm file).
Saves a workspace.
Prints current workspace.
Undo last command.
Redo last command.
Change display to full workspace or change display to default workspace/status panel.
Refresh workspace.
Start batch window.
Zoom in.
Zoom out.
Scale to fit.

Summary of State, Transition, File Creation/Deletion, Operation, and Help commands (via command line or batch window):

1. Create new file

new

2. Open existing file

open

3. Rename current tab

rename new tab name

4. Save current tab to a file

save

5. Save current tab with specified name

saveas file name

6. Print current tab

print

7. Export current graph

export export type

8. Close tab

close tab index
cl tab index

9. Import file

import import type

10. Create state

state state name [-i] [-m]
s state name [-i] [-m]

-i option sets state state name as the initial state

-m option denotes state state name as a marked/final state

NOTE: Flags are also accepted in uppercase letters.

11. Create multiple states

multistate number of states

ms number of states

States are named the default name of 's'(t,a,t,e added sequentially where needed), followed by the lowest available digit.

NOTE: Flags are not accepted

12. Create transition

trans from state to state transition name [-uo] [-uc]
t from state to state transition name [-uo] [-uc]

-uo option denotes event transition name as unobservable

-uc option denotes event transition name as uncontrollable

NOTE: the from_state and to_state must be defined before transition is created

13. Initial a state

initial state name

14. Mark a state

mark state name

15. Unmark a state

unmark state name

16. Delete a state or a transition

delete state name
del state name

delete from state to state transition name
del from state to state transition name

17. Rename a state

renamestate old state name new state name
rnstate old state name new state name

18. Undo the last action

undo

19. Redo the last action

redo

20. Switch tabs

switch tabIndex

21. Open profile options

options

22. Open plugin manager

plugins

23. Refresh layout

refresh

24. Show status panel

show

25. Hide status panel

hide

26. Zoom in on graph

zoomin
zin

27. Zoom out on graph

zoomout
zout

28. Zoom fit on graph

zoomfit
zfit

29. Display batch window

batch

30. Display about window

about

31. Display help window

help

32. Command Description

? commandName

33. Exit DESUMA

exit

 

DESUMA Contact Information: Please e-mail questions to: giddes-support@mta.ca. Although we are unable to provide full technical support, we will do our best to help.