MINT-scxml 1.0.0

data/spec/parser_spec.rb

@@ -0,0 +1,394 @@
+require File.dirname(__FILE__) + '/spec_helper'
+
+describe 'The StatemachineParser for' do
+  describe 'states' do
+  begin
+    describe 'without a superstate' do
+      before (:each) do
+        @messenger = mock("messenger" )
+        
+        parser = StatemachineParser.new(nil,@messenger)
+
+        scxml = <<EOS
+<scxml id="SCXML" xmlns="http://www.w3.org/2005/07/scxml">
+  <state id="state1">
+     <transition event="event1" target="state2"/>
+     <transition event="event4" target="state2">
+        <log expr="transition executing"/>
+     </transition>
+  </state>
+
+  <state id="state2">
+     <transition event="event2" target="state3"/>
+  </state>
+
+  <state id="state3">
+     <transition event="event3" target="state1"/>
+  </state>
+</scxml>
+EOS
+
+        @sm = parser.build_from_scxml_string scxml
+      end
+
+      it "should start with the correct initial state without initial attribute set" do
+        @sm.state.should==:state1
+      end
+
+      it "should support transitions " do
+        @sm.event1
+        @sm.state.should==:state2
+        @sm.event2
+        @sm.state.should==:state3
+        @sm.event3
+        @sm.state.should==:state1
+      end
+
+      it "should support logging inside a transition" do
+        @messenger.should_receive(:puts).with("transition executing" )
+        @sm.event4
+      end
+    end
+    
+    describe "in the same superstate" do
+      before (:each) do
+        @messenger = mock("messenger" )
+        
+        parser = StatemachineParser.new(nil,@messenger)
+
+        scxml = <<EOS
+<?xml version="1.0"?>
+<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" profile="ecmascript" initial="off">
+  <state id="super" initial="child2">
+    <state id="child1">
+      <transition event="event1" target="child2">
+        <log expr="'This is action1'"/>
+      </transition>
+    </state>
+    <state id="child2">
+      <transition event="event2" target="child3">
+        <log expr="'This is action2'"/>
+      </transition>
+    </state>
+    <state id="child3">
+      <transition event="event3" target="child1">
+        <log expr="'This is action3'"/>
+      </transition>
+    </state>
+  </state>
+</scxml>
+EOS
+        @sm = parser.build_from_scxml_string scxml
+      end
+      
+      it "should start with the correct state" do
+        @sm.state.should==:child2
+      end
+
+      it "should support transitions and logging inside transitions" do
+        @messenger.should_receive(:puts).with("'This is action2'" )
+        @sm.event2
+        @sm.state.should==:child3
+
+        @messenger.should_receive(:puts).with("'This is action3'" )
+        @sm.event3
+        @sm.state.should==:child1
+
+        @messenger.should_receive(:puts).with("'This is action1'" )
+        @sm.event1
+        @sm.state.should==:child2
+      end
+
+      it 'should start with the correct state even if the initial state has not been explicitly set' do
+        scxml = <<EOS
+<?xml version="1.0"?>
+<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" profile="ecmascript" initial="off">
+  <state id="state">
+    <state id="state1">
+      <transition event="event1" target="state2">
+        <log expr="'This is action1'"/>
+      </transition>
+    </state>
+    <state id="state2">
+      <transition event="event2" target="state3">
+        <log expr="'This is action2'"/>
+      </transition>
+    </state>
+  </state>
+</scxml>
+EOS
+        parser = StatemachineParser.new
+        @sm = parser.build_from_scxml_string scxml
+        @sm.state.should==:state1
+        
+      end 
+    end
+    describe "in double nested superstates" do
+      before (:each) do
+
+        parser = StatemachineParser.new
+        scxml = <<EOS
+<?xml version="1.0"?>
+<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" profile="ecmascript" initial="off">
+  <state id="state1" initial="state12">
+    <transition event="to_state2" target="state2"/>
+      <state id="state11" initial="state111">
+        <state id="state111">
+          <transition event="to_state12" target="state12"/>
+        </state>
+        <transition event="to_state111" target="state111"/>
+        <transition event="to_state13" target="state13"/>
+      </state>
+      <state id="state12">
+        <transition event="to_state13" target="state13"/>
+      </state>
+      <state id="state13">
+        <transition event="to_state11" target="state11"/>
+      </state>
+    </state>
+    <state id="state2"/>
+</scxml>
+EOS
+
+        @sm = parser.build_from_scxml_string scxml
+      end
+      
+      it "should support starting with the correct inital state that has been excplicitely set" do
+        @sm.state.should==:state12
+        @sm.to_state13
+        @sm.to_state11
+        @sm.state.should==:state111
+      end
+
+      it "should support transitions the are defined for a superstate to get into a nested state of the same superstate" do
+        @sm.to_state13
+        @sm.to_state11
+        @sm.to_state111
+        @sm.state.should==:state111
+        @sm.to_state12
+        @sm.state.should==:state12
+      end
+      it "should support transitions the are defined for a superstate to get into another state on the same level of the superstate" do
+        @sm.to_state13
+        @sm.to_state11
+        @sm.to_state111
+        @sm.state.should==:state111
+        @sm.to_state13
+        @sm.state.should==:state13
+      end
+
+      it "should support transitions the are defined from a super-superstate " do
+        @sm.to_state13
+        @sm.to_state11
+        @sm.to_state111
+        @sm.state.should==:state111
+        @sm.to_state2
+        @sm.state.should==:state2
+      end
+    end
+    
+    describe 'with onentry or onexit' do
+
+      before (:each) do
+        @messenger = mock("messenger" )
+        
+        @message_queue = mock("message_queue" )
+        
+        parser = StatemachineParser.new(nil, @messenger, @message_queue)
+
+        scxml = <<EOS
+<scxml id="SCXML" xmlns="http://www.w3.org/2005/07/scxml">
+  <state id="state1">
+        <transition event="to_state2" target="state2"/>
+  </state>
+  <state id="state2">
+     <onentry>
+          <log expr="'inside state2 onentry'"/>
+          <send type="'x-mint'" target="target" event="fax.SEND"/>
+     </onentry>
+     <onexit>
+          <log expr="'inside state2 onexit'"/>
+     </onexit>
+      <transition event="to_state1" target="state1">
+           <send type="'x-mint'" target="target-2" event="fax.SEND-2"/>
+        </transition>
+  </state>
+
+</scxml>
+EOS
+
+        @sm = parser.build_from_scxml_string scxml
+      end
+
+      it "should consider onentry" do
+        @messenger.should_receive(:puts).with("'inside state2 onentry'" )
+        @message_queue.should_receive(:send).with("target","fax.SEND")
+        @sm.to_state2
+      end
+
+      it "should consider onexit" do
+        @messenger.should_receive(:puts).with("'inside state2 onentry'" )
+        @message_queue.should_receive(:send).with("target","fax.SEND")
+        @sm.to_state2
+        @messenger.should_receive(:puts).with("'inside state2 onexit'" )
+        @message_queue.should_receive(:send).with("target-2","fax.SEND-2")
+        @sm.to_state1
+      end
+
+      it "should receive send inside onentry" do
+        @messenger.should_receive(:puts).with("'inside state2 onentry'" )
+        @message_queue.should_receive(:send).with("target","fax.SEND")
+        @sm.to_state2
+      end
+
+      it "should receive send inside a transition" do
+        @messenger.should_receive(:puts).with("'inside state2 onentry'" )
+        @message_queue.should_receive(:send).with("target","fax.SEND")
+        @sm.to_state2
+        @messenger.should_receive(:puts).with("'inside state2 onexit'" )
+        @message_queue.should_receive(:send).with("target-2","fax.SEND-2")
+        @sm.to_state1
+      end
+    end
+  end
+
+  describe 'parallel' do
+      before (:each) do
+        parser = StatemachineParser.new
+
+        scxml = <<EOS
+<?xml version="1.0"?>
+<scxml id="SCXML" xmlns="http://www.w3.org/2005/07/scxml">
+  <state id="state0">
+    <transition event="to_p" target="parallel"/>
+  </state>
+  <state id="p_super">
+    <transition event="to_0" target="state0"/>
+    <parallel id="parallel">
+        <state id="state1">
+          <state id="state11">
+            <transition event="to_12" cond="In('state22')" target="state12"/>
+          </state>
+          <state id="state12">
+            <transition event="to_11" cond="In('state21')" target="state12"/>
+          </state>
+        </state>
+
+        <state id="state2" initial="state22">
+          <state id="state21">
+           <transition event="to_22" target="state22"/>
+          </state>
+          <state id="state22">
+            <transition event="to_21" target="state21"/>
+          </state>
+        </state>
+    </parallel>
+  </state>
+</scxml>
+EOS
+
+        @sm = parser.build_from_scxml_string scxml
+      end
+
+      it "start with the initial state and transition to the parallel states" do
+        @sm.states_id.should == [:state0]
+        @sm.process_event(:to_p)
+        @sm.states_id.should == [:state11,:state22]
+      end
+
+      it "support transitions for both parallel superstates" do
+        @sm.states_id.should == [:state0]
+        @sm.process_event(:to_p)
+        @sm.process_event(:to_12)
+        @sm.In(:state12).should == true
+        @sm.process_event(:to_21)
+        @sm.In(:state21).should == true
+        @sm.states_id.should == [:state12,:state21]
+      end
+
+      it "support testing with 'in' condition for primitive states " do
+        @sm.states_id.should == [:state0]
+        @sm.process_event(:to_p)
+        @sm.process_event(:to_12)
+         @sm.In(:state12).should == true
+      end
+               
+      it "support testing with 'in' condition for  superstates " do
+        @sm.states_id.should == [:state0]
+        @sm.process_event(:to_p)
+        @sm.process_event(:to_12)
+        @sm.In(:state1).should == true
+      end
+
+      it "support testing with 'in' condition for parallel superstates " do
+        @sm.states_id.should == [:state0]
+        @sm.process_event(:to_p)
+        @sm.process_event(:to_12)
+        @sm.In(:state2).should == true
+        @sm.In(:state1).should == true
+      end
+  end
+
+  describe 'with history' do
+      before (:each) do
+
+        parser = StatemachineParser.new
+
+        scxml = <<EOS
+<?xml version="1.0"?>
+<scxml id="SCXML" xmlns="http://www.w3.org/2005/07/scxml">
+  <state id="state0">
+    <transition event="to_p" target="parallel"/>
+  </state>
+  <state id="p_super">
+    <transition event="to_0" target="state0"/>
+    <parallel id="parallel">
+        <state id="state1">
+          <state id="state11">
+            <transition event="to_12" cond="In('state22')" target="state12"/>
+          </state>
+          <state id="state12">
+            <transition event="to_11" cond="In('state21')" target="state12"/>
+          </state>
+          <history id="history" type="deep">
+            <transition target="state11"/>
+          </history>
+        </state>
+
+        <state id="state2" initial="state22">
+          <state id="state21">
+           <transition event="to_22" target="state22"/>
+          </state>
+          <state id="state22">
+            <transition event="to_21" target="state21"/>
+          </state>
+        </state>
+    </parallel>
+  </state>
+</scxml>
+EOS
+
+        @sm = parser.build_from_scxml_string scxml
+      end
+
+      it "start with the initial state and transition to the parallel states" do
+        @sm.states_id.should == [:state0]
+        @sm.process_event(:to_p)
+        @sm.states_id.should == [:state11,:state22]
+      end
+
+      it "should leave the parallel states and return in the correct states" do
+        @sm.states_id.should == [:state0]
+        @sm.process_event(:to_p)
+        @sm.states_id.should == [:state11,:state22]
+        @sm.process_event(:to_12)
+        @sm.states_id.should == [:state12,:state22]
+        @sm.process_event(:to_0)
+        @sm.states_id.should == [:state0]
+        @sm.process_event(:to_p)
+        @sm.states_id.should == [:state12,:state22]
+      end
+  end
+  end
+end
+

data/spec/spec.opts

@@ -0,0 +1,6 @@
+--colour
+--format
+profile
+--timeout
+20
+

data/spec/spec_helper.rb

@@ -0,0 +1,8 @@
+$:.unshift(File.dirname(__FILE__) + '/../lib')
+require "rubygems"
+require "bundler/setup"
+require "spec"
+require 'statemachine'
+require 'MINT-scxml/scxml-parser'
+
+$IS_TEST = true

data/spec/test_handgestures_spec.rb

@@ -0,0 +1,53 @@
+require File.dirname(__FILE__) + '/spec_helper'
+
+class TestContext
+  def print_distance
+  end
+  def start_confirm_timeout
+  end
+  def stop_confirm_timeout
+  end
+  def reset_confirm_ticker
+  end
+  def command_timeout_start_prev
+  end
+  def command_timeout_start_next
+  end
+  def command_timeout_stop
+  end
+  def issued_rev
+  end
+  def issued_next
+  end
+  def tick
+  end
+end
+
+describe 'state' do
+  before (:each) do
+    context = TestContext.new
+    parser = StatemachineParser.new(context)
+    @sm = parser.build_from_scxml "spec/testmachines/handgestures-scxmlgui.scxml"
+  end
+
+  it "should start with the correct initial state >no_hands<" do
+    @sm.state.should==:no_hands
+  end
+
+  it "should support transition to superstate and find correct start state" do
+    @sm.one_hand
+    @sm.state.should==:wait_one
+  end
+
+  it "should leave a deeply nested state through a superstate transition" do
+    @sm.two_hands
+    @sm.state.should==:wait_two
+    @sm.narrow
+    @sm.state.should==:narrowing
+    @sm.confirm
+    @sm.state.should==:narrowed
+    @sm.no_hands # transition defined in superstate!
+    @sm.state.should == :no_hands
+  end
+
+end