diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2015-04-02 11:44:48 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2015-04-02 11:44:48 (GMT) |
commit | 81aa1c79dd158aa7bc76876552e4b1d05ecea656 (patch) | |
tree | 4b590410d4042c156cfd3d4e874f3a329390a72b /test/uscxml/promela/test-event-source-auto.scxml | |
parent | ff86d690dc02d7dd495000331d378e7d8eb688ac (diff) | |
download | uscxml-81aa1c79dd158aa7bc76876552e4b1d05ecea656.zip uscxml-81aa1c79dd158aa7bc76876552e4b1d05ecea656.tar.gz uscxml-81aa1c79dd158aa7bc76876552e4b1d05ecea656.tar.bz2 |
Reactivated PHP bindings and some work on PROMELA
Diffstat (limited to 'test/uscxml/promela/test-event-source-auto.scxml')
-rw-r--r-- | test/uscxml/promela/test-event-source-auto.scxml | 51 |
1 files changed, 37 insertions, 14 deletions
diff --git a/test/uscxml/promela/test-event-source-auto.scxml b/test/uscxml/promela/test-event-source-auto.scxml index ef0e26c..cb33636 100644 --- a/test/uscxml/promela/test-event-source-auto.scxml +++ b/test/uscxml/promela/test-event-source-auto.scxml @@ -1,22 +1,45 @@ <scxml datamodel="promela"> <!-- - #promela-event-source-auto - { e1: [ - { state: ['s0'], - data: { foo: 'some string' }} - { state: ['s0'], - data: { bar: 12 }} - { state: ['s1'], - data: { foo: 'some other string' }} - ]} - --> - + An auto event source will raise all events that enable transitions. If a + transition depends on a data field, these will have to be specified explicitly. + + promela-event-all-but + [ "error.bar" ] + --> + <!-- this will become a PROMELA_NIL --> <state id="s0"> + <!-- + if _x.states[s0] + + These specialized events will only be dispatched in s0 + promela-event + [ {"name": "e1", + "data": { "foo": "some string" }}, + {"name": "e1", + "data": { "bar": 12 }} + ] + --> <transition event="e1" cond="_event.data.foo == 'some string'" /> + <transition event="error.foo" cond="_event.data.foo == 'some string'" /> + <transition event="error.bar.*" /> + <transition event="error.baz.*" target="s1" /> <transition event="e1" cond="_event.data.bar == 12" /> + <invoke type="foo"> + <!-- + promela-event + [ {"name": "inv1", + "data": { "foo": "something else" }}, + {"name": "inv2", + "data": { "baz": 23 }} + ] + --> + </invoke> </state> <state id="s1"> - <transition event="e1" cond="_event.data.foo == 'some other string'" /> - <transition event="e1" cond="_event.data.bar == 12" /> + <!-- This transition will never be enabled --> + <transition event="e1" cond="_event.data.bar == 23" /> + <transition event="e3" cond="bar == 23" /> + <transition event="e1" /> + <transition event="e2" /> </state> -</scxml>
\ No newline at end of file +</scxml> |