diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-22 14:02:03 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-22 14:02:03 (GMT) |
commit | 1fb6bcf30f954e426f2d3002d14887574fb941dd (patch) | |
tree | 08cff7f2b879c50efe79e3c04d255075522af862 /test/samples/uscxml/test-execution.scxml | |
parent | 71c334bf4e35559496feac3f3cf00b72ceb88812 (diff) | |
download | uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.zip uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.tar.gz uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.tar.bz2 |
Major refactoring
- Moved tests
- Changes to promela datamodel
- Implemented Trie
Diffstat (limited to 'test/samples/uscxml/test-execution.scxml')
-rw-r--r-- | test/samples/uscxml/test-execution.scxml | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/test/samples/uscxml/test-execution.scxml b/test/samples/uscxml/test-execution.scxml deleted file mode 100644 index 13373ba..0000000 --- a/test/samples/uscxml/test-execution.scxml +++ /dev/null @@ -1,60 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<scxml - xmlns="http://www.w3.org/2005/07/scxml" - version="1.0" - initial="step2"> - <state id="start"> - <onentry> - <log expr="'Entered State: start'" /> - </onentry> - <transition target="step1"> - <log expr="'Transition start -> step1'" /> - </transition> - <onexit> - <log expr="'Exited State: start'" /> - </onexit> - </state> - <state id="step1"> - <onentry> - <log expr="'Entered State: step1'" /> - </onentry> - <transition target="step2"> - <log expr="'Transition step1 -> step2'" /> - </transition> - <onexit> - <log expr="'Exited State: step1'" /> - </onexit> - </state> - <parallel id="step2"> - <state id="parallel1"> - <onentry> - <log expr="'Entered State: parallel1'" /> - </onentry> - <transition target="step3"> - <log expr="'Transition parallel1 -> step3'" /> - </transition> - <onexit> - <log expr="'Exited State: parallel1'" /> - </onexit> - </state> - <state id="parallel2"> - <onentry> - <log expr="'Entered State: parallel2'" /> - </onentry> - <transition target="step3"> - <log expr="'Transition parallel2 -> step3'" /> - </transition> - <onexit> - <log expr="'Exited State: parallel2'" /> - </onexit> - </state> - </parallel> - <final id="step3"> - <onentry> - <log expr="'Entered Final State: step3'" /> - </onentry> - <onexit> - <log expr="'Exited Final State: step3'" /> - </onexit> - </final> -</scxml>
\ No newline at end of file |