diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-12 11:11:06 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-12 11:11:06 (GMT) |
| commit | fa90b5749693d9f5817ad1f106334a0877171fd3 (patch) | |
| tree | 8d53b5c820590cad54893bc575ef55df38f55d23 /test/w3c/draft/calc.scxml | |
| parent | c36b123a60278caef5d06e8a7d0b3d338d669c75 (diff) | |
| download | uscxml-fa90b5749693d9f5817ad1f106334a0877171fd3.zip uscxml-fa90b5749693d9f5817ad1f106334a0877171fd3.tar.gz uscxml-fa90b5749693d9f5817ad1f106334a0877171fd3.tar.bz2 | |
Major work on PROMELA datamodel
Diffstat (limited to 'test/w3c/draft/calc.scxml')
| -rw-r--r-- | test/w3c/draft/calc.scxml | 157 |
1 files changed, 0 insertions, 157 deletions
diff --git a/test/w3c/draft/calc.scxml b/test/w3c/draft/calc.scxml deleted file mode 100644 index bc6db8b..0000000 --- a/test/w3c/draft/calc.scxml +++ /dev/null @@ -1,157 +0,0 @@ -<?xml version="1.0"?> -<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" initial="on" datamodel="ecmascript" name="calc"> - <datamodel> - <data id="long_expr"/> - <data id="short_expr" expr="0"/> - <data id="res"/> - </datamodel> - <state id="wrapper" initial="on"> - <state id="on" initial="ready"> - <onentry> - <send event="DISPLAY.UPDATE"/> - </onentry> - <state id="ready" initial="begin"> - <state id="begin"> - <transition event="OPER.MINUS" target="negated1"/> - <onentry> - <send event="DISPLAY.UPDATE"/> - </onentry> - </state> - <state id="result"> - </state> - <transition event="OPER" target="opEntered"/> - <transition event="DIGIT.0" target="zero1"> - <assign location="short_expr" expr="''"/> - </transition> - <transition event="DIGIT" target="int1"> - <assign location="short_expr" expr="''"/> - </transition> - <transition event="POINT" target="frac1"> - <assign location="short_expr" expr="''"/> - </transition> - </state> - <state id="negated1"> - <onentry> - <assign location="short_expr" expr="'-'"/> - <send event="DISPLAY.UPDATE"/> - </onentry> - <transition event="DIGIT.0" target="zero1"/> - <transition event="DIGIT" target="int1"/> - <transition event="POINT" target="frac1"/> - </state> - <state id="operand1"> - <state id="zero1"> - <transition event="DIGIT" cond="_event.name != 'DIGIT.0'" target="int1"/> - <transition event="POINT" target="frac1"/> - </state> - <state id="int1"> - <transition event="POINT" target="frac1"/> - <transition event="DIGIT"> - <assign location="short_expr" expr="short_expr+_event.name.substr(_event.name.lastIndexOf('.')+1)"/> - <send event="DISPLAY.UPDATE"/> - </transition> - <onentry> - <assign location="short_expr" expr="short_expr+_event.name.substr(_event.name.lastIndexOf('.')+1)"/> - <send event="DISPLAY.UPDATE"/> - </onentry> - </state> - <state id="frac1"> - <onentry> - <assign location="short_expr" expr="short_expr+'.'"/> - <send event="DISPLAY.UPDATE"/> - </onentry> - <transition event="DIGIT"> - <assign location="short_expr" expr="short_expr+_event.name.substr(_event.name.lastIndexOf('.')+1)"/> - <send event="DISPLAY.UPDATE"/> - </transition> - </state> - <transition event="OPER" target="opEntered"/> - </state> - <state id="opEntered"> - <transition event="OPER.MINUS" target="negated2"/> - <transition event="POINT" target="frac2"/> - <transition event="DIGIT.0" target="zero2"/> - <transition event="DIGIT" target="int2"/> - <onentry> - <raise event="CALC.SUB"/> - <send target="_internal" event="OP.INSERT"> - <param name="operator" expr="_event.name"/> - </send> - </onentry> - </state> - <state id="negated2"> - <onentry> - <assign location="short_expr" expr="'-'"/> - <send event="DISPLAY.UPDATE"/> - </onentry> - <transition event="DIGIT.0" target="zero2"/> - <transition event="DIGIT" target="int2"/> - <transition event="POINT" target="frac2"/> - </state> - <state id="operand2"> - <state id="zero2"> - <transition event="DIGIT" cond="_event.name != 'DIGIT.0'" target="int2"/> - <transition event="POINT" target="frac2"/> - </state> - <state id="int2"> - <transition event="DIGIT"> - <assign location="short_expr" expr="short_expr+_event.name.substr(_event.name.lastIndexOf('.')+1)"/> - <send event="DISPLAY.UPDATE"/> - </transition> - <onentry> - <assign location="short_expr" expr="short_expr+_event.name.substr(_event.name.lastIndexOf('.')+1)"/> - <send event="DISPLAY.UPDATE"/> - </onentry> - <transition event="POINT" target="frac2"/> - </state> - <state id="frac2"> - <onentry> - <assign location="short_expr" expr="short_expr +'.'"/> - <send event="DISPLAY.UPDATE"/> - </onentry> - <transition event="DIGIT"> - <assign location="short_expr" expr="short_expr +_event.name.substr(_event.name.lastIndexOf('.')+1)"/> - <send event="DISPLAY.UPDATE"/> - </transition> - </state> - <transition event="OPER" target="opEntered"> - <raise event="CALC.SUB"/> - <raise event="OP.INSERT"/> - </transition> - <transition event="EQUALS" target="result"> - <raise event="CALC.SUB"/> - <raise event="CALC.DO"/> - </transition> - </state> - <transition event="C" target="on"/> - </state> - <transition event="CALC.DO"> - <assign location="short_expr" expr="''+ res"/> - <assign location="long_expr" expr="''"/> - <assign location="res" expr="0"/> - </transition> - <transition event="CALC.SUB"> - <if cond="short_expr!=''"> - <assign location="long_expr" expr="long_expr+'('+short_expr+')'"/> - </if> - <assign location="res" expr="eval(long_expr)"/> - <assign location="short_expr" expr="''"/> - <send event="DISPLAY.UPDATE"/> - </transition> - <transition event="DISPLAY.UPDATE"> - <!--log level="0" label="'result'" expr=".short_expr==''?res:short_expr" / --> - </transition> - <transition event="OP.INSERT"> - <log level="0" expr="_event.data[0]"/> - <if cond="_event.data[0] == 'OPER.PLUS'"> - <assign location="long_expr" expr="long_expr+'+'"/> - <elseif cond="_event.data[0]=='OPER.MINUS'"/> - <assign location="long_expr" expr="long_expr+'-'"/> - <elseif cond="_event.data[0]=='OPER.STAR'"/> - <assign location="long_expr" expr="long_expr+'*'"/> - <elseif cond="_event.data[0]=='OPER.DIV'"/> - <assign location="long_expr" expr="long_expr+'/'"/> - </if> - </transition> - </state> -</scxml> |