SCCD/test/semantics/original_semantics/parallel_history.xml

<?xml version="1.0" ?>
<diagram
	xmlns="msdl.uantwerpen.be/sccd"
	author="Glenn De Jonghe"
	name="TestParallelHistory">
    <description>
        Testing history in parallel.
    </description>
    <inport name="test_input" />
    <outport name="test_output" />
    <class name="TestClass" default="true">
        <scxml>
            <parallel id="parallel">
                <state id="orthogonal_1" initial="orthogonal_inner_1">
                    <state id="orthogonal_inner_1" initial="state_1">
                        <state id="state_1">
                            <onentry>
                               <raise port="test_output" event="in_state_1" />
                            </onentry>
                            <transition port="test_input" event="to_state_2" target="../state_2"/>
                        </state>
                        <state id="state_2">
                            <onentry>
        	                   <raise port="test_output" event="in_state_2" />
                            </onentry>
                        </state>
                        <transition port="test_input" event="to_outer_1" target="../outer_1"/>
                        <history id="history_1" type="shallow">
                            <transition target="../state_1"/>
                        </history>
                    </state>
                    <state id="outer_1">
                        <onentry>
                           <raise port="test_output" event="in_outer_1" />
                        </onentry>
                        <transition port="test_input" event="to_history_1" target="../orthogonal_inner_1/history_1"/>
                    </state>
                </state>
                <state id="orthogonal_2" initial="orthogonal_inner_2">
                    <state id="orthogonal_inner_2" initial="state_3">
                        <state id="state_3">
                            <onentry>
                               <raise port="test_output" event="in_state_3" />
                            </onentry>
                            <transition port="test_input" event="to_state_4" target="../state_4"/>
                        </state>
                        <state id="state_4">
                            <onentry>
        	                   <raise port="test_output" event="in_state_4" />
                            </onentry>
                        </state>
                        <transition port="test_input" event="to_outer_2" target="../outer_2"/>
                        <history id="history_2" type="shallow">
                            <transition target="../state_3"/>
                        </history>
                    </state>
                    <state id="outer_2">
                        <onentry>
                           <raise port="test_output" event="in_outer_2" />
                        </onentry>
                        <transition port="test_input" event="to_history_2" target="../orthogonal_inner_2/history_2"/>
                    </state>
                </state>
            </parallel>
        </scxml>
    </class>
    <test>
        <input>
            <event name="to_state_2" port="test_input" time="0.0"/>
            <event name="to_state_4" port="test_input" time="0.0"/>
            <event name="to_outer_1" port="test_input" time="0.0"/>
            <event name="to_outer_2" port="test_input" time="0.0"/>
            <event name="to_history_1" port="test_input" time="0.0"/>
            <event name="to_history_2" port="test_input" time="0.0"/>
        </input>
       <expected>
           <slot>
               <event name="in_state_1" port="test_output"/>
               <event name="in_state_3" port="test_output"/>
           </slot>
           <slot>
               <event name="in_state_2" port="test_output"/>
           </slot>
           <slot>
               <event name="in_state_4" port="test_output"/>
           </slot>
           <slot>
               <event name="in_outer_1" port="test_output"/>
           </slot>
           <slot>
               <event name="in_outer_2" port="test_output"/>
           </slot>
           <slot>
               <event name="in_state_2" port="test_output"/>
           </slot>
           <slot>
               <event name="in_state_4" port="test_output"/>
           </slot>
        </expected>
    </test>
</diagram>