Sipper 1.1.3

data/sipper/transaction/Nict.sm

@@ -0,0 +1,51 @@
+// Non Invite Client Transaction. Section 17.1.2 and RFC 4320
+
+%class Nict
+
+%start NictMap::Initial
+
+%map NictMap
+
+%%
+
+Initial
+{
+  request           Trying    { __send_request(); __start_E(); __start_F(); }
+  transport_err     Terminated { __transport_err(); }  
+}
+
+
+Trying
+{
+  timer_E(t: ltime)  nil        { __send_request(); __reset_E(t); }
+  final              Completed  { __consume_msg(true); } // 200-699
+  provisional        Proceeding { __consume_msg(true); } // 100-199
+  timer_F            Terminated { __timeout(); }    
+  transport_err      Terminated { __transport_err(); }
+}
+
+
+Proceeding
+Exit   { __cancel_E(); __cancel_F(); }
+{
+  timer_E(t: ltime)  nil        { __send_request(); __reset_E(); } // default resets to T2
+  final              Completed  { __consume_msg(true); } // 200-699
+  provisional        nil        { __consume_msg(true); }
+  timer_F            Terminated { __timeout(); }
+  transport_err      Terminated { __transport_err(); }  
+}
+
+Completed 
+Entry { __start_K();  }
+{
+  final              nil        { __consume_msg(false); } // 200-699 retrans
+  timer_K            Terminated { }
+}
+
+
+Terminated
+Entry { __cleanup(); }
+{
+}
+
+%%

data/sipper/transaction/Nict_sm.rb

@@ -0,0 +1,325 @@
+# DO NOT EDIT.
+# generated by smc (http://smc.sourceforge.net/)
+# from file : Nict.sm
+
+require 'statemap'
+
+class NictState < Statemap::State
+
+    def Entry(fsm) end
+
+    def Exit(fsm) end
+
+    def final(fsm)
+        Default(fsm)
+    end
+
+    def provisional(fsm)
+        Default(fsm)
+    end
+
+    def request(fsm)
+        Default(fsm)
+    end
+
+    def timer_E(fsm, t)
+        Default(fsm)
+    end
+
+    def timer_F(fsm)
+        Default(fsm)
+    end
+
+    def timer_K(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 NictMap_Default < NictState
+
+end
+
+class NictMap_Initial < NictMap_Default
+
+    def request(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__send_request()
+            ctxt.__start_E()
+            ctxt.__start_F()
+        ensure
+            fsm.setState(NictMap::Trying)
+            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(NictMap::Terminated)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+end
+
+class NictMap_Trying < NictMap_Default
+
+    def final(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__consume_msg(true)
+        ensure
+            fsm.setState(NictMap::Completed)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+    def provisional(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__consume_msg(true)
+        ensure
+            fsm.setState(NictMap::Proceeding)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+    def timer_E(fsm, t)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__send_request()
+            ctxt.__reset_E(t)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def timer_F(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__timeout()
+        ensure
+            fsm.setState(NictMap::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(NictMap::Terminated)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+end
+
+class NictMap_Proceeding < NictMap_Default
+
+    def Exit(fsm)
+        ctxt = fsm.getOwner
+        ctxt.__cancel_E()
+        ctxt.__cancel_F()
+    end
+
+    def final(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__consume_msg(true)
+        ensure
+            fsm.setState(NictMap::Completed)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+    def provisional(fsm)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__consume_msg(true)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def timer_E(fsm, t)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__send_request()
+            ctxt.__reset_E()
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def timer_F(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__timeout()
+        ensure
+            fsm.setState(NictMap::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(NictMap::Terminated)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+end
+
+class NictMap_Completed < NictMap_Default
+
+    def Entry(fsm)
+        ctxt = fsm.getOwner
+        ctxt.__start_K()
+    end
+
+    def final(fsm)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__consume_msg(false)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def timer_K(fsm)
+        fsm.getState.Exit(fsm)
+        fsm.setState(NictMap::Terminated)
+        fsm.getState.Entry(fsm)
+    end
+
+end
+
+class NictMap_Terminated < NictMap_Default
+
+    def Entry(fsm)
+        ctxt = fsm.getOwner
+        ctxt.__cleanup()
+    end
+
+end
+
+module NictMap
+
+    Initial = NictMap_Initial::new('NictMap.Initial', 0).freeze
+    Trying = NictMap_Trying::new('NictMap.Trying', 1).freeze
+    Proceeding = NictMap_Proceeding::new('NictMap.Proceeding', 2).freeze
+    Completed = NictMap_Completed::new('NictMap.Completed', 3).freeze
+    Terminated = NictMap_Terminated::new('NictMap.Terminated', 4).freeze
+    Default = NictMap_Default::new('NictMap.Default', -1).freeze
+
+end
+
+class Nict_sm < Statemap::FSMContext
+
+    def initialize(owner)
+        super()
+        @_owner = owner
+        setState(NictMap::Initial)
+        NictMap::Initial.Entry(self)
+    end
+
+    def final()
+        @_transition = 'final'
+        getState.final(self)
+        @_transition = nil
+    end
+
+    def provisional()
+        @_transition = 'provisional'
+        getState.provisional(self)
+        @_transition = nil
+    end
+
+    def request()
+        @_transition = 'request'
+        getState.request(self)
+        @_transition = nil
+    end
+
+    def timer_E(*arglist)
+        @_transition = 'timer_E'
+        getState.timer_E(self, *arglist)
+        @_transition = nil
+    end
+
+    def timer_F()
+        @_transition = 'timer_F'
+        getState.timer_F(self)
+        @_transition = nil
+    end
+
+    def timer_K()
+        @_transition = 'timer_K'
+        getState.timer_K(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
+

data/sipper/transaction/Nist.sm

@@ -0,0 +1,59 @@
+// Non Invite Server Transaction. Section 17.2.2
+
+%class Nist
+
+%start NistMap::Initial
+
+%map NistMap
+
+%%
+// The two transitions from Initial state for cancel are basically valid if this NIST is for CANCEL.
+// cancel_with_st is called if there is an existing STx that is being canceled and a 200/CANCEL is required
+// to be sent. cancel_with_no_st is called when no STx is found and so a 481/CANCEL is required to be 
+// sent. 
+Initial
+{
+  request                     Trying     { __consume_msg(true); }       //i
+  cancel_with_st(r: resp)     Completed  { __send_final_response(r); __consume_msg(true); } //i for sending 2xx
+  cancel_with_no_st(r: resp)  Completed  { __send_final_response(r); __consume_msg(false); } //i for sending 481
+}
+
+
+Trying 
+{
+  request              nil               { __consume_msg(false); } // i
+  provisional(r: resp) Proceeding        { __send_provisional_response(r); } //o
+  final(r: resp)       Completed         { __send_final_response(r); }      //o
+  transport_err        Terminated        { __transport_err(); }  // even though not mentioned in RFC
+}
+
+
+
+Proceeding
+{
+  provisional(r: resp)       nil        { __send_provisional_response(r); }   //o
+  request                    nil        { __send_last_response(); __consume_msg(false); }  //i 
+  final(r: resp)             Completed  { __send_final_response(r); }      //o
+  transport_err              Terminated { __transport_err(); }
+}
+
+
+Completed 
+Entry { __start_J(); }
+Exit  { __cancel_J(); }
+{
+  request                    nil     { __send_last_response(); __consume_msg(false); }  //i
+  cancel_with_st(r: resp)    nil     { __send_last_response(); __consume_msg(false); } //i for sending 2xx
+  cancel_with_no_st(r: resp) nil     { __send_last_response(); __consume_msg(false); } //i for sending 481
+  final(r: resp)     nil        { }      //o discard
+  timer_J            Terminated { __timeout(); }
+  transport_err      Terminated { __transport_err(); }  
+}
+
+
+Terminated
+Entry { __cleanup(); }
+{
+}
+
+%%

data/sipper/transaction/Nist_sm.rb

@@ -0,0 +1,356 @@
+# DO NOT EDIT.
+# generated by smc (http://smc.sourceforge.net/)
+# from file : Nist.sm
+
+require 'statemap'
+
+class NistState < Statemap::State
+
+    def Entry(fsm) end
+
+    def Exit(fsm) end
+
+    def cancel_with_no_st(fsm, r)
+        Default(fsm)
+    end
+
+    def cancel_with_st(fsm, r)
+        Default(fsm)
+    end
+
+    def final(fsm, r)
+        Default(fsm)
+    end
+
+    def provisional(fsm, r)
+        Default(fsm)
+    end
+
+    def request(fsm)
+        Default(fsm)
+    end
+
+    def timer_J(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 NistMap_Default < NistState
+
+end
+
+class NistMap_Initial < NistMap_Default
+
+    def cancel_with_no_st(fsm, r)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__send_final_response(r)
+            ctxt.__consume_msg(false)
+        ensure
+            fsm.setState(NistMap::Completed)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+    def cancel_with_st(fsm, r)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__send_final_response(r)
+            ctxt.__consume_msg(true)
+        ensure
+            fsm.setState(NistMap::Completed)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+    def request(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__consume_msg(true)
+        ensure
+            fsm.setState(NistMap::Trying)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+end
+
+class NistMap_Trying < NistMap_Default
+
+    def final(fsm, r)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__send_final_response(r)
+        ensure
+            fsm.setState(NistMap::Completed)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+    def provisional(fsm, r)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__send_provisional_response(r)
+        ensure
+            fsm.setState(NistMap::Proceeding)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+    def request(fsm)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__consume_msg(false)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def transport_err(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__transport_err()
+        ensure
+            fsm.setState(NistMap::Terminated)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+end
+
+class NistMap_Proceeding < NistMap_Default
+
+    def final(fsm, r)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__send_final_response(r)
+        ensure
+            fsm.setState(NistMap::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 request(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 transport_err(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__transport_err()
+        ensure
+            fsm.setState(NistMap::Terminated)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+end
+
+class NistMap_Completed < NistMap_Default
+
+    def Entry(fsm)
+        ctxt = fsm.getOwner
+        ctxt.__start_J()
+    end
+
+    def Exit(fsm)
+        ctxt = fsm.getOwner
+        ctxt.__cancel_J()
+    end
+
+    def cancel_with_no_st(fsm, r)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__send_last_response()
+            ctxt.__consume_msg(false)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def cancel_with_st(fsm, r)
+        ctxt = fsm.getOwner
+        endState = fsm.getState
+        fsm.clearState
+        begin
+            ctxt.__send_last_response()
+            ctxt.__consume_msg(false)
+        ensure
+            fsm.setState(endState)
+        end
+    end
+
+    def final(fsm, r)
+    end
+
+    def request(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_J(fsm)
+        ctxt = fsm.getOwner
+        fsm.getState.Exit(fsm)
+        fsm.clearState
+        begin
+            ctxt.__timeout()
+        ensure
+            fsm.setState(NistMap::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(NistMap::Terminated)
+            fsm.getState.Entry(fsm)
+        end
+    end
+
+end
+
+class NistMap_Terminated < NistMap_Default
+
+    def Entry(fsm)
+        ctxt = fsm.getOwner
+        ctxt.__cleanup()
+    end
+
+end
+
+module NistMap
+
+    Initial = NistMap_Initial::new('NistMap.Initial', 0).freeze
+    Trying = NistMap_Trying::new('NistMap.Trying', 1).freeze
+    Proceeding = NistMap_Proceeding::new('NistMap.Proceeding', 2).freeze
+    Completed = NistMap_Completed::new('NistMap.Completed', 3).freeze
+    Terminated = NistMap_Terminated::new('NistMap.Terminated', 4).freeze
+    Default = NistMap_Default::new('NistMap.Default', -1).freeze
+
+end
+
+class Nist_sm < Statemap::FSMContext
+
+    def initialize(owner)
+        super()
+        @_owner = owner
+        setState(NistMap::Initial)
+        NistMap::Initial.Entry(self)
+    end
+
+    def cancel_with_no_st(*arglist)
+        @_transition = 'cancel_with_no_st'
+        getState.cancel_with_no_st(self, *arglist)
+        @_transition = nil
+    end
+
+    def cancel_with_st(*arglist)
+        @_transition = 'cancel_with_st'
+        getState.cancel_with_st(self, *arglist)
+        @_transition = nil
+    end
+
+    def final(*arglist)
+        @_transition = 'final'
+        getState.final(self, *arglist)
+        @_transition = nil
+    end
+
+    def provisional(*arglist)
+        @_transition = 'provisional'
+        getState.provisional(self, *arglist)
+        @_transition = nil
+    end
+
+    def request()
+        @_transition = 'request'
+        getState.request(self)
+        @_transition = nil
+    end
+
+    def timer_J()
+        @_transition = 'timer_J'
+        getState.timer_J(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