Sipper 1.1.3

data/sipper/transaction/Ist.sm

@@ -0,0 +1,74 @@
+// Invite Server Transaction. Section 17.2.1
+
+%class Ist
+
+%start IstMap::Initial
+
+%map IstMap
+
+%%
+
+Initial
+{
+  invite            Proceeding { __send_trying();  __consume_msg(true); }       //i
+  transport_err     Terminated { __transport_err(); }  // even though not mentioned in RFC
+}
+
+
+
+Proceeding
+{
+  provisional(r: resp)       nil        { __send_provisional_response(r); }            //o
+  invite                     nil        { __send_last_response(); __consume_msg(false); }  //i 
+  success_final(r: resp)     Finished   { __send_success_response(r); }                //o
+  non_success_final(r: resp) Completed  { __send_non_success_final_response(r); }      //o
+  cancel                     Completed  { __create_and_send_487(); __consume_msg(true); }  //i
+  transport_err              Terminated { __transport_err(); }
+}
+
+
+Completed 
+Entry { __start_H();  __start_G();  }
+Exit  { __cancel_H(); __cancel_G(); }
+{
+  timer_G(t: ltime)  nil        { __send_last_response(); __reset_G(t); }
+  timer_H            Terminated { __timeout(); }
+  transport_err      Terminated { __transport_err(); }  
+  ack                Confirmed  { __consume_msg(false); }                          //i
+  invite             nil        { __send_last_response(); __consume_msg(false); }  //i
+  cancel             nil        { __consume_msg(true); }                           //i
+}
+
+
+
+Confirmed
+Entry { __start_I(); }
+{
+  timer_I            Terminated { __timeout(); }
+  cancel             nil        { __consume_msg(true); }                          //i consume to send 200
+  ack                        nil    { __consume_msg(false); }                     //i
+  invite                     nil    { __send_last_response(); __consume_msg(false); }  //i
+}
+
+
+
+// sipit bug http://bugs.sipit.net/show_bug.cgi?id=769
+// on the same lines as Timer I
+// this state is practically invisible
+
+Finished
+Entry { __start_Z(); }
+Exit  { }
+{
+  invite             nil        { __consume_msg(false); }    //i txn is tu agnostic
+  timer_Z            Terminated { }
+  cancel             nil        { __consume_msg(true); }   //i
+}
+
+
+Terminated
+Entry { __cleanup(); }
+{
+}
+
+%%

data/sipper/transaction/Ist_sm.rb

@@ -0,0 +1,460 @@
+# DO NOT EDIT.
+# generated by smc (http://smc.sourceforge.net/)
+# from file : Ist.sm
+
+require 'statemap'
+
+class IstState < Statemap::State
+
+    def Entry(fsm) end
+
+    def Exit(fsm) end
+
+    def ack(fsm)
+        Default(fsm)
+    end
+
+    def cancel(fsm)
+        Default(fsm)
+    end
+
+    def invite(fsm)
+        Default(fsm)
+    end
+
+    def non_success_final(fsm, r)
+        Default(fsm)
+    end
+
+    def provisional(fsm, r)
+        Default(fsm)
+    end
+
+    def success_final(fsm, r)
+        Default(fsm)
+    end
+
+    def timer_G(fsm, t)
+        Default(fsm)
+    end
+
+    def timer_H(fsm)
+        Default(fsm)
+    end
+
+    def timer_I(fsm)
+        Default(fsm)
+    end
+
+    def timer_Z(fsm)
+        Default(fsm)
+    end
+
+    def transport_err(fsm)
+        Default(fsm)
+    end
+
+    def Default(fsm)
+        msg = "\nState: " + fsm.getState.getName +
+            "\nTransition: " + fsm.getTransition + "\n"
+        raise Statemap::TransitionUndefinedException, msg
+    end
+
+end
+
+class IstMap_Default < IstState
+
+end
+
+class IstMap_Initial < IstMap_Default
+
+    def invite(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__send_trying()
+            ctxt.__consume_msg(true)
+        ensure
+            fsm.setState(IstMap::Proceeding)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+    def transport_err(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__transport_err()
+        ensure
+            fsm.setState(IstMap::Terminated)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+end
+
+class IstMap_Proceeding < IstMap_Default
+
+    def cancel(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__create_and_send_487()
+            ctxt.__consume_msg(true)
+        ensure
+            fsm.setState(IstMap::Completed)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+    def invite(fsm)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__send_last_response()
+            ctxt.__consume_msg(false)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def non_success_final(fsm, r)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__send_non_success_final_response(r)
+        ensure
+            fsm.setState(IstMap::Completed)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+    def provisional(fsm, r)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__send_provisional_response(r)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def success_final(fsm, r)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__send_success_response(r)
+        ensure
+            fsm.setState(IstMap::Finished)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+    def transport_err(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__transport_err()
+        ensure
+            fsm.setState(IstMap::Terminated)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+end
+
+class IstMap_Completed < IstMap_Default
+
+    def Entry(fsm)
+        ctxt = fsm.getOwner
+        ctxt.__start_H()
+        ctxt.__start_G()
+    end
+
+    def Exit(fsm)
+        ctxt = fsm.getOwner
+        ctxt.__cancel_H()
+        ctxt.__cancel_G()
+    end
+
+    def ack(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__consume_msg(false)
+        ensure
+            fsm.setState(IstMap::Confirmed)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+    def cancel(fsm)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__consume_msg(true)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def invite(fsm)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__send_last_response()
+            ctxt.__consume_msg(false)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def timer_G(fsm, t)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__send_last_response()
+            ctxt.__reset_G(t)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def timer_H(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__timeout()
+        ensure
+            fsm.setState(IstMap::Terminated)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+    def transport_err(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__transport_err()
+        ensure
+            fsm.setState(IstMap::Terminated)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+end
+
+class IstMap_Confirmed < IstMap_Default
+
+    def Entry(fsm)
+        ctxt = fsm.getOwner
+        ctxt.__start_I()
+    end
+
+    def ack(fsm)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__consume_msg(false)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def cancel(fsm)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__consume_msg(true)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def invite(fsm)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__send_last_response()
+            ctxt.__consume_msg(false)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def timer_I(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__timeout()
+        ensure
+            fsm.setState(IstMap::Terminated)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+end
+
+class IstMap_Finished < IstMap_Default
+
+    def Entry(fsm)
+        ctxt = fsm.getOwner
+        ctxt.__start_Z()
+    end
+
+    def cancel(fsm)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__consume_msg(true)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def invite(fsm)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__consume_msg(false)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def timer_Z(fsm)
+        fsm.getState.Exit(fsm)
+        fsm.setState(IstMap::Terminated)
+        fsm.getState.Entry(fsm)
+    end
+
+end
+
+class IstMap_Terminated < IstMap_Default
+
+    def Entry(fsm)
+        ctxt = fsm.getOwner
+        ctxt.__cleanup()
+    end
+
+end
+
+module IstMap
+
+    Initial = IstMap_Initial::new('IstMap.Initial', 0).freeze
+    Proceeding = IstMap_Proceeding::new('IstMap.Proceeding', 1).freeze
+    Completed = IstMap_Completed::new('IstMap.Completed', 2).freeze
+    Confirmed = IstMap_Confirmed::new('IstMap.Confirmed', 3).freeze
+    Finished = IstMap_Finished::new('IstMap.Finished', 4).freeze
+    Terminated = IstMap_Terminated::new('IstMap.Terminated', 5).freeze
+    Default = IstMap_Default::new('IstMap.Default', -1).freeze
+
+end
+
+class Ist_sm < Statemap::FSMContext
+
+    def initialize(owner)
+        super()
+        @_owner = owner
+        setState(IstMap::Initial)
+        IstMap::Initial.Entry(self)
+    end
+
+    def ack()
+        @_transition = 'ack'
+        getState.ack(self)
+        @_transition = nil
+    end
+
+    def cancel()
+        @_transition = 'cancel'
+        getState.cancel(self)
+        @_transition = nil
+    end
+
+    def invite()
+        @_transition = 'invite'
+        getState.invite(self)
+        @_transition = nil
+    end
+
+    def non_success_final(*arglist)
+        @_transition = 'non_success_final'
+        getState.non_success_final(self, *arglist)
+        @_transition = nil
+    end
+
+    def provisional(*arglist)
+        @_transition = 'provisional'
+        getState.provisional(self, *arglist)
+        @_transition = nil
+    end
+
+    def success_final(*arglist)
+        @_transition = 'success_final'
+        getState.success_final(self, *arglist)
+        @_transition = nil
+    end
+
+    def timer_G(*arglist)
+        @_transition = 'timer_G'
+        getState.timer_G(self, *arglist)
+        @_transition = nil
+    end
+
+    def timer_H()
+        @_transition = 'timer_H'
+        getState.timer_H(self)
+        @_transition = nil
+    end
+
+    def timer_I()
+        @_transition = 'timer_I'
+        getState.timer_I(self)
+        @_transition = nil
+    end
+
+    def timer_Z()
+        @_transition = 'timer_Z'
+        getState.timer_Z(self)
+        @_transition = nil
+    end
+
+    def transport_err()
+        @_transition = 'transport_err'
+        getState.transport_err(self)
+        @_transition = nil
+    end
+
+    def getState()
+        if @_state.nil? then
+            raise Statemap::StateUndefinedException
+        end
+        return @_state
+    end
+
+    def getOwner()
+        return @_owner
+    end
+
+end