gv_fsm 0.2.8 → 0.3.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 3b5c409a59baa14a81f425617228e69a99e08c6914aba00156516bb6d58f4b01
-  data.tar.gz: 88f01660fdc03e5b7e439e8eb5c471990de71f0ab32cd5fd6d6a6e93879294ec
+  metadata.gz: 104db8b7dc7c75c3680cea00e87170c3a3ab7a34c907b6022ecfe73cf7312b22
+  data.tar.gz: 2d59ec8faae9088a97d2dc8075adf426940b4ee51ee98ba8c42a150dca7a32b4
 SHA512:
-  metadata.gz: 68c7c63845e630d6b17e5d9ec7a7dac42bbd4045c9e6bd41f25bfcd8d1edc12e3b6dea3518179fe1bea72400a865e4a1fd0112980ea4625b3df3e2185cb651dd
-  data.tar.gz: 8c47fdce73aafb70871ad87cddf1a5a359021b2e1cd1f619212186d1fda7b552b30858f958ad818ab4b6a491d47e27501bb7ccd50777d1d5686be17d9c9062af
+  metadata.gz: 83ca0f6bebc31be22faa513940825133f78a3e4206eaf9457fd4ae9632b2987b8bf70efd9b752b3df894db78f4afd230b53b06ff8755c74fdf0d168f54e4c815
+  data.tar.gz: 952087a81fc23d362e05a275234c05a7917beb42f5c08323e1df2cf47168bceec52ae181f6ed51abba2d84e4a4ec9b0ec14bceeae413f37ba5f404d9dfe5813d

data/bin/gv_fsm

@@ -48,6 +48,10 @@ op = OptionParser.new do |parser|
     sm.syslog = false
   end
 
+  parser.on("-k", "--sigint STATE", "Install SIGINT handler that points to STATE") do |state|
+    sm.sigint = state
+  end
+
   parser.on("-h", "--help", "Prints this help") do
     puts parser
     exit
@@ -73,6 +77,11 @@ unless sm.parse(ARGV[0]) then
   exit 3
 end
 
+if sm.ino && sm.sigint then
+  STDERR.puts "ERROR: signal handler is not supported on Arduino!\n\n"
+  exit 4
+end
+
 puts "Parsed #{sm.dotfile}"
 top = sm.topology
 puts "Graph topology:"
@@ -87,11 +96,18 @@ end
 puts "Generating C functions for states: #{sm.states_list.join(", ")}."
 puts "                   for transition: #{sm.transition_functions_list.join(", ")}."
 
+if (sm.sigint) then
+  puts "Installed signal handler for SIGINT in state #{top[:sources][0]}:\n  stable states have emergency transition to state #{sm.sigint}"
+  unless top[:sinks].include? sm.sigint then
+    puts "WARNING: the state #{sm.sigint} is not a source, please check topology"
+  end
+end
 
 if options[:header] then
   name = sm.generate_h 
   puts "Generated header #{name}"
 end
+
 if options[:source] then
   name = sm.generate_c
   puts "Generated source #{name}"

data/lib/gv_fsm.rb

@@ -10,7 +10,7 @@ require File.expand_path("../version.rb", __FILE__)
 module GV_FSM
   class FSM
     attr_reader :states, :transitions, :dotfile, :prefix, :error
-    attr_accessor :project_name, :description, :cname, :syslog, :ino
+    attr_accessor :project_name, :description, :cname, :syslog, :ino, :sigint
     include GV_FSM::Templates
 
     def initialize(filename = nil)
@@ -20,6 +20,7 @@ module GV_FSM
       @error = nil
       @matrix = nil
       @nodemap = {}
+      @sigint = nil
       parse(filename) if filename
     end
 
@@ -48,7 +49,7 @@ module GV_FSM
           return nil
         end
         @matrix = Matrix.zero(n, n)
-        @description = g.name
+        @description = g.name unless @description
         i = 0
         g.each_node do |id|
           n = g.get_node(id)
@@ -85,6 +86,10 @@ module GV_FSM
         @error = "Parsing error"
         return nil
       end
+      if (self.sigint && !states.find {|s| s[:id] == self.sigint}) then
+        @error = "Missing SIGINT state #{self.sigint}"
+        return nil
+      end
       return graph
     end
 

data/lib/templates.rb

@@ -23,8 +23,8 @@ module GV_FSM
 
     HH =<<~EOH
       <% if !@ino then %>
-      #ifndef <%= @cname.upcase %>_H
-      #define <%= @cname.upcase %>_H
+      #ifndef <%= File::basename(@cname).upcase %>_H
+      #define <%= File::basename(@cname).upcase %>_H
       #include <stdlib.h>
       <% else %>
       #include <arduino.h>
@@ -92,7 +92,7 @@ module GV_FSM
       <% end %>
 
       // state manager
-      <%= @prefix %>state_t <%= @prefix %>run_state(<%= @prefix %>state_t cur_state, state_data_t *data);
+      <%= @prefix %>state_t <%= @prefix %>run_state(<%= @prefix %>state_t cur_state, <%= @prefix %>state_data_t *data);
       
       <% if !@ino then %>
       #endif
@@ -108,8 +108,19 @@ module GV_FSM
       <% else %>
       <% if @syslog then log = :ino end %>
       <% end %>
-      #include "<%= @cname %>.h"
+      #include "<%= File::basename(@cname) %>.h"
       
+      <% if sigint then %>// Install signal handler: 
+      // SIGINT requests a transition to state <%= self.sigint %>
+      #include <signal.h>
+      static int _exit_request = 0;
+      static void signal_handler(int signal) {
+        if (signal == SIGINT)
+          syslog(LOG_WARNING, "[FSM] SIGINT transition to <%= sigint %>");
+          _exit_request = 1;
+      }
+
+      <% end %>
       <% placeholder = "Your Code Here" %>
       // SEARCH FOR <%= placeholder %> FOR CODE INSERTION POINTS!
 
@@ -153,6 +164,7 @@ module GV_FSM
       // |_|  \\__,_|_| |_|\\___|\\__|_|\\___/|_| |_|___/
       //                                             
       <% dest = destinations.dup %>
+      <% topo = self.topology %>
       <% @states.each do |s| %>
       <% stable = true if dest[s[:id]].include? s[:id] %>
       <% dest[s[:id]].map! {|n| (@prefix+"STATE_"+n).upcase} %>
@@ -161,9 +173,13 @@ module GV_FSM
       end %>
       // Function to be executed in state <%= s[:id] %>
       // valid return states: <%= dest[s[:id]].join(", ") %>
+      <% if sigint && stable && topo[:sources][0] != s[:id] then %>
+      // SIGINT triggers an emergency transition to <%= self.sigint %>
+      <% end %>
       <%= @prefix %>state_t <%= s[:function] %>(<%= @prefix %>state_data_t *data) {
         <%= @prefix %>state_t next_state = <%= dest[s[:id]].first %>;
-
+        <% if sigint && topo[:sources][0] == s[:id] then %>signal(SIGINT, signal_handler); 
+        <% end %>
       <% if log == :syslog then %>
         syslog(LOG_INFO, "[FSM] In state <%= s[:id] %>");
       <% elsif log == :ino then %>
@@ -186,6 +202,10 @@ module GV_FSM
       <% end %>
             next_state = <%= @prefix.upcase %>NO_CHANGE;
         }
+        <% if sigint && stable && topo[:sources][0] != s[:id] then %>
+        // SIGINT transition override
+        if (_exit_request) next_state = <%= (@prefix+"STATE_"+self.sigint ).upcase %>;
+        <% end %>
         return next_state;
       }
 
@@ -282,4 +302,4 @@ module GV_FSM
       <% end %>
     EOC
   end
-end
+end

data/lib/version.rb

@@ -1,3 +1,3 @@
 module GV_FSM
-  VERSION = "0.2.8"
+  VERSION = "0.3.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: gv_fsm
 version: !ruby/object:Gem::Version
-  version: 0.2.8
+  version: 0.3.0
 platform: ruby
 authors:
 - Paolo Bosetti
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2020-11-11 00:00:00.000000000 Z
+date: 2022-05-05 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: ruby-graphviz
@@ -48,7 +48,7 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: '0'
+      version: '2.7'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="