Current stimulus: IN
Current State |
Response |
New State |
any |
Init |
Enabled = N |
Current stimulus: O
Current State |
Response |
New State |
Enabled = N |
Chooser |
Thread=Open Chooser=Active |
Enabled = Y Edited=N |
Chooser |
Enabled = Y Edited=N Thread=Open Chooser=Active |
Enabled = Y Edited=Y |
Save |
Enabled = Y Edited=Y Thread=Open |
Current stimulus: N
Current State |
Response |
New State |
Enabled = N |
Chooser |
Thread=New Chooser=Active |
Enabled = Y Edited=N |
Chooser |
Enabled = Y Edited=N Thread=New Chooser=Active |
Enabled = Y Edited=Y |
Save |
Enabled = Y Edited=Y Thread=New |
Current stimulus: S
Current State |
Response |
New State |
Edited = N |
|
no change |
Edited = Y |
Save |
Thread=Save |
Current stimulus: V
Current State |
Response |
New State |
Edited = N |
|
no change |
Edited = Y |
Open |
Edited = Y, Thread=Revert, IO=Y |
Current stimulus: R
Current State |
Response |
New State |
Edited = N |
Chooser |
Edited = N, Chooser=Active, Thread=Rename |
Edited = Y |
Save |
Edited = Y, Thread=Rename, IO=Y |
Current stimulus: E
Current State |
Response |
New State |
Edited = N |
|
Edited = Y |
Edited = Y |
|
no change |
Current stimulus: X
Current State |
Response |
New State |
Edited=N |
Exit |
λ |
Edited=Y |
Save |
Edited=Y Thread=Exit IO=Active |
Current stimulus: FA
Note: This stimulus can only happen when the chooser is active.
Current State |
Response |
New State |
Chooser != active |
|
no change |
Chooser=active
Thread=Open
|
Open |
Chooser!=active IO=Active |
Chooser=active
Thread=New or Thread=Rename
|
Exists |
Chooser!=active IO=Active |
Current stimulus: FR
Note: This stimulus can only happen when the chooser is active.
Current State |
Response |
New State |
Chooser!=active |
|
no change |
Chooser=active
|
Open |
Chooser!=active
|
Current stimulus: OK
Note: This stimulus can only happen when IO is active.
Current State |
Response |
New State |
IO != active |
|
no change |
Enabled=N IO=active |
Data Title Enable |
IO != active |
Enabled=Y, Edited=Y IO=active Thread=New || Open || Rename |
Chooser |
IO != active Edited=N |
Enabled=Y, Edited=Y IO=active Thread=Save |
|
IO != active Edited=N |
Enabled=Y, Edited=Y IO=active Thread=Revert |
Data |
IO != active Thread=Ø Edited=N |
Enabled=Y, Edited=Y IO=active Thread=Exit |
Exit |
λ |
Enabled=Y, Edited=N IO=active Thread=Open |
Data Title |
IO!=active,Thread=Ø |
Enabled=Y, Edited=N IO=active Thread=New |
Clear Title |
IO!=active,Thread=Ø |
Enabled=Y, Edited=N IO=active Thread=Rename |
Title |
IO!=active,Thread=Ø |
Current stimulus: ER
Note: This stimulus can only happen when IO is active.
Current State |
Response |
New State |
IO != active |
|
no change |
IO=active, Edited=N |
Warn |
IO!=active Thread=Ø |
IO=active, Edited=Y, Thread!=Save |
Query |
IO!=active |
IO=active, Edited=Y, Thread=Save |
Warn |
IO!=active Thread=Ø |
Current stimulus: FX
Current State |
Response |
New State |
any |
Query |
Query=active |
Current stimulus: NX
Current State |
Response |
New State |
Thread=New |
Empty |
IO=Active |
Thread=Rename |
Rename |
IO=Active |
Current stimulus: QY
Current State |
Response |
New State |
Thread=Exit |
Exit |
λ |
Thread!=Exit |
Chooser |
Chooser=Active Query!=active |
Current stimulus: QN
Current State |
Response |
New State |
any |
|
Query!=active, Thread=Ø |
|