Variables | |||||||
Canonical Sequence |
Enabled | Chooser | Thread | IO | Edited | Query | |
λ | |||||||
IN | N | ||||||
IN O | N | Active | Open | ||||
IN N | N | Active | New | ||||
IN O FA | N | Y | |||||
IN O FA OK | Y | N | |||||
IN O FA OK O | Y | Active | Open | N | |||
IN O FA OK N | Y | Active | New | N | |||
IN O FA OK R | Y | Active | Rename | N | |||
IN O FA OK E | Y | Y | |||||
IN O FA OK O FS | Y | Open | Y | N | |||
IN O FA OK N FS | Y | New | Y | N | |||
IN O FA OK R FS | Y | Rename | Y | N | |||
IN O FA OK E O | Y | Open | Y | ||||
IN O FA OK E N | Y | New | Y | ||||
IN O FA OK E R | Y | Rename | Y | ||||
IN O FA OK E S | Y | Save | Y | ||||
IN O FA OK E V | Y | reVert | Y | Y | |||
IN O FA OK E X | Y | eXit | Y | ||||
IN O FA OK E O ER | Y | Open | Y | Active | |||
IN O FA OK E N ER | Y | New | Y | Active | |||
IN O FA OK E R ER | Y | Rename | Y | Active | |||
IN O FA OK E X ER | Y | eXit | Y | Active |
Since the variables Chooser, Thread, IO, and Query all embody state information about current thread. These are eliminated for the state variables are actually used in the state machine, the above analysis is still useful for specifying the response functions.
Variables | |||||||
Canonical Sequence |
Enabled | Edited | |||||
λ | |||||||
IN | N | ||||||
IN O FA OK | Y | N | |||||
IN O FA OK E | Y | Y |
¤ Phone: (615) 292-6496 ¤ Fax: (615) 386-9243 ¤ info@elucidsoft.net ¤ |