sam
/
TranslatingSCCDtoDEVS


			
				
					
						
						
							123456789101112131415161718192021222324
							<?xml version="1.1" ?>
<diagram author="Sam Pieters" name="TransitionToItselfTest">
    <description>
        Check if a state can transition to itself.
    </description>
    <class name="MainApp" default="true">
        <constructor>
            <body>
                self.value = 0
            </body>
        </constructor>
        <scxml initial="state1">
            <state id="state1"> 
                <transition target="." cond="self.value == 0">
                    <script>
                        self.value = 1
                    </script>
                </transition>
                <transition target="../state2" cond="self.value == 1" />
            </state>
            <state id="state2" /> 
        </scxml>
    </class>
</diagram>