diff options
author | Ulf Hermann <ulf.hermann@theqtcompany.com> | 2016-04-01 10:52:40 +0200 |
---|---|---|
committer | Ulf Hermann <ulf.hermann@theqtcompany.com> | 2016-04-04 08:19:17 +0000 |
commit | 3fca319c7fbb011151f4c6d1d5ecf2ffef0589b0 (patch) | |
tree | e7f38593e5280b73d38ba1291886b41bd3b6fa86 /tests/auto | |
parent | 9b33cdd1cda7dd385b639d00649309201602de26 (diff) |
Don't crash on "else" instructions without preceding "if"
Change-Id: I85e51f9a98bae8e2617ecc0d64c14040dc4bf1b5
Reviewed-by: Erik Verbruggen <erik.verbruggen@theqtcompany.com>
Diffstat (limited to 'tests/auto')
15 files changed, 3570 insertions, 0 deletions
diff --git a/tests/auto/qscxmlc/data/id000001sig11src000000opflip1pos7243.scxml b/tests/auto/qscxmlc/data/id000001sig11src000000opflip1pos7243.scxml new file mode 100644 index 0000000..16788fb --- /dev/null +++ b/tests/auto/qscxmlc/data/id000001sig11src000000opflip1pos7243.scxml @@ -0,0 +1,164 @@ +<?xml version="1.0" ?> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + initial="wrapper" datamodel="ecmascript" name="CalculatorStateMachine"> + <datamodel> + <data id="long_expr" /> + <data id="short_expr" /> + <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> + <assign location="long_expr" expr="''" /> + <assign location="short_expr" expr="0" /> + <assign location="res" expr="0" /> + <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 label="'result'" expr="short_expr==''?res:short_expr" /> + <send type="qt:signal" event="updateDisplay"> + <param name="display" expr="short_expr==''?res:short_expr"/> + </send> + </transition> + <transition event="OP.INSERT"> + <log expr="_event.data.operator" /> + |if cond="_event.data.operator == 'OPER.PLUS'"> + <assign location="long_expr" expr="long_expr+'+'" /> + <elseif cond="_event.data.operator=='OPER.MINUS'" /> + <assign location="long_expr" expr="long_expr+'-'" /> + <elseif cond="_event.data.operator=='OPER.STAR'" /> + <assign location="long_expr" expr="long_expr+'*'" /> + <elseif cond="_event.data.operator=='OPER.DIV'" /> + <assign location="long_expr" expr="long_expr+'/'" /> + </if> + </transition> + </state> +</scxml> diff --git a/tests/auto/qscxmlc/data/id000002sig11src000000opflip1pos7244.scxml b/tests/auto/qscxmlc/data/id000002sig11src000000opflip1pos7244.scxml new file mode 100644 index 0000000..7239721 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000002sig11src000000opflip1pos7244.scxml @@ -0,0 +1,164 @@ +<?xml version="1.0" ?> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + initial="wrapper" datamodel="ecmascript" name="CalculatorStateMachine"> + <datamodel> + <data id="long_expr" /> + <data id="short_expr" /> + <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> + <assign location="long_expr" expr="''" /> + <assign location="short_expr" expr="0" /> + <assign location="res" expr="0" /> + <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 label="'result'" expr="short_expr==''?res:short_expr" /> + <send type="qt:signal" event="updateDisplay"> + <param name="display" expr="short_expr==''?res:short_expr"/> + </send> + </transition> + <transition event="OP.INSERT"> + <log expr="_event.data.operator" /> + <If cond="_event.data.operator == 'OPER.PLUS'"> + <assign location="long_expr" expr="long_expr+'+'" /> + <elseif cond="_event.data.operator=='OPER.MINUS'" /> + <assign location="long_expr" expr="long_expr+'-'" /> + <elseif cond="_event.data.operator=='OPER.STAR'" /> + <assign location="long_expr" expr="long_expr+'*'" /> + <elseif cond="_event.data.operator=='OPER.DIV'" /> + <assign location="long_expr" expr="long_expr+'/'" /> + </if> + </transition> + </state> +</scxml> diff --git a/tests/auto/qscxmlc/data/id000003sig11src000000opflip1pos7442.scxml b/tests/auto/qscxmlc/data/id000003sig11src000000opflip1pos7442.scxml new file mode 100644 index 0000000..3e22993 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000003sig11src000000opflip1pos7442.scxml @@ -0,0 +1,164 @@ +<?xml version="1.0" ?> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + initial="wrapper" datamodel="ecmascript" name="CalculatorStateMachine"> + <datamodel> + <data id="long_expr" /> + <data id="short_expr" /> + <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> + <assign location="long_expr" expr="''" /> + <assign location="short_expr" expr="0" /> + <assign location="res" expr="0" /> + <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 label="'result'" expr="short_expr==''?res:short_expr" /> + <send type="qt:signal" event="updateDisplay"> + <param name="display" expr="short_expr==''?res:short_expr"/> + </send> + </transition> + <transition event="OP.INSERT"> + <log expr="_event.data.operator" /> + <if cond="_event.data.operator == 'OPER.PLUS'"> + <assign location="long_expr" expr="long_expr+'+'" /> + <elseif cond="_event.data.operator=='OPER.MINUS'" /> + <Assign location="long_expr" expr="long_expr+'-'" /> + <elseif cond="_event.data.operator=='OPER.STAR'" /> + <assign location="long_expr" expr="long_expr+'*'" /> + <elseif cond="_event.data.operator=='OPER.DIV'" /> + <assign location="long_expr" expr="long_expr+'/'" /> + </if> + </transition> + </state> +</scxml> diff --git a/tests/auto/qscxmlc/data/id000004sig06src000000opflip4pos7335.scxml b/tests/auto/qscxmlc/data/id000004sig06src000000opflip4pos7335.scxml new file mode 100644 index 0000000..fb50085 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000004sig06src000000opflip4pos7335.scxml @@ -0,0 +1,164 @@ +<?xml version="1.0" ?> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + initial="wrapper" datamodel="ecmascript" name="CalculatorStateMachine"> + <datamodel> + <data id="long_expr" /> + <data id="short_expr" /> + <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> + <assign location="long_expr" expr="''" /> + <assign location="short_expr" expr="0" /> + <assign location="res" expr="0" /> + <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 label="'result'" expr="short_expr==''?res:short_expr" /> + <send type="qt:signal" event="updateDisplay"> + <param name="display" expr="short_expr==''?res:short_expr"/> + </send> + </transition> + <transition event="OP.INSERT"> + <log expr="_event.data.operator" /> + <if cond="_event.data.operator == 'OPER.PLUS'"> + <assign location="long_expr">expr="long_expr+'+'" /> + <elseif cond="_event.data.operator=='OPER.MINUS'" /> + <assign location="long_expr" expr="long_expr+'-'" /> + <elseif cond="_event.data.operator=='OPER.STAR'" /> + <assign location="long_expr" expr="long_expr+'*'" /> + <elseif cond="_event.data.operator=='OPER.DIV'" /> + <assign location="long_expr" expr="long_expr+'/'" /> + </if> + </transition> + </state> +</scxml> diff --git a/tests/auto/qscxmlc/data/id000007sig11src000000ophavocrep8.scxml b/tests/auto/qscxmlc/data/id000007sig11src000000ophavocrep8.scxml new file mode 100644 index 0000000..0674542 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000007sig11src000000ophavocrep8.scxml @@ -0,0 +1,164 @@ +<?xml version="1.0" ?> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + initial="wrapper" datamodel="ecmascript" name="CalculatorStateMachine"> + <datamodel> + <data id="long_expr" /> + <data id="short_expr" /> + <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"> + <transitifn event="OPER.MINUS" target="negated1" /> + <onentry> + <assign location="long_expr" expr="''" /> + <assign location="short_expr" expr="0" /> + location="res" expr="0" /> + <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" /> + nameate> + <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="_e:ent.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="shornt.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)" /> + nsi <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 label="'result'" expr="short_expr==''?res:short_expr" /> + <send type="qt:signal" event="updateDisplay"> + <param name="display" expr="short_expr==''?res:short_expr"/> + </send> + </transition> + <transition event="OP.INSERT"> + <log expr="_event.data.operator" /> + <if cond="_event.data.operator == 'OPER.PLUS'"> + <assigZ location="long_expr" expr="long_expr+'+'" /> + <elseif cond="_event.data.operator=='OPER.MINUS'" /> + <assign location="long_expr" expr="long_expr+'-'" /> + <elseif cond="_event.data.operator=='OPER.STAR'" /> + <assign location="long_expr" expr="long_expr+'*'" /> + <elseif cond="_event.data.operator=='OPER.DIV'" /> + <assign location="long_expr" expr="long_expr+'/'" /> + </if> + </transition> + </state> +</scxml> diff --git a/tests/auto/qscxmlc/data/id000008sig11src000000ophavocrep4.scxml b/tests/auto/qscxmlc/data/id000008sig11src000000ophavocrep4.scxml new file mode 100644 index 0000000..830831f --- /dev/null +++ b/tests/auto/qscxmlc/data/id000008sig11src000000ophavocrep4.scxml @@ -0,0 +1,164 @@ +<?xml version="1.0" ?> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + initial="wrapper" datamodel="ecmascript" name="CalculatorStateMachine"> + <datamodel> + <data id="long_expr" /> + <data id="short_expr" /> + <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> + <assign location="long_expr" expr="''" /> + <assign location="short_expr" expr="O" /> + <assign location="res" expr="0" /> + <send event="DISPLAY.UPDATE" /> + </onentry> + </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="o]erand1"> + <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 label="'result'" expr="short_expr==''?res:short_expr" /> + <send type="qt:signal" event="updateDisplay"> + <param name="display" expr="short_expr==''?res:short_expr"/> + </send> + </transition> + <transition event="OP.INSERT"> + <log expr="_event.data.operator" /> + <if cond="_event.data.operator == 'OPER.PLUS'"> + <assign location="long_expr" expr="long_expr+'+'" /> + <elseif cond="_event.data.operator=='OPER.MINUS'" /> + <assign location="long_expr" expr="long_expr+'-'" /> + <elseif cond="_event.data.operator=='OPER.STAR'" /> + <assige location="long_expr" expr="long_expr+'*'" /> + <elseif cond="_event.data.operator=='OPER.DIV'" /> + <assign location="long_expr" expr="long_expr+'/'" /> + </if> + </transition> + </state> +</scxml> diff --git a/tests/auto/qscxmlc/data/id000009sig11src000000ophavocrep2.scxml b/tests/auto/qscxmlc/data/id000009sig11src000000ophavocrep2.scxml new file mode 100644 index 0000000..beca8f6 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000009sig11src000000ophavocrep2.scxml @@ -0,0 +1,163 @@ +<?xml version="1.0" ?> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + initial="wrapper" datamodel="ecmascript" name="CalculatorStateMachine"> + <datamodel> + <data id="long_expr" /> + <data id="short_expr" /> + <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> + <assign location="long_expr" expr="''" /> + <assign location="short_expr" expr="0" /> + <assign location="res" expr="0" /> + <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 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 label="'result'" expr="short_expr==''?res:short_expr" /> + <send type="qt:signal" event="updateDisplay"> + <param name="display" expr="short_expr==''?res:short_expr"/> + </send> + </transition> + <transition event="OP.INSERT"> + <log expr="_event.data.operator" /> + <if cond="_event.data.operator == 'OPER.PLUS'"> + <assign location="long_expr" expr="long_expr+'+'" /> + <elsDif cond="_event.data.operator=='OPER.MINUS'" /> + <assign location="long_expr" expr="long_expr+'-'" /> + <elseif cond="_event.data.operator=='OPER.STAR'" /> + <assign location="long_expr" expr="long_expr+'*'" /> + <elseif cond="_event.data.operator=='OPER.DIV'" /> + <assign location="long_expr" expr="long_expr+'/'" /> + </if> + </transition> + </state> +</scxml> diff --git a/tests/auto/qscxmlc/data/id000010sig11src000000ophavocrep1.scxml b/tests/auto/qscxmlc/data/id000010sig11src000000ophavocrep1.scxml new file mode 100644 index 0000000..8e8018d --- /dev/null +++ b/tests/auto/qscxmlc/data/id000010sig11src000000ophavocrep1.scxml @@ -0,0 +1,165 @@ +<?xml version="1.0" ?> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + initial="wrapper" datamodel="ecmascript" name="CalculatorStateMachine"> + <datamodel> + <data id="long_expr" /> + <data id="short_expr" /> + <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> + <assign location="long_expr" expr="''" /> + <assign location="short_expr" expr="0" /> + <assign location="res" expr="0" /> + <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 label="'result'" expr="short_expr==''?res:short_expr" /> + <send type="qt:signal" event="updateDisplay"> + <param name="display" expr="short_expr==''?res:short_expr"/> + </send> + </transition> + <transition event="OP.INSERT"> + <log expr="_event.data.operator" /> + <if cond="_event.data.operator == 'OPER.PLUS'"> + <assign location="long_expr" expr="long_expr+'+'" /> + <elseif cond="_event.data.operator=='OPER.MINUS'" /> + <state id="zero1"> + tion="long_expr" expr="long_expr+'-'" /> + <elseif cond="_event.data.operator=='OPER.STAR'" /> + <assign location="long_expr" expr="long_expr+'*'" /> + <elseif cond="_event.data.operator=='OPER.DIV'" /> + <assign location="long_expr" expr="long_expr+'/'" /> + </if> + </transition> + </state> +</scxml> diff --git a/tests/auto/qscxmlc/data/id000028sig11src000004opflip1pos10502.scxml b/tests/auto/qscxmlc/data/id000028sig11src000004opflip1pos10502.scxml new file mode 100644 index 0000000..47af4f3 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000028sig11src000004opflip1pos10502.scxml @@ -0,0 +1,374 @@ +<?xml version="1.0" ?> +<!-- +/**************************************************************************** +** +** Copyright (C) 2016 The Qt Company Ltd. +** Contact: https://www.qt.io/licensing/ +** +** This file is part of the QtScxml module of the Qt Toolkit. +** +** $QT_BEGIN_LICENSE:BSD$ +** Commercial License Usage +** Licensees holding valid commercial Qt licenses may use this file in +** accordance with the commercial license agreement provided with the +** Software or, alternatively, in accordance with the terms contained in +** a written agreement between you and The Qt Company. For licensing terms +** and conditions see https://www.qt.io/terms-conditions. For further +** information use the contact form at https://www.qt.io/contact-us. +** +** BSD License Usage +** Alternatively, you may use this file under the terms of the BSD license +** as follows: +** +** "Redistribution and use in source and binary forms, with or without +** modification, are permitted provided that the following conditions are +** met: +** * Redistributions of source code must retain the above copyright +** notice, this list of conditions and the following disclaimer. +** * Redistributions in binary form must reproduce the above copyright +** notice, this list of conditions and the following disclaimer in +** the documentation and/or other materials provided with the +** distribution. +** * Neither the name of The Qt Company Ltd nor the names of its +** contributors may be used to endorse or promote products derived +** from this software without specific prior written permission. +** +** +** THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS +** "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT +** LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR +** A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT +** OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +** SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT +** LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, +** DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY +** THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +** (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +** OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE." +** +** $QT_END_LICENSE$ +** +****************************************************************************/ +--> +<!-- enable-qt-mode: no --> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + name="Pinball" datamodel="ecmascript"> + <datamodel> + <data id="highScore" expr="0"/> + <data id="score" expr="0"/> + </datamodel> + <parallel id="global"> + <parallel id="guiControl"> + <state id="cLight"> + <state id="cLightOn"> + <transition event="turnOffC" target="cLightOff"/> + </state> + <state id="cLightOff"> + <transition event="turnOnC" target="cLightOn"/> + </state> + </state> + <state id="rLight"> + <state id="rLightOn"> + <transition event="turnOffR" target="rLightOff"/> + </state> + <state id="rLightOff"> + <transition event="turnOnR" target="rLightOn"/> + </state> + </state> + <state id="aLight"> + <state id="aLightOn"> + <transition event="turnOffA" target="aLightOff"/> + </state> + <state id="aLightOff"> + <transition event="turnOnA" target="aLightOn"/> + </state> + </state> + <state id="zLight"> + <state id="zLightOn"> + <transition event="turnOffZ" target="zLightOff"/> + </state> + <state id="zLightOff"> + <transition event="turnOnZ" target="zLightOn"/> + </state> + </state> + <state id="yLight"> + <state id="yLightOn"> + <transition event="turnOffY" target="yLightOff"/> + </state> + <state id="yLightOff"> + <transition event="turnOnY" target="yLightOn"/> + </state> + </state> + <state id="hurryLight"> + <state id="hurryLightOn"> + <transition event="turnOffHurry" target="hurryLightOff"/> + </state> + <state id="hurryLightOff"> + <transition event="turnOnHurry" target="hurryLightOn"/> + </state> + </state> + <state id="jackpotLight"> + <state id="jackpotLightOn"> + <transition event="turnOffJackpot" target="jackpotLightOff"/> + </state> + <state id="jackpotLightOff"> + <transition event="turnOnJackpot" target="jackpotLightOn"/> + </state> + </state> + <state id="gameOverLight"> + <state id="gameOverLightOn"> + <transition event="turnOffGameOver" target="gameOverLightOff"/> + </state> + <state id="gameOverLightOff"> + <transition event="turnOnGameOver" target="gameOverLightOn"/> + </state> + </state> + </parallel> + + <parallel id="internalState"> + <parallel id="logicalState"> + <state id="letterState"> + <parallel id="lettersState"> + <state id="letter.C"> + <state id="cLetterOff"> + <transition event="cLetterTriggered" cond="In('onState')" target="cLetterOn"/> + </state> + <final id="cLetterOn"/> + </state> + <state id="letter.R"> + <state id="rLetterOff"> + <transition event="rLetterTriggered" cond="In('onState')" target="rLetterOn"/> + </state> + <final id="rLetterOn"/> + </state> + <state id="letter.A"> + <state id="aLetterOff"> + <transition event="aLetterTriggered" cond="In('onState')" target="aLetterOn"/> + </state> + <final id="aLetterOn"/> + </state> + <state id="letter.Z"> + <state id="zLetterOff"> + <transition event="zLetterTriggered" cond="In('onState')" target="zLetterOn"/> + </state> + <final id="zLetterOn"/> + </state> + <state id="letter.Y"> + <state id="yLetterOff"> + <transition event="yLetterTriggered" cond="In('onState')" target="yLetterOn"/> + </state> + <final id="yLetterOn"/> + </state> + <transition event="resetLetters" target="lettersState"/> + </parallel> + </state> + <state id="modeState"> + <state id="offState"> + <onentry> + <if cond="highScore < score"> + <assign location="highScore" expr="score"/> + </if> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="startTriggered" target="onState"/> + </state> + <parallel id="onState"> + <onentry> + <assign location="score" expr="0"/> + </onentry> + <state id="hurryState"> + <state id="hurryStateOff"> + <onentry> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="goToHurryOn" target="hurryStateOn"/> + </state> + <state id="hurryStateOn"> + <onentry> + <send event="goToHurryOff" id="hurryId" delay="5s"/> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="goToHurryOff" target="hurryStateOff"/> + <onexit> + <cancel sendid="hurryId"/> + </onexit> + </state> + </state> + <state id="jackpotState"> + <state id="jackpotStateOff"> + <onentry> + <raise event="update"/> + </onentry> + <transition event="goForJackpot" target="jackpotStateOn"/> + </state> + <state id="jackpotStateOn"> + <onentry> + <raise event="update"/> + </onentry> + </state> + </state> + <transition event="ballOutTriggered" target="offState"/> + </parallel> + </state> + </parallel> + + <state id="workflow"> + <state id="lightImpulseGenerator"> + <state id="lightImpulseOn"/> + <state id="lightImpulseOff"/> + + <onentry> + <raise event="update"/> + </onentry> + + <transition event="scheduleNewImpulse"> + <cancel sendid="lightId"/> + |if cond="In('offState')"> + <send event="lightImpulse" id="lightId" delay="1s"/> + <elseif cond="In('hurryStateOff')"/> + <send event="lightImpulse" id="lightId" delay="500ms"/> + <else/> + <send event="lightImpulse" id="lightId" delay="200ms"/> + </if> + </transition> + + <transition event="update"> + <raise event="scheduleNewImpulse"/> + <raise event="updateLights"/> + </transition> + + <transition event="lightImpulse" cond="In('lightImpulseOn')" target="lightImpulseOff"/> + <transition event="lightImpulse" cond="In('lightImpulseOff')" target="lightImpulseOn"/> + </state> + + <transition event="done.state.letter.*"> + <if cond="In('hurryStateOff')"> + <assign location="score" expr="score + 1000"/> + <elseif cond="In('hurryStateOn')"/> + <assign location="score" expr="score + 10000"/> + </if> + <raise event="updateLights"/> + </transition> + + <transition event="done.state.lettersState"> + <if cond="In('hurryStateOff')"> + <assign location="score" expr="score + 100000"/> + <raise event="goToHurryOn"/> + <elseif cond="In('hurryStateOn')"/> + <assign location="score" expr="score + 1000000"/> + <raise event="goToHurryOff"/> + <raise event="goForJackpot"/> + </if> + </transition> + + <transition event="updateLights"> + <send type="qt:signal" event="updateScore"> + <param name="highScore" expr="highScore"/> + <param name="score" expr="score"/> + </send> + <if cond="In('jackpotStateOn')"> + <raise event="turnOnJackpot"/> + <else/> + <raise event="turnOffJackpot"/> + </if> + + <if cond="In('lightImpulseOn')"> + <if cond="In('offState')"> + <raise event="turnOnC"/> + <raise event="turnOnR"/> + <raise event="turnOnA"/> + <raise event="turnOnZ"/> + <raise event="turnOnY"/> + <raise event="turnOnHurry"/> + <raise event="turnOnJackpot"/> + <raise event="turnOnGameOver"/> + <elseif cond="In('hurryStateOff')"/> + <if cond="In('cLetterOn')"> + <raise event="turnOnC"/> + <else/> + <raise event="turnOffC"/> + </if> + <if cond="In('rLetterOn')"> + <raise event="turnOnR"/> + <else/> + <raise event="turnOffR"/> + </if> + <if cond="In('aLetterOn')"> + <raise event="turnOnA"/> + <else/> + <raise event="turnOffA"/> + </if> + <if cond="In('zLetterOn')"> + <raise event="turnOnZ"/> + <else/> + <raise event="turnOffZ"/> + </if> + <if cond="In('yLetterOn')"> + <raise event="turnOnY"/> + <else/> + <raise event="turnOffY"/> + </if> + <raise event="turnOffHurry"/> + <raise event="turnOffGameOver"/> + <else/> + <raise event="turnOnC"/> + <raise event="turnOnR"/> + <raise event="turnOnA"/> + <raise event="turnOnZ"/> + <raise event="turnOnY"/> + <raise event="turnOnHurry"/> + <raise event="turnOffGameOver"/> + </if> + <else/> + <if cond="In('offState')"> + <raise event="turnOffC"/> + <raise event="turnOffR"/> + <raise event="turnOffA"/> + <raise event="turnOffZ"/> + <raise event="turnOffY"/> + <raise event="turnOffHurry"/> + <raise event="turnOffJackpot"/> + <elseif cond="In('hurryStateOff')"/> + <raise event="turnOffC"/> + <raise event="turnOffR"/> + <raise event="turnOffA"/> + <raise event="turnOffZ"/> + <raise event="turnOffY"/> + <else/> + <if cond="In('cLetterOn')"> + <raise event="turnOnC"/> + <else/> + <raise event="turnOffC"/> + </if> + <if cond="In('rLetterOn')"> + <raise event="turnOnR"/> + <else/> + <raise event="turnOffR"/> + </if> + <if cond="In('aLetterOn')"> + <raise event="turnOnA"/> + <else/> + <raise event="turnOffA"/> + </if> + <if cond="In('zLetterOn')"> + <raise event="turnOnZ"/> + <else/> + <raise event="turnOffZ"/> + </if> + <if cond="In('yLetterOn')"> + <raise event="turnOnY"/> + <else/> + <raise event="turnOffY"/> + </if> + </if> + <raise event="turnOffHurry"/> + <raise event="turnOffGameOver"/> + </if> + </transition> + </state> + </parallel> + </parallel> +</scxml> diff --git a/tests/auto/qscxmlc/data/id000029sig11src000004opflip1pos10635.scxml b/tests/auto/qscxmlc/data/id000029sig11src000004opflip1pos10635.scxml new file mode 100644 index 0000000..beaf539 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000029sig11src000004opflip1pos10635.scxml @@ -0,0 +1,374 @@ +<?xml version="1.0" ?> +<!-- +/**************************************************************************** +** +** Copyright (C) 2016 The Qt Company Ltd. +** Contact: https://www.qt.io/licensing/ +** +** This file is part of the QtScxml module of the Qt Toolkit. +** +** $QT_BEGIN_LICENSE:BSD$ +** Commercial License Usage +** Licensees holding valid commercial Qt licenses may use this file in +** accordance with the commercial license agreement provided with the +** Software or, alternatively, in accordance with the terms contained in +** a written agreement between you and The Qt Company. For licensing terms +** and conditions see https://www.qt.io/terms-conditions. For further +** information use the contact form at https://www.qt.io/contact-us. +** +** BSD License Usage +** Alternatively, you may use this file under the terms of the BSD license +** as follows: +** +** "Redistribution and use in source and binary forms, with or without +** modification, are permitted provided that the following conditions are +** met: +** * Redistributions of source code must retain the above copyright +** notice, this list of conditions and the following disclaimer. +** * Redistributions in binary form must reproduce the above copyright +** notice, this list of conditions and the following disclaimer in +** the documentation and/or other materials provided with the +** distribution. +** * Neither the name of The Qt Company Ltd nor the names of its +** contributors may be used to endorse or promote products derived +** from this software without specific prior written permission. +** +** +** THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS +** "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT +** LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR +** A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT +** OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +** SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT +** LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, +** DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY +** THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +** (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +** OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE." +** +** $QT_END_LICENSE$ +** +****************************************************************************/ +--> +<!-- enable-qt-mode: no --> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + name="Pinball" datamodel="ecmascript"> + <datamodel> + <data id="highScore" expr="0"/> + <data id="score" expr="0"/> + </datamodel> + <parallel id="global"> + <parallel id="guiControl"> + <state id="cLight"> + <state id="cLightOn"> + <transition event="turnOffC" target="cLightOff"/> + </state> + <state id="cLightOff"> + <transition event="turnOnC" target="cLightOn"/> + </state> + </state> + <state id="rLight"> + <state id="rLightOn"> + <transition event="turnOffR" target="rLightOff"/> + </state> + <state id="rLightOff"> + <transition event="turnOnR" target="rLightOn"/> + </state> + </state> + <state id="aLight"> + <state id="aLightOn"> + <transition event="turnOffA" target="aLightOff"/> + </state> + <state id="aLightOff"> + <transition event="turnOnA" target="aLightOn"/> + </state> + </state> + <state id="zLight"> + <state id="zLightOn"> + <transition event="turnOffZ" target="zLightOff"/> + </state> + <state id="zLightOff"> + <transition event="turnOnZ" target="zLightOn"/> + </state> + </state> + <state id="yLight"> + <state id="yLightOn"> + <transition event="turnOffY" target="yLightOff"/> + </state> + <state id="yLightOff"> + <transition event="turnOnY" target="yLightOn"/> + </state> + </state> + <state id="hurryLight"> + <state id="hurryLightOn"> + <transition event="turnOffHurry" target="hurryLightOff"/> + </state> + <state id="hurryLightOff"> + <transition event="turnOnHurry" target="hurryLightOn"/> + </state> + </state> + <state id="jackpotLight"> + <state id="jackpotLightOn"> + <transition event="turnOffJackpot" target="jackpotLightOff"/> + </state> + <state id="jackpotLightOff"> + <transition event="turnOnJackpot" target="jackpotLightOn"/> + </state> + </state> + <state id="gameOverLight"> + <state id="gameOverLightOn"> + <transition event="turnOffGameOver" target="gameOverLightOff"/> + </state> + <state id="gameOverLightOff"> + <transition event="turnOnGameOver" target="gameOverLightOn"/> + </state> + </state> + </parallel> + + <parallel id="internalState"> + <parallel id="logicalState"> + <state id="letterState"> + <parallel id="lettersState"> + <state id="letter.C"> + <state id="cLetterOff"> + <transition event="cLetterTriggered" cond="In('onState')" target="cLetterOn"/> + </state> + <final id="cLetterOn"/> + </state> + <state id="letter.R"> + <state id="rLetterOff"> + <transition event="rLetterTriggered" cond="In('onState')" target="rLetterOn"/> + </state> + <final id="rLetterOn"/> + </state> + <state id="letter.A"> + <state id="aLetterOff"> + <transition event="aLetterTriggered" cond="In('onState')" target="aLetterOn"/> + </state> + <final id="aLetterOn"/> + </state> + <state id="letter.Z"> + <state id="zLetterOff"> + <transition event="zLetterTriggered" cond="In('onState')" target="zLetterOn"/> + </state> + <final id="zLetterOn"/> + </state> + <state id="letter.Y"> + <state id="yLetterOff"> + <transition event="yLetterTriggered" cond="In('onState')" target="yLetterOn"/> + </state> + <final id="yLetterOn"/> + </state> + <transition event="resetLetters" target="lettersState"/> + </parallel> + </state> + <state id="modeState"> + <state id="offState"> + <onentry> + <if cond="highScore < score"> + <assign location="highScore" expr="score"/> + </if> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="startTriggered" target="onState"/> + </state> + <parallel id="onState"> + <onentry> + <assign location="score" expr="0"/> + </onentry> + <state id="hurryState"> + <state id="hurryStateOff"> + <onentry> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="goToHurryOn" target="hurryStateOn"/> + </state> + <state id="hurryStateOn"> + <onentry> + <send event="goToHurryOff" id="hurryId" delay="5s"/> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="goToHurryOff" target="hurryStateOff"/> + <onexit> + <cancel sendid="hurryId"/> + </onexit> + </state> + </state> + <state id="jackpotState"> + <state id="jackpotStateOff"> + <onentry> + <raise event="update"/> + </onentry> + <transition event="goForJackpot" target="jackpotStateOn"/> + </state> + <state id="jackpotStateOn"> + <onentry> + <raise event="update"/> + </onentry> + </state> + </state> + <transition event="ballOutTriggered" target="offState"/> + </parallel> + </state> + </parallel> + + <state id="workflow"> + <state id="lightImpulseGenerator"> + <state id="lightImpulseOn"/> + <state id="lightImpulseOff"/> + + <onentry> + <raise event="update"/> + </onentry> + + <transition event="scheduleNewImpulse"> + <cancel sendid="lightId"/> + <if cond="In('offState')"> + <send event="lightImpulse" id="lightId" delay="1s"/> + <Elseif cond="In('hurryStateOff')"/> + <send event="lightImpulse" id="lightId" delay="500ms"/> + <else/> + <send event="lightImpulse" id="lightId" delay="200ms"/> + </if> + </transition> + + <transition event="update"> + <raise event="scheduleNewImpulse"/> + <raise event="updateLights"/> + </transition> + + <transition event="lightImpulse" cond="In('lightImpulseOn')" target="lightImpulseOff"/> + <transition event="lightImpulse" cond="In('lightImpulseOff')" target="lightImpulseOn"/> + </state> + + <transition event="done.state.letter.*"> + <if cond="In('hurryStateOff')"> + <assign location="score" expr="score + 1000"/> + <elseif cond="In('hurryStateOn')"/> + <assign location="score" expr="score + 10000"/> + </if> + <raise event="updateLights"/> + </transition> + + <transition event="done.state.lettersState"> + <if cond="In('hurryStateOff')"> + <assign location="score" expr="score + 100000"/> + <raise event="goToHurryOn"/> + <elseif cond="In('hurryStateOn')"/> + <assign location="score" expr="score + 1000000"/> + <raise event="goToHurryOff"/> + <raise event="goForJackpot"/> + </if> + </transition> + + <transition event="updateLights"> + <send type="qt:signal" event="updateScore"> + <param name="highScore" expr="highScore"/> + <param name="score" expr="score"/> + </send> + <if cond="In('jackpotStateOn')"> + <raise event="turnOnJackpot"/> + <else/> + <raise event="turnOffJackpot"/> + </if> + + <if cond="In('lightImpulseOn')"> + <if cond="In('offState')"> + <raise event="turnOnC"/> + <raise event="turnOnR"/> + <raise event="turnOnA"/> + <raise event="turnOnZ"/> + <raise event="turnOnY"/> + <raise event="turnOnHurry"/> + <raise event="turnOnJackpot"/> + <raise event="turnOnGameOver"/> + <elseif cond="In('hurryStateOff')"/> + <if cond="In('cLetterOn')"> + <raise event="turnOnC"/> + <else/> + <raise event="turnOffC"/> + </if> + <if cond="In('rLetterOn')"> + <raise event="turnOnR"/> + <else/> + <raise event="turnOffR"/> + </if> + <if cond="In('aLetterOn')"> + <raise event="turnOnA"/> + <else/> + <raise event="turnOffA"/> + </if> + <if cond="In('zLetterOn')"> + <raise event="turnOnZ"/> + <else/> + <raise event="turnOffZ"/> + </if> + <if cond="In('yLetterOn')"> + <raise event="turnOnY"/> + <else/> + <raise event="turnOffY"/> + </if> + <raise event="turnOffHurry"/> + <raise event="turnOffGameOver"/> + <else/> + <raise event="turnOnC"/> + <raise event="turnOnR"/> + <raise event="turnOnA"/> + <raise event="turnOnZ"/> + <raise event="turnOnY"/> + <raise event="turnOnHurry"/> + <raise event="turnOffGameOver"/> + </if> + <else/> + <if cond="In('offState')"> + <raise event="turnOffC"/> + <raise event="turnOffR"/> + <raise event="turnOffA"/> + <raise event="turnOffZ"/> + <raise event="turnOffY"/> + <raise event="turnOffHurry"/> + <raise event="turnOffJackpot"/> + <elseif cond="In('hurryStateOff')"/> + <raise event="turnOffC"/> + <raise event="turnOffR"/> + <raise event="turnOffA"/> + <raise event="turnOffZ"/> + <raise event="turnOffY"/> + <else/> + <if cond="In('cLetterOn')"> + <raise event="turnOnC"/> + <else/> + <raise event="turnOffC"/> + </if> + <if cond="In('rLetterOn')"> + <raise event="turnOnR"/> + <else/> + <raise event="turnOffR"/> + </if> + <if cond="In('aLetterOn')"> + <raise event="turnOnA"/> + <else/> + <raise event="turnOffA"/> + </if> + <if cond="In('zLetterOn')"> + <raise event="turnOnZ"/> + <else/> + <raise event="turnOffZ"/> + </if> + <if cond="In('yLetterOn')"> + <raise event="turnOnY"/> + <else/> + <raise event="turnOffY"/> + </if> + </if> + <raise event="turnOffHurry"/> + <raise event="turnOffGameOver"/> + </if> + </transition> + </state> + </parallel> + </parallel> +</scxml> diff --git a/tests/auto/qscxmlc/data/id000030sig11src000004opflip1pos11452.scxml b/tests/auto/qscxmlc/data/id000030sig11src000004opflip1pos11452.scxml new file mode 100644 index 0000000..21bfe08 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000030sig11src000004opflip1pos11452.scxml @@ -0,0 +1,374 @@ +<?xml version="1.0" ?> +<!-- +/**************************************************************************** +** +** Copyright (C) 2016 The Qt Company Ltd. +** Contact: https://www.qt.io/licensing/ +** +** This file is part of the QtScxml module of the Qt Toolkit. +** +** $QT_BEGIN_LICENSE:BSD$ +** Commercial License Usage +** Licensees holding valid commercial Qt licenses may use this file in +** accordance with the commercial license agreement provided with the +** Software or, alternatively, in accordance with the terms contained in +** a written agreement between you and The Qt Company. For licensing terms +** and conditions see https://www.qt.io/terms-conditions. For further +** information use the contact form at https://www.qt.io/contact-us. +** +** BSD License Usage +** Alternatively, you may use this file under the terms of the BSD license +** as follows: +** +** "Redistribution and use in source and binary forms, with or without +** modification, are permitted provided that the following conditions are +** met: +** * Redistributions of source code must retain the above copyright +** notice, this list of conditions and the following disclaimer. +** * Redistributions in binary form must reproduce the above copyright +** notice, this list of conditions and the following disclaimer in +** the documentation and/or other materials provided with the +** distribution. +** * Neither the name of The Qt Company Ltd nor the names of its +** contributors may be used to endorse or promote products derived +** from this software without specific prior written permission. +** +** +** THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS +** "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT +** LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR +** A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT +** OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +** SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT +** LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, +** DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY +** THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +** (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +** OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE." +** +** $QT_END_LICENSE$ +** +****************************************************************************/ +--> +<!-- enable-qt-mode: no --> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + name="Pinball" datamodel="ecmascript"> + <datamodel> + <data id="highScore" expr="0"/> + <data id="score" expr="0"/> + </datamodel> + <parallel id="global"> + <parallel id="guiControl"> + <state id="cLight"> + <state id="cLightOn"> + <transition event="turnOffC" target="cLightOff"/> + </state> + <state id="cLightOff"> + <transition event="turnOnC" target="cLightOn"/> + </state> + </state> + <state id="rLight"> + <state id="rLightOn"> + <transition event="turnOffR" target="rLightOff"/> + </state> + <state id="rLightOff"> + <transition event="turnOnR" target="rLightOn"/> + </state> + </state> + <state id="aLight"> + <state id="aLightOn"> + <transition event="turnOffA" target="aLightOff"/> + </state> + <state id="aLightOff"> + <transition event="turnOnA" target="aLightOn"/> + </state> + </state> + <state id="zLight"> + <state id="zLightOn"> + <transition event="turnOffZ" target="zLightOff"/> + </state> + <state id="zLightOff"> + <transition event="turnOnZ" target="zLightOn"/> + </state> + </state> + <state id="yLight"> + <state id="yLightOn"> + <transition event="turnOffY" target="yLightOff"/> + </state> + <state id="yLightOff"> + <transition event="turnOnY" target="yLightOn"/> + </state> + </state> + <state id="hurryLight"> + <state id="hurryLightOn"> + <transition event="turnOffHurry" target="hurryLightOff"/> + </state> + <state id="hurryLightOff"> + <transition event="turnOnHurry" target="hurryLightOn"/> + </state> + </state> + <state id="jackpotLight"> + <state id="jackpotLightOn"> + <transition event="turnOffJackpot" target="jackpotLightOff"/> + </state> + <state id="jackpotLightOff"> + <transition event="turnOnJackpot" target="jackpotLightOn"/> + </state> + </state> + <state id="gameOverLight"> + <state id="gameOverLightOn"> + <transition event="turnOffGameOver" target="gameOverLightOff"/> + </state> + <state id="gameOverLightOff"> + <transition event="turnOnGameOver" target="gameOverLightOn"/> + </state> + </state> + </parallel> + + <parallel id="internalState"> + <parallel id="logicalState"> + <state id="letterState"> + <parallel id="lettersState"> + <state id="letter.C"> + <state id="cLetterOff"> + <transition event="cLetterTriggered" cond="In('onState')" target="cLetterOn"/> + </state> + <final id="cLetterOn"/> + </state> + <state id="letter.R"> + <state id="rLetterOff"> + <transition event="rLetterTriggered" cond="In('onState')" target="rLetterOn"/> + </state> + <final id="rLetterOn"/> + </state> + <state id="letter.A"> + <state id="aLetterOff"> + <transition event="aLetterTriggered" cond="In('onState')" target="aLetterOn"/> + </state> + <final id="aLetterOn"/> + </state> + <state id="letter.Z"> + <state id="zLetterOff"> + <transition event="zLetterTriggered" cond="In('onState')" target="zLetterOn"/> + </state> + <final id="zLetterOn"/> + </state> + <state id="letter.Y"> + <state id="yLetterOff"> + <transition event="yLetterTriggered" cond="In('onState')" target="yLetterOn"/> + </state> + <final id="yLetterOn"/> + </state> + <transition event="resetLetters" target="lettersState"/> + </parallel> + </state> + <state id="modeState"> + <state id="offState"> + <onentry> + <if cond="highScore < score"> + <assign location="highScore" expr="score"/> + </if> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="startTriggered" target="onState"/> + </state> + <parallel id="onState"> + <onentry> + <assign location="score" expr="0"/> + </onentry> + <state id="hurryState"> + <state id="hurryStateOff"> + <onentry> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="goToHurryOn" target="hurryStateOn"/> + </state> + <state id="hurryStateOn"> + <onentry> + <send event="goToHurryOff" id="hurryId" delay="5s"/> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="goToHurryOff" target="hurryStateOff"/> + <onexit> + <cancel sendid="hurryId"/> + </onexit> + </state> + </state> + <state id="jackpotState"> + <state id="jackpotStateOff"> + <onentry> + <raise event="update"/> + </onentry> + <transition event="goForJackpot" target="jackpotStateOn"/> + </state> + <state id="jackpotStateOn"> + <onentry> + <raise event="update"/> + </onentry> + </state> + </state> + <transition event="ballOutTriggered" target="offState"/> + </parallel> + </state> + </parallel> + + <state id="workflow"> + <state id="lightImpulseGenerator"> + <state id="lightImpulseOn"/> + <state id="lightImpulseOff"/> + + <onentry> + <raise event="update"/> + </onentry> + + <transition event="scheduleNewImpulse"> + <cancel sendid="lightId"/> + <if cond="In('offState')"> + <send event="lightImpulse" id="lightId" delay="1s"/> + <elseif cond="In('hurryStateOff')"/> + <send event="lightImpulse" id="lightId" delay="500ms"/> + <else/> + <send event="lightImpulse" id="lightId" delay="200ms"/> + </if> + </transition> + + <transition event="update"> + <raise event="scheduleNewImpulse"/> + <raise event="updateLights"/> + </transition> + + <transition event="lightImpulse" cond="In('lightImpulseOn')" target="lightImpulseOff"/> + <transition event="lightImpulse" cond="In('lightImpulseOff')" target="lightImpulseOn"/> + </state> + + <transition event="done.state.letter.*"> + |if cond="In('hurryStateOff')"> + <assign location="score" expr="score + 1000"/> + <elseif cond="In('hurryStateOn')"/> + <assign location="score" expr="score + 10000"/> + </if> + <raise event="updateLights"/> + </transition> + + <transition event="done.state.lettersState"> + <if cond="In('hurryStateOff')"> + <assign location="score" expr="score + 100000"/> + <raise event="goToHurryOn"/> + <elseif cond="In('hurryStateOn')"/> + <assign location="score" expr="score + 1000000"/> + <raise event="goToHurryOff"/> + <raise event="goForJackpot"/> + </if> + </transition> + + <transition event="updateLights"> + <send type="qt:signal" event="updateScore"> + <param name="highScore" expr="highScore"/> + <param name="score" expr="score"/> + </send> + <if cond="In('jackpotStateOn')"> + <raise event="turnOnJackpot"/> + <else/> + <raise event="turnOffJackpot"/> + </if> + + <if cond="In('lightImpulseOn')"> + <if cond="In('offState')"> + <raise event="turnOnC"/> + <raise event="turnOnR"/> + <raise event="turnOnA"/> + <raise event="turnOnZ"/> + <raise event="turnOnY"/> + <raise event="turnOnHurry"/> + <raise event="turnOnJackpot"/> + <raise event="turnOnGameOver"/> + <elseif cond="In('hurryStateOff')"/> + <if cond="In('cLetterOn')"> + <raise event="turnOnC"/> + <else/> + <raise event="turnOffC"/> + </if> + <if cond="In('rLetterOn')"> + <raise event="turnOnR"/> + <else/> + <raise event="turnOffR"/> + </if> + <if cond="In('aLetterOn')"> + <raise event="turnOnA"/> + <else/> + <raise event="turnOffA"/> + </if> + <if cond="In('zLetterOn')"> + <raise event="turnOnZ"/> + <else/> + <raise event="turnOffZ"/> + </if> + <if cond="In('yLetterOn')"> + <raise event="turnOnY"/> + <else/> + <raise event="turnOffY"/> + </if> + <raise event="turnOffHurry"/> + <raise event="turnOffGameOver"/> + <else/> + <raise event="turnOnC"/> + <raise event="turnOnR"/> + <raise event="turnOnA"/> + <raise event="turnOnZ"/> + <raise event="turnOnY"/> + <raise event="turnOnHurry"/> + <raise event="turnOffGameOver"/> + </if> + <else/> + <if cond="In('offState')"> + <raise event="turnOffC"/> + <raise event="turnOffR"/> + <raise event="turnOffA"/> + <raise event="turnOffZ"/> + <raise event="turnOffY"/> + <raise event="turnOffHurry"/> + <raise event="turnOffJackpot"/> + <elseif cond="In('hurryStateOff')"/> + <raise event="turnOffC"/> + <raise event="turnOffR"/> + <raise event="turnOffA"/> + <raise event="turnOffZ"/> + <raise event="turnOffY"/> + <else/> + <if cond="In('cLetterOn')"> + <raise event="turnOnC"/> + <else/> + <raise event="turnOffC"/> + </if> + <if cond="In('rLetterOn')"> + <raise event="turnOnR"/> + <else/> + <raise event="turnOffR"/> + </if> + <if cond="In('aLetterOn')"> + <raise event="turnOnA"/> + <else/> + <raise event="turnOffA"/> + </if> + <if cond="In('zLetterOn')"> + <raise event="turnOnZ"/> + <else/> + <raise event="turnOffZ"/> + </if> + <if cond="In('yLetterOn')"> + <raise event="turnOnY"/> + <else/> + <raise event="turnOffY"/> + </if> + </if> + <raise event="turnOffHurry"/> + <raise event="turnOffGameOver"/> + </if> + </transition> + </state> + </parallel> + </parallel> +</scxml> diff --git a/tests/auto/qscxmlc/data/id000031sig11src000004opflip1pos12612.scxml b/tests/auto/qscxmlc/data/id000031sig11src000004opflip1pos12612.scxml new file mode 100644 index 0000000..b49bd32 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000031sig11src000004opflip1pos12612.scxml @@ -0,0 +1,374 @@ +<?xml version="1.0" ?> +<!-- +/**************************************************************************** +** +** Copyright (C) 2016 The Qt Company Ltd. +** Contact: https://www.qt.io/licensing/ +** +** This file is part of the QtScxml module of the Qt Toolkit. +** +** $QT_BEGIN_LICENSE:BSD$ +** Commercial License Usage +** Licensees holding valid commercial Qt licenses may use this file in +** accordance with the commercial license agreement provided with the +** Software or, alternatively, in accordance with the terms contained in +** a written agreement between you and The Qt Company. For licensing terms +** and conditions see https://www.qt.io/terms-conditions. For further +** information use the contact form at https://www.qt.io/contact-us. +** +** BSD License Usage +** Alternatively, you may use this file under the terms of the BSD license +** as follows: +** +** "Redistribution and use in source and binary forms, with or without +** modification, are permitted provided that the following conditions are +** met: +** * Redistributions of source code must retain the above copyright +** notice, this list of conditions and the following disclaimer. +** * Redistributions in binary form must reproduce the above copyright +** notice, this list of conditions and the following disclaimer in +** the documentation and/or other materials provided with the +** distribution. +** * Neither the name of The Qt Company Ltd nor the names of its +** contributors may be used to endorse or promote products derived +** from this software without specific prior written permission. +** +** +** THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS +** "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT +** LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR +** A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT +** OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +** SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT +** LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, +** DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY +** THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +** (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +** OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE." +** +** $QT_END_LICENSE$ +** +****************************************************************************/ +--> +<!-- enable-qt-mode: no --> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + name="Pinball" datamodel="ecmascript"> + <datamodel> + <data id="highScore" expr="0"/> + <data id="score" expr="0"/> + </datamodel> + <parallel id="global"> + <parallel id="guiControl"> + <state id="cLight"> + <state id="cLightOn"> + <transition event="turnOffC" target="cLightOff"/> + </state> + <state id="cLightOff"> + <transition event="turnOnC" target="cLightOn"/> + </state> + </state> + <state id="rLight"> + <state id="rLightOn"> + <transition event="turnOffR" target="rLightOff"/> + </state> + <state id="rLightOff"> + <transition event="turnOnR" target="rLightOn"/> + </state> + </state> + <state id="aLight"> + <state id="aLightOn"> + <transition event="turnOffA" target="aLightOff"/> + </state> + <state id="aLightOff"> + <transition event="turnOnA" target="aLightOn"/> + </state> + </state> + <state id="zLight"> + <state id="zLightOn"> + <transition event="turnOffZ" target="zLightOff"/> + </state> + <state id="zLightOff"> + <transition event="turnOnZ" target="zLightOn"/> + </state> + </state> + <state id="yLight"> + <state id="yLightOn"> + <transition event="turnOffY" target="yLightOff"/> + </state> + <state id="yLightOff"> + <transition event="turnOnY" target="yLightOn"/> + </state> + </state> + <state id="hurryLight"> + <state id="hurryLightOn"> + <transition event="turnOffHurry" target="hurryLightOff"/> + </state> + <state id="hurryLightOff"> + <transition event="turnOnHurry" target="hurryLightOn"/> + </state> + </state> + <state id="jackpotLight"> + <state id="jackpotLightOn"> + <transition event="turnOffJackpot" target="jackpotLightOff"/> + </state> + <state id="jackpotLightOff"> + <transition event="turnOnJackpot" target="jackpotLightOn"/> + </state> + </state> + <state id="gameOverLight"> + <state id="gameOverLightOn"> + <transition event="turnOffGameOver" target="gameOverLightOff"/> + </state> + <state id="gameOverLightOff"> + <transition event="turnOnGameOver" target="gameOverLightOn"/> + </state> + </state> + </parallel> + + <parallel id="internalState"> + <parallel id="logicalState"> + <state id="letterState"> + <parallel id="lettersState"> + <state id="letter.C"> + <state id="cLetterOff"> + <transition event="cLetterTriggered" cond="In('onState')" target="cLetterOn"/> + </state> + <final id="cLetterOn"/> + </state> + <state id="letter.R"> + <state id="rLetterOff"> + <transition event="rLetterTriggered" cond="In('onState')" target="rLetterOn"/> + </state> + <final id="rLetterOn"/> + </state> + <state id="letter.A"> + <state id="aLetterOff"> + <transition event="aLetterTriggered" cond="In('onState')" target="aLetterOn"/> + </state> + <final id="aLetterOn"/> + </state> + <state id="letter.Z"> + <state id="zLetterOff"> + <transition event="zLetterTriggered" cond="In('onState')" target="zLetterOn"/> + </state> + <final id="zLetterOn"/> + </state> + <state id="letter.Y"> + <state id="yLetterOff"> + <transition event="yLetterTriggered" cond="In('onState')" target="yLetterOn"/> + </state> + <final id="yLetterOn"/> + </state> + <transition event="resetLetters" target="lettersState"/> + </parallel> + </state> + <state id="modeState"> + <state id="offState"> + <onentry> + <if cond="highScore < score"> + <assign location="highScore" expr="score"/> + </if> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="startTriggered" target="onState"/> + </state> + <parallel id="onState"> + <onentry> + <assign location="score" expr="0"/> + </onentry> + <state id="hurryState"> + <state id="hurryStateOff"> + <onentry> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="goToHurryOn" target="hurryStateOn"/> + </state> + <state id="hurryStateOn"> + <onentry> + <send event="goToHurryOff" id="hurryId" delay="5s"/> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="goToHurryOff" target="hurryStateOff"/> + <onexit> + <cancel sendid="hurryId"/> + </onexit> + </state> + </state> + <state id="jackpotState"> + <state id="jackpotStateOff"> + <onentry> + <raise event="update"/> + </onentry> + <transition event="goForJackpot" target="jackpotStateOn"/> + </state> + <state id="jackpotStateOn"> + <onentry> + <raise event="update"/> + </onentry> + </state> + </state> + <transition event="ballOutTriggered" target="offState"/> + </parallel> + </state> + </parallel> + + <state id="workflow"> + <state id="lightImpulseGenerator"> + <state id="lightImpulseOn"/> + <state id="lightImpulseOff"/> + + <onentry> + <raise event="update"/> + </onentry> + + <transition event="scheduleNewImpulse"> + <cancel sendid="lightId"/> + <if cond="In('offState')"> + <send event="lightImpulse" id="lightId" delay="1s"/> + <elseif cond="In('hurryStateOff')"/> + <send event="lightImpulse" id="lightId" delay="500ms"/> + <else/> + <send event="lightImpulse" id="lightId" delay="200ms"/> + </if> + </transition> + + <transition event="update"> + <raise event="scheduleNewImpulse"/> + <raise event="updateLights"/> + </transition> + + <transition event="lightImpulse" cond="In('lightImpulseOn')" target="lightImpulseOff"/> + <transition event="lightImpulse" cond="In('lightImpulseOff')" target="lightImpulseOn"/> + </state> + + <transition event="done.state.letter.*"> + <if cond="In('hurryStateOff')"> + <assign location="score" expr="score + 1000"/> + <elseif cond="In('hurryStateOn')"/> + <assign location="score" expr="score + 10000"/> + </if> + <raise event="updateLights"/> + </transition> + + <transition event="done.state.lettersState"> + <if cond="In('hurryStateOff')"> + <assign location="score" expr="score + 100000"/> + <raise event="goToHurryOn"/> + <elseif cond="In('hurryStateOn')"/> + <assign location="score" expr="score + 1000000"/> + <raise event="goToHurryOff"/> + <raise event="goForJackpot"/> + </if> + </transition> + + <transition event="updateLights"> + <send type="qt:signal" event="updateScore"> + <param name="highScore" expr="highScore"/> + <param name="score" expr="score"/> + </send> + |if cond="In('jackpotStateOn')"> + <raise event="turnOnJackpot"/> + <else/> + <raise event="turnOffJackpot"/> + </if> + + <if cond="In('lightImpulseOn')"> + <if cond="In('offState')"> + <raise event="turnOnC"/> + <raise event="turnOnR"/> + <raise event="turnOnA"/> + <raise event="turnOnZ"/> + <raise event="turnOnY"/> + <raise event="turnOnHurry"/> + <raise event="turnOnJackpot"/> + <raise event="turnOnGameOver"/> + <elseif cond="In('hurryStateOff')"/> + <if cond="In('cLetterOn')"> + <raise event="turnOnC"/> + <else/> + <raise event="turnOffC"/> + </if> + <if cond="In('rLetterOn')"> + <raise event="turnOnR"/> + <else/> + <raise event="turnOffR"/> + </if> + <if cond="In('aLetterOn')"> + <raise event="turnOnA"/> + <else/> + <raise event="turnOffA"/> + </if> + <if cond="In('zLetterOn')"> + <raise event="turnOnZ"/> + <else/> + <raise event="turnOffZ"/> + </if> + <if cond="In('yLetterOn')"> + <raise event="turnOnY"/> + <else/> + <raise event="turnOffY"/> + </if> + <raise event="turnOffHurry"/> + <raise event="turnOffGameOver"/> + <else/> + <raise event="turnOnC"/> + <raise event="turnOnR"/> + <raise event="turnOnA"/> + <raise event="turnOnZ"/> + <raise event="turnOnY"/> + <raise event="turnOnHurry"/> + <raise event="turnOffGameOver"/> + </if> + <else/> + <if cond="In('offState')"> + <raise event="turnOffC"/> + <raise event="turnOffR"/> + <raise event="turnOffA"/> + <raise event="turnOffZ"/> + <raise event="turnOffY"/> + <raise event="turnOffHurry"/> + <raise event="turnOffJackpot"/> + <elseif cond="In('hurryStateOff')"/> + <raise event="turnOffC"/> + <raise event="turnOffR"/> + <raise event="turnOffA"/> + <raise event="turnOffZ"/> + <raise event="turnOffY"/> + <else/> + <if cond="In('cLetterOn')"> + <raise event="turnOnC"/> + <else/> + <raise event="turnOffC"/> + </if> + <if cond="In('rLetterOn')"> + <raise event="turnOnR"/> + <else/> + <raise event="turnOffR"/> + </if> + <if cond="In('aLetterOn')"> + <raise event="turnOnA"/> + <else/> + <raise event="turnOffA"/> + </if> + <if cond="In('zLetterOn')"> + <raise event="turnOnZ"/> + <else/> + <raise event="turnOffZ"/> + </if> + <if cond="In('yLetterOn')"> + <raise event="turnOnY"/> + <else/> + <raise event="turnOffY"/> + </if> + </if> + <raise event="turnOffHurry"/> + <raise event="turnOffGameOver"/> + </if> + </transition> + </state> + </parallel> + </parallel> +</scxml> diff --git a/tests/auto/qscxmlc/data/id000032sig11src000004opflip1pos12831.scxml b/tests/auto/qscxmlc/data/id000032sig11src000004opflip1pos12831.scxml new file mode 100644 index 0000000..b753246 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000032sig11src000004opflip1pos12831.scxml @@ -0,0 +1,374 @@ +<?xml version="1.0" ?> +<!-- +/**************************************************************************** +** +** Copyright (C) 2016 The Qt Company Ltd. +** Contact: https://www.qt.io/licensing/ +** +** This file is part of the QtScxml module of the Qt Toolkit. +** +** $QT_BEGIN_LICENSE:BSD$ +** Commercial License Usage +** Licensees holding valid commercial Qt licenses may use this file in +** accordance with the commercial license agreement provided with the +** Software or, alternatively, in accordance with the terms contained in +** a written agreement between you and The Qt Company. For licensing terms +** and conditions see https://www.qt.io/terms-conditions. For further +** information use the contact form at https://www.qt.io/contact-us. +** +** BSD License Usage +** Alternatively, you may use this file under the terms of the BSD license +** as follows: +** +** "Redistribution and use in source and binary forms, with or without +** modification, are permitted provided that the following conditions are +** met: +** * Redistributions of source code must retain the above copyright +** notice, this list of conditions and the following disclaimer. +** * Redistributions in binary form must reproduce the above copyright +** notice, this list of conditions and the following disclaimer in +** the documentation and/or other materials provided with the +** distribution. +** * Neither the name of The Qt Company Ltd nor the names of its +** contributors may be used to endorse or promote products derived +** from this software without specific prior written permission. +** +** +** THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS +** "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT +** LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR +** A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT +** OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +** SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT +** LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, +** DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY +** THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +** (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +** OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE." +** +** $QT_END_LICENSE$ +** +****************************************************************************/ +--> +<!-- enable-qt-mode: no --> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + name="Pinball" datamodel="ecmascript"> + <datamodel> + <data id="highScore" expr="0"/> + <data id="score" expr="0"/> + </datamodel> + <parallel id="global"> + <parallel id="guiControl"> + <state id="cLight"> + <state id="cLightOn"> + <transition event="turnOffC" target="cLightOff"/> + </state> + <state id="cLightOff"> + <transition event="turnOnC" target="cLightOn"/> + </state> + </state> + <state id="rLight"> + <state id="rLightOn"> + <transition event="turnOffR" target="rLightOff"/> + </state> + <state id="rLightOff"> + <transition event="turnOnR" target="rLightOn"/> + </state> + </state> + <state id="aLight"> + <state id="aLightOn"> + <transition event="turnOffA" target="aLightOff"/> + </state> + <state id="aLightOff"> + <transition event="turnOnA" target="aLightOn"/> + </state> + </state> + <state id="zLight"> + <state id="zLightOn"> + <transition event="turnOffZ" target="zLightOff"/> + </state> + <state id="zLightOff"> + <transition event="turnOnZ" target="zLightOn"/> + </state> + </state> + <state id="yLight"> + <state id="yLightOn"> + <transition event="turnOffY" target="yLightOff"/> + </state> + <state id="yLightOff"> + <transition event="turnOnY" target="yLightOn"/> + </state> + </state> + <state id="hurryLight"> + <state id="hurryLightOn"> + <transition event="turnOffHurry" target="hurryLightOff"/> + </state> + <state id="hurryLightOff"> + <transition event="turnOnHurry" target="hurryLightOn"/> + </state> + </state> + <state id="jackpotLight"> + <state id="jackpotLightOn"> + <transition event="turnOffJackpot" target="jackpotLightOff"/> + </state> + <state id="jackpotLightOff"> + <transition event="turnOnJackpot" target="jackpotLightOn"/> + </state> + </state> + <state id="gameOverLight"> + <state id="gameOverLightOn"> + <transition event="turnOffGameOver" target="gameOverLightOff"/> + </state> + <state id="gameOverLightOff"> + <transition event="turnOnGameOver" target="gameOverLightOn"/> + </state> + </state> + </parallel> + + <parallel id="internalState"> + <parallel id="logicalState"> + <state id="letterState"> + <parallel id="lettersState"> + <state id="letter.C"> + <state id="cLetterOff"> + <transition event="cLetterTriggered" cond="In('onState')" target="cLetterOn"/> + </state> + <final id="cLetterOn"/> + </state> + <state id="letter.R"> + <state id="rLetterOff"> + <transition event="rLetterTriggered" cond="In('onState')" target="rLetterOn"/> + </state> + <final id="rLetterOn"/> + </state> + <state id="letter.A"> + <state id="aLetterOff"> + <transition event="aLetterTriggered" cond="In('onState')" target="aLetterOn"/> + </state> + <final id="aLetterOn"/> + </state> + <state id="letter.Z"> + <state id="zLetterOff"> + <transition event="zLetterTriggered" cond="In('onState')" target="zLetterOn"/> + </state> + <final id="zLetterOn"/> + </state> + <state id="letter.Y"> + <state id="yLetterOff"> + <transition event="yLetterTriggered" cond="In('onState')" target="yLetterOn"/> + </state> + <final id="yLetterOn"/> + </state> + <transition event="resetLetters" target="lettersState"/> + </parallel> + </state> + <state id="modeState"> + <state id="offState"> + <onentry> + <if cond="highScore < score"> + <assign location="highScore" expr="score"/> + </if> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="startTriggered" target="onState"/> + </state> + <parallel id="onState"> + <onentry> + <assign location="score" expr="0"/> + </onentry> + <state id="hurryState"> + <state id="hurryStateOff"> + <onentry> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="goToHurryOn" target="hurryStateOn"/> + </state> + <state id="hurryStateOn"> + <onentry> + <send event="goToHurryOff" id="hurryId" delay="5s"/> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="goToHurryOff" target="hurryStateOff"/> + <onexit> + <cancel sendid="hurryId"/> + </onexit> + </state> + </state> + <state id="jackpotState"> + <state id="jackpotStateOff"> + <onentry> + <raise event="update"/> + </onentry> + <transition event="goForJackpot" target="jackpotStateOn"/> + </state> + <state id="jackpotStateOn"> + <onentry> + <raise event="update"/> + </onentry> + </state> + </state> + <transition event="ballOutTriggered" target="offState"/> + </parallel> + </state> + </parallel> + + <state id="workflow"> + <state id="lightImpulseGenerator"> + <state id="lightImpulseOn"/> + <state id="lightImpulseOff"/> + + <onentry> + <raise event="update"/> + </onentry> + + <transition event="scheduleNewImpulse"> + <cancel sendid="lightId"/> + <if cond="In('offState')"> + <send event="lightImpulse" id="lightId" delay="1s"/> + <elseif cond="In('hurryStateOff')"/> + <send event="lightImpulse" id="lightId" delay="500ms"/> + <else/> + <send event="lightImpulse" id="lightId" delay="200ms"/> + </if> + </transition> + + <transition event="update"> + <raise event="scheduleNewImpulse"/> + <raise event="updateLights"/> + </transition> + + <transition event="lightImpulse" cond="In('lightImpulseOn')" target="lightImpulseOff"/> + <transition event="lightImpulse" cond="In('lightImpulseOff')" target="lightImpulseOn"/> + </state> + + <transition event="done.state.letter.*"> + <if cond="In('hurryStateOff')"> + <assign location="score" expr="score + 1000"/> + <elseif cond="In('hurryStateOn')"/> + <assign location="score" expr="score + 10000"/> + </if> + <raise event="updateLights"/> + </transition> + + <transition event="done.state.lettersState"> + <if cond="In('hurryStateOff')"> + <assign location="score" expr="score + 100000"/> + <raise event="goToHurryOn"/> + <elseif cond="In('hurryStateOn')"/> + <assign location="score" expr="score + 1000000"/> + <raise event="goToHurryOff"/> + <raise event="goForJackpot"/> + </if> + </transition> + + <transition event="updateLights"> + <send type="qt:signal" event="updateScore"> + <param name="highScore" expr="highScore"/> + <param name="score" expr="score"/> + </send> + <if cond="In('jackpotStateOn')"> + <raise event="turnOnJackpot"/> + <else/> + <raise event="turnOffJackpot"/> + </if> + + |if cond="In('lightImpulseOn')"> + <if cond="In('offState')"> + <raise event="turnOnC"/> + <raise event="turnOnR"/> + <raise event="turnOnA"/> + <raise event="turnOnZ"/> + <raise event="turnOnY"/> + <raise event="turnOnHurry"/> + <raise event="turnOnJackpot"/> + <raise event="turnOnGameOver"/> + <elseif cond="In('hurryStateOff')"/> + <if cond="In('cLetterOn')"> + <raise event="turnOnC"/> + <else/> + <raise event="turnOffC"/> + </if> + <if cond="In('rLetterOn')"> + <raise event="turnOnR"/> + <else/> + <raise event="turnOffR"/> + </if> + <if cond="In('aLetterOn')"> + <raise event="turnOnA"/> + <else/> + <raise event="turnOffA"/> + </if> + <if cond="In('zLetterOn')"> + <raise event="turnOnZ"/> + <else/> + <raise event="turnOffZ"/> + </if> + <if cond="In('yLetterOn')"> + <raise event="turnOnY"/> + <else/> + <raise event="turnOffY"/> + </if> + <raise event="turnOffHurry"/> + <raise event="turnOffGameOver"/> + <else/> + <raise event="turnOnC"/> + <raise event="turnOnR"/> + <raise event="turnOnA"/> + <raise event="turnOnZ"/> + <raise event="turnOnY"/> + <raise event="turnOnHurry"/> + <raise event="turnOffGameOver"/> + </if> + <else/> + <if cond="In('offState')"> + <raise event="turnOffC"/> + <raise event="turnOffR"/> + <raise event="turnOffA"/> + <raise event="turnOffZ"/> + <raise event="turnOffY"/> + <raise event="turnOffHurry"/> + <raise event="turnOffJackpot"/> + <elseif cond="In('hurryStateOff')"/> + <raise event="turnOffC"/> + <raise event="turnOffR"/> + <raise event="turnOffA"/> + <raise event="turnOffZ"/> + <raise event="turnOffY"/> + <else/> + <if cond="In('cLetterOn')"> + <raise event="turnOnC"/> + <else/> + <raise event="turnOffC"/> + </if> + <if cond="In('rLetterOn')"> + <raise event="turnOnR"/> + <else/> + <raise event="turnOffR"/> + </if> + <if cond="In('aLetterOn')"> + <raise event="turnOnA"/> + <else/> + <raise event="turnOffA"/> + </if> + <if cond="In('zLetterOn')"> + <raise event="turnOnZ"/> + <else/> + <raise event="turnOffZ"/> + </if> + <if cond="In('yLetterOn')"> + <raise event="turnOnY"/> + <else/> + <raise event="turnOffY"/> + </if> + </if> + <raise event="turnOffHurry"/> + <raise event="turnOffGameOver"/> + </if> + </transition> + </state> + </parallel> + </parallel> +</scxml> diff --git a/tests/auto/qscxmlc/data/id000033sig06src000004opflip4pos10704.scxml b/tests/auto/qscxmlc/data/id000033sig06src000004opflip4pos10704.scxml new file mode 100644 index 0000000..920fd84 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000033sig06src000004opflip4pos10704.scxml @@ -0,0 +1,374 @@ +<?xml version="1.0" ?> +<!-- +/**************************************************************************** +** +** Copyright (C) 2016 The Qt Company Ltd. +** Contact: https://www.qt.io/licensing/ +** +** This file is part of the QtScxml module of the Qt Toolkit. +** +** $QT_BEGIN_LICENSE:BSD$ +** Commercial License Usage +** Licensees holding valid commercial Qt licenses may use this file in +** accordance with the commercial license agreement provided with the +** Software or, alternatively, in accordance with the terms contained in +** a written agreement between you and The Qt Company. For licensing terms +** and conditions see https://www.qt.io/terms-conditions. For further +** information use the contact form at https://www.qt.io/contact-us. +** +** BSD License Usage +** Alternatively, you may use this file under the terms of the BSD license +** as follows: +** +** "Redistribution and use in source and binary forms, with or without +** modification, are permitted provided that the following conditions are +** met: +** * Redistributions of source code must retain the above copyright +** notice, this list of conditions and the following disclaimer. +** * Redistributions in binary form must reproduce the above copyright +** notice, this list of conditions and the following disclaimer in +** the documentation and/or other materials provided with the +** distribution. +** * Neither the name of The Qt Company Ltd nor the names of its +** contributors may be used to endorse or promote products derived +** from this software without specific prior written permission. +** +** +** THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS +** "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT +** LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR +** A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT +** OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +** SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT +** LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, +** DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY +** THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +** (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +** OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE." +** +** $QT_END_LICENSE$ +** +****************************************************************************/ +--> +<!-- enable-qt-mode: no --> +<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" + name="Pinball" datamodel="ecmascript"> + <datamodel> + <data id="highScore" expr="0"/> + <data id="score" expr="0"/> + </datamodel> + <parallel id="global"> + <parallel id="guiControl"> + <state id="cLight"> + <state id="cLightOn"> + <transition event="turnOffC" target="cLightOff"/> + </state> + <state id="cLightOff"> + <transition event="turnOnC" target="cLightOn"/> + </state> + </state> + <state id="rLight"> + <state id="rLightOn"> + <transition event="turnOffR" target="rLightOff"/> + </state> + <state id="rLightOff"> + <transition event="turnOnR" target="rLightOn"/> + </state> + </state> + <state id="aLight"> + <state id="aLightOn"> + <transition event="turnOffA" target="aLightOff"/> + </state> + <state id="aLightOff"> + <transition event="turnOnA" target="aLightOn"/> + </state> + </state> + <state id="zLight"> + <state id="zLightOn"> + <transition event="turnOffZ" target="zLightOff"/> + </state> + <state id="zLightOff"> + <transition event="turnOnZ" target="zLightOn"/> + </state> + </state> + <state id="yLight"> + <state id="yLightOn"> + <transition event="turnOffY" target="yLightOff"/> + </state> + <state id="yLightOff"> + <transition event="turnOnY" target="yLightOn"/> + </state> + </state> + <state id="hurryLight"> + <state id="hurryLightOn"> + <transition event="turnOffHurry" target="hurryLightOff"/> + </state> + <state id="hurryLightOff"> + <transition event="turnOnHurry" target="hurryLightOn"/> + </state> + </state> + <state id="jackpotLight"> + <state id="jackpotLightOn"> + <transition event="turnOffJackpot" target="jackpotLightOff"/> + </state> + <state id="jackpotLightOff"> + <transition event="turnOnJackpot" target="jackpotLightOn"/> + </state> + </state> + <state id="gameOverLight"> + <state id="gameOverLightOn"> + <transition event="turnOffGameOver" target="gameOverLightOff"/> + </state> + <state id="gameOverLightOff"> + <transition event="turnOnGameOver" target="gameOverLightOn"/> + </state> + </state> + </parallel> + + <parallel id="internalState"> + <parallel id="logicalState"> + <state id="letterState"> + <parallel id="lettersState"> + <state id="letter.C"> + <state id="cLetterOff"> + <transition event="cLetterTriggered" cond="In('onState')" target="cLetterOn"/> + </state> + <final id="cLetterOn"/> + </state> + <state id="letter.R"> + <state id="rLetterOff"> + <transition event="rLetterTriggered" cond="In('onState')" target="rLetterOn"/> + </state> + <final id="rLetterOn"/> + </state> + <state id="letter.A"> + <state id="aLetterOff"> + <transition event="aLetterTriggered" cond="In('onState')" target="aLetterOn"/> + </state> + <final id="aLetterOn"/> + </state> + <state id="letter.Z"> + <state id="zLetterOff"> + <transition event="zLetterTriggered" cond="In('onState')" target="zLetterOn"/> + </state> + <final id="zLetterOn"/> + </state> + <state id="letter.Y"> + <state id="yLetterOff"> + <transition event="yLetterTriggered" cond="In('onState')" target="yLetterOn"/> + </state> + <final id="yLetterOn"/> + </state> + <transition event="resetLetters" target="lettersState"/> + </parallel> + </state> + <state id="modeState"> + <state id="offState"> + <onentry> + <if cond="highScore < score"> + <assign location="highScore" expr="score"/> + </if> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="startTriggered" target="onState"/> + </state> + <parallel id="onState"> + <onentry> + <assign location="score" expr="0"/> + </onentry> + <state id="hurryState"> + <state id="hurryStateOff"> + <onentry> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="goToHurryOn" target="hurryStateOn"/> + </state> + <state id="hurryStateOn"> + <onentry> + <send event="goToHurryOff" id="hurryId" delay="5s"/> + <raise event="resetLetters"/> + <raise event="update"/> + </onentry> + <transition event="goToHurryOff" target="hurryStateOff"/> + <onexit> + <cancel sendid="hurryId"/> + </onexit> + </state> + </state> + <state id="jackpotState"> + <state id="jackpotStateOff"> + <onentry> + <raise event="update"/> + </onentry> + <transition event="goForJackpot" target="jackpotStateOn"/> + </state> + <state id="jackpotStateOn"> + <onentry> + <raise event="update"/> + </onentry> + </state> + </state> + <transition event="ballOutTriggered" target="offState"/> + </parallel> + </state> + </parallel> + + <state id="workflow"> + <state id="lightImpulseGenerator"> + <state id="lightImpulseOn"/> + <state id="lightImpulseOff"/> + + <onentry> + <raise event="update"/> + </onentry> + + <transition event="scheduleNewImpulse"> + <cancel sendid="lightId"/> + <if cond="In('offState')"> + <send event="lightImpulse" id="lightId" delay="1s"/> + <elseif cond="In('hurryStateOff')"/> + <send>event="lightImpulse" id="lightId" delay="500ms"/> + <else/> + <send event="lightImpulse" id="lightId" delay="200ms"/> + </if> + </transition> + + <transition event="update"> + <raise event="scheduleNewImpulse"/> + <raise event="updateLights"/> + </transition> + + <transition event="lightImpulse" cond="In('lightImpulseOn')" target="lightImpulseOff"/> + <transition event="lightImpulse" cond="In('lightImpulseOff')" target="lightImpulseOn"/> + </state> + + <transition event="done.state.letter.*"> + <if cond="In('hurryStateOff')"> + <assign location="score" expr="score + 1000"/> + <elseif cond="In('hurryStateOn')"/> + <assign location="score" expr="score + 10000"/> + </if> + <raise event="updateLights"/> + </transition> + + <transition event="done.state.lettersState"> + <if cond="In('hurryStateOff')"> + <assign location="score" expr="score + 100000"/> + <raise event="goToHurryOn"/> + <elseif cond="In('hurryStateOn')"/> + <assign location="score" expr="score + 1000000"/> + <raise event="goToHurryOff"/> + <raise event="goForJackpot"/> + </if> + </transition> + + <transition event="updateLights"> + <send type="qt:signal" event="updateScore"> + <param name="highScore" expr="highScore"/> + <param name="score" expr="score"/> + </send> + <if cond="In('jackpotStateOn')"> + <raise event="turnOnJackpot"/> + <else/> + <raise event="turnOffJackpot"/> + </if> + + <if cond="In('lightImpulseOn')"> + <if cond="In('offState')"> + <raise event="turnOnC"/> + <raise event="turnOnR"/> + <raise event="turnOnA"/> + <raise event="turnOnZ"/> + <raise event="turnOnY"/> + <raise event="turnOnHurry"/> + <raise event="turnOnJackpot"/> + <raise event="turnOnGameOver"/> + <elseif cond="In('hurryStateOff')"/> + <if cond="In('cLetterOn')"> + <raise event="turnOnC"/> + <else/> + <raise event="turnOffC"/> + </if> + <if cond="In('rLetterOn')"> + <raise event="turnOnR"/> + <else/> + <raise event="turnOffR"/> + </if> + <if cond="In('aLetterOn')"> + <raise event="turnOnA"/> + <else/> + <raise event="turnOffA"/> + </if> + <if cond="In('zLetterOn')"> + <raise event="turnOnZ"/> + <else/> + <raise event="turnOffZ"/> + </if> + <if cond="In('yLetterOn')"> + <raise event="turnOnY"/> + <else/> + <raise event="turnOffY"/> + </if> + <raise event="turnOffHurry"/> + <raise event="turnOffGameOver"/> + <else/> + <raise event="turnOnC"/> + <raise event="turnOnR"/> + <raise event="turnOnA"/> + <raise event="turnOnZ"/> + <raise event="turnOnY"/> + <raise event="turnOnHurry"/> + <raise event="turnOffGameOver"/> + </if> + <else/> + <if cond="In('offState')"> + <raise event="turnOffC"/> + <raise event="turnOffR"/> + <raise event="turnOffA"/> + <raise event="turnOffZ"/> + <raise event="turnOffY"/> + <raise event="turnOffHurry"/> + <raise event="turnOffJackpot"/> + <elseif cond="In('hurryStateOff')"/> + <raise event="turnOffC"/> + <raise event="turnOffR"/> + <raise event="turnOffA"/> + <raise event="turnOffZ"/> + <raise event="turnOffY"/> + <else/> + <if cond="In('cLetterOn')"> + <raise event="turnOnC"/> + <else/> + <raise event="turnOffC"/> + </if> + <if cond="In('rLetterOn')"> + <raise event="turnOnR"/> + <else/> + <raise event="turnOffR"/> + </if> + <if cond="In('aLetterOn')"> + <raise event="turnOnA"/> + <else/> + <raise event="turnOffA"/> + </if> + <if cond="In('zLetterOn')"> + <raise event="turnOnZ"/> + <else/> + <raise event="turnOffZ"/> + </if> + <if cond="In('yLetterOn')"> + <raise event="turnOnY"/> + <else/> + <raise event="turnOffY"/> + </if> + </if> + <raise event="turnOffHurry"/> + <raise event="turnOffGameOver"/> + </if> + </transition> + </state> + </parallel> + </parallel> +</scxml> diff --git a/tests/auto/qscxmlc/tst_qscxmlc.qrc b/tests/auto/qscxmlc/tst_qscxmlc.qrc index 5165656..e27a7d7 100644 --- a/tests/auto/qscxmlc/tst_qscxmlc.qrc +++ b/tests/auto/qscxmlc/tst_qscxmlc.qrc @@ -2,10 +2,24 @@ <qresource prefix="/tst_qscxmlc"> <file>data/empty.scxml</file> <file>data/id000000sig11src000000opflip1pos24.scxml</file> + <file>data/id000001sig11src000000opflip1pos7243.scxml</file> + <file>data/id000002sig11src000000opflip1pos7244.scxml</file> + <file>data/id000003sig11src000000opflip1pos7442.scxml</file> + <file>data/id000004sig06src000000opflip4pos7335.scxml</file> + <file>data/id000007sig11src000000ophavocrep8.scxml</file> + <file>data/id000008sig11src000000ophavocrep4.scxml</file> + <file>data/id000009sig11src000000ophavocrep2.scxml</file> + <file>data/id000010sig11src000000ophavocrep1.scxml</file> <file>data/id000012sig06src000001opflip1pos2538.scxml</file> <file>data/id000016sig06src000001opflip1pos2961.scxml</file> <file>data/id000023sig06src000001ophavocrep4.scxml</file> <file>data/id000025sig06src000001ophavocrep8.scxml</file> <file>data/id000027sig11src000004opflip1pos2521.scxml</file> + <file>data/id000028sig11src000004opflip1pos10502.scxml</file> + <file>data/id000029sig11src000004opflip1pos10635.scxml</file> + <file>data/id000030sig11src000004opflip1pos11452.scxml</file> + <file>data/id000031sig11src000004opflip1pos12612.scxml</file> + <file>data/id000032sig11src000004opflip1pos12831.scxml</file> + <file>data/id000033sig06src000004opflip4pos10704.scxml</file> </qresource> </RCC> |