<?xml version="1.0"?>

<!-- test that a targetless transition does not exit and reenter its source state -->

<scxml  initial="s1" version="1.0" conf:datamodel=""  xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance">
<datamodel>
  <data conf:id="1" conf:expr="0"/>  <!-- how often we have exited s2 -->
  <data conf:id="2" conf:expr="0"/>  <!-- how often the targetless transition in s2 has been executed -->
  </datamodel>
    
 <state id="s1">
   <onentry>
    <raise event="foo"/>
    <raise event="bar"/>
    </onentry>
   <transition target="s2"/>
   </state>
  
 <state id="s2">
   <onexit>
   <conf:incrementID id="1"/>
   </onexit>
   <transition event="foo">
     <conf:incrementID id="2"/>
     </transition>
   <!-- make sure the transition on foo was actually taken --> 
  <transition event="bar" conf:idVal="2=1" target="s3"/>
  <transition event="bar" conf:targetfail=""/>
  </state>
  
  <state id="s3">
  <!-- make sure that s2 was exited only once -->
    <transition conf:idVal="1=1" conf:targetpass=""/>
    <transition conf:targetfail=""/>
    </state> 
  

<conf:pass/>
<conf:fail/>
     
</scxml>