rfsm2json.lua

--
-- This file is part of rFSM.
--
-- (C) 2010,2011 Markus Klotzbuecher, markus.klotzbuecher@mech.kuleuven.be,
-- Department of Mechanical Engineering, Katholieke Universiteit
-- Leuven, Belgium.
--
-- You may redistribute this software and/or modify it under either
-- the terms of the GNU Lesser General Public License version 2.1
-- (LGPLv2.1 <http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html>)
-- or (at your discretion) of the Modified BSD License: Redistribution
-- and use in source and binary forms, with or without modification,
-- are permitted provided that the following conditions are met:
--    1. Redistributions of source code must retain the above copyright
--       notice, this list of conditions and the following disclaimer.
--    2. Redistributions in binary form must reproduce the above
--       copyright notice, this list of conditions and the following
--       disclaimer in the documentation and/or other materials provided
--       with the distribution.
--    3. The name of the author may not be used to endorse or promote
--       products derived from this software without specific prior
--       written permission.
--
-- THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS
-- OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
-- WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
-- ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
-- DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
-- DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
-- GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
-- INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
-- WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
--

local rfsm = require "rfsm"
local rfsm_marsh = require "rfsm_marsh"
local json = require "json"
local utils = require "utils"
local pcall = pcall
local tostring = tostring
local print = print -- debugging only

module("rfsm2json")

-- shortcuts
local mapfsm = rfsm.mapfsm
local is_composite = rfsm.is_composite
local is_leaf = rfsm.is_leaf
local is_conn = rfsm.is_conn
local is_node = rfsm.is_node
local is_trans = rfsm.is_trans

local RFSM2JSON_VERSION = 2

--- msg format
-- { version=...
--   graph=....
--   active_leaf = <active state fqn>
--   active_leaf_state=<active,done,inactive>"
-- }
--- Convert an initialized rFSM instance to the json representation
-- @param fsm initalized rFSM instance
function encode(fsm)
   if not fsm._initialized then
      error("rfsm2json: initialized FSM required")
      return false
   end

   local res = { version=RFSM2JSON_VERSION, type='rfsm_model' }
   res.graph = rfsm_marsh.model2tab(fsm)
   if fsm._act_leaf then
      res.active_leaf=fsm._act_leaf._fqn
      res.active_leaf_state=get_sta_mode(fsm._act_leaf)
   else
      res.active_leaf = false
      res.active_leaf_state = false
   end
   return json.encode(res)
end