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-prolog.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-prolog.scxml')
-rw-r--r-- | test/samples/uscxml/test-prolog.scxml | 89 |
1 files changed, 0 insertions, 89 deletions
diff --git a/test/samples/uscxml/test-prolog.scxml b/test/samples/uscxml/test-prolog.scxml deleted file mode 100644 index a0a79cb..0000000 --- a/test/samples/uscxml/test-prolog.scxml +++ /dev/null @@ -1,89 +0,0 @@ -<scxml datamodel="prolog" name="outer"> - <!-- a nested SCXML interpreter with prolog --> - - <datamodel> - <data src="" /> - <data id="father"> - bob, jim. - bob, john. - </data> - <data id=""> - mother(martha, jim). - mother(martha, john). - </data> - <data id="household"> - { - name: "The Bobsons", - members: ['bob', 'martha', 'jim', 'john'] - } - </data> - <data id="childs"> - <child name="jim" father="bob" /> - <child name="john" father="bob" /> - </data> - </datamodel> - <state id="start"> - <!-- invoke type="http://www.w3.org/TR/scxml/" autoforward="true"> - <content> - <scxml datamodel="prolog" name="inner"> - <state id="idle"> - <onentry> - <log label="Entering inner" /> - <send target="#_parent" event="inner" /> - </onentry> - <transition target="end" event="foo" /> - <transition type="internal" event="*" target="idle"> - <log label="invoked" expr="event(name(X))." /> - </transition> - </state> - <state id="end" final="true" /> - </scxml> - </content> - </invoke --> - - <state id="s1"> - <onentry> - <log label="Entering s1" /> - <script> - :- dynamic ampel/1. - ampel(false). - ampel(X) :- retract(ampel(_)), assertz(ampel(X)). - </script> - <script type="query"> - ampel(true). - </script> - <assign location=""> - retract(father(bob, jim)). - assert(father(steve, jim)). - assert(father(bob, jack)). - </assign> - <log label="foreach" /> - <foreach array="father(bob, X)" - item="child" - index="index"> - <log label="index" expr="index(X)" /> - <log label="child" expr="child(X)" /> - </foreach> - </onentry> - <transition target="s2" - cond="mother(martha, X), father(bob, X), in(s1)"/> - </state> - <state id="s2"> - <onentry> - <log label="Entering s2" /> - <send type="basichttp" - targetexpr="ioprocessors(basichttp(location(X)))" - event="foo"> - <content> - <p>Snippet of XML</p> - </content> - </send> - </onentry> - <transition - target="end" - event="foo" - cond="member(element('p',_,_), X), event(data(X))" /> - </state> - </state> - <state id="end" final="true" /> -</scxml> |