--- This module contains the STATEMACHINE class.
-- 
-- ===
-- 
-- 1) @{Workflow#STATEMACHINE} class, extends @{Base#BASE}
-- ==============================================
-- 
-- 1.1) Add or remove objects from the STATEMACHINE
-- --------------------------------------------
-- @module StateMachine
-- @author FlightControl


--- STATEMACHINE class
-- @type STATEMACHINE
STATEMACHINE = {
  ClassName = "STATEMACHINE",
}

--- Creates a new STATEMACHINE object.
-- @param #STATEMACHINE self
-- @return #STATEMACHINE
function STATEMACHINE:New( options )

  -- Inherits from BASE
  local self = BASE:Inherit( self, BASE:New() )


  --local self = routines.utils.deepCopy( self ) -- Create a new self instance

  assert(options.events)

  --local MT = {}
  --setmetatable( self, MT )
  --self.__index = self

  self.options = options
  self.current = options.initial or 'none'
  self.events = {}
  self.subs = {}
  self.endstates = {}

  for _, event in ipairs(options.events or {}) do
    local name = event.name
    self[name] = self[name] or self:_create_transition(name)
    self.events[name] = self.events[name] or { map = {} }
    self:_add_to_map(self.events[name].map, event)
  end
  
  for name, callback in pairs(options.callbacks or {}) do
    self[name] = callback
  end
  
  for name, sub in pairs( options.subs or {} ) do
    self:_submap( self.subs, sub, name )
  end
  
  for name, endstate in pairs( options.endstates or {} ) do
    self.endstates[name] = endstate
  end

  return self
end


function STATEMACHINE:_submap( subs, sub, name )
  self:E( { subs = subs, sub = sub, name = name } )
  subs[sub.onstateparent] = subs[sub.onstateparent] or {}
  subs[sub.onstateparent][sub.oneventparent] = subs[sub.onstateparent][sub.oneventparent] or {}
  subs[sub.onstateparent][sub.oneventparent].fsm = sub.fsm
  subs[sub.onstateparent][sub.oneventparent].event = sub.event
  subs[sub.onstateparent][sub.oneventparent].name = name
  subs[sub.onstateparent][sub.oneventparent].fsmparent = self
end


function STATEMACHINE:_call_handler(handler, params)
  if handler then
    return handler(unpack(params))
  end
end

function STATEMACHINE:_create_transition(name)
  self:E( { name = name } )
  return function(self, ...)
    self:E(name)
    local can, to = self:can(name)

    if can then
      local from = self.current
      local params = { self, name, from, to, ... }

      if self:_call_handler(self["onbefore" .. name], params) == false
      or self:_call_handler(self["onleave" .. from], params) == false then
        return false
      end

      self.current = to
      
      local fsm, event = self:_gosub( to, name )
      if fsm and fsm[event] then
        self:E( "calling sub: " .. event )
        fsm.fsmparent = self
        fsm.from = to
        fsm[event]( fsm )
      else
        
        local fsmparent, event = self:_isendstate( to )
        if fsmparent then
          fsmparent[event]( fsmparent )
        else
          self:_call_handler(self["onenter" .. to] or self["on" .. to], params)
          self:_call_handler(self["onafter" .. name] or self["on" .. name], params)
          self:_call_handler(self["onstatechange"], params)
        end
      end
      
      return true
    end

    return false
  end
end

function STATEMACHINE:_gosub( parentstate, parentevent )
  if self.subs[parentstate] and self.subs[parentstate][parentevent] then
    return self.subs[parentstate][parentevent].fsm, self.subs[parentstate][parentevent].event
  else
    return nil
  end
end

function STATEMACHINE:_isendstate( state )
  if self.fsmparent then
    return self.fsmparent, 
  else
    return nil
  end

end

function STATEMACHINE:_add_to_map(map, event)
  if type(event.from) == 'string' then
    map[event.from] = event.to
  else
    for _, from in ipairs(event.from) do
      map[from] = event.to
    end
  end
end

function STATEMACHINE:is(state)
  return self.current == state
end

function STATEMACHINE:can(e)
  local event = self.events[e]
  local to = event and event.map[self.current] or event.map['*']
  return to ~= nil, to
end

function STATEMACHINE:cannot(e)
  return not self:can(e)
end

function STATEMACHINE:todot(filename)
  local dotfile = io.open(filename,'w')
  dotfile:write('digraph {\n')
  local transition = function(event,from,to)
    dotfile:write(string.format('%s -> %s [label=%s];\n',from,to,event))
  end
  for _, event in pairs(self.options.events) do
    if type(event.from) == 'table' then
      for _, from in ipairs(event.from) do
        transition(event.name,from,event.to)
      end
    else
      transition(event.name,event.from,event.to)
    end
  end
  dotfile:write('}\n')
  dotfile:close()
end

--- STATEMACHINE_TASK class
-- @type STATEMACHINE_TASK
-- @field Task2#TASK2 Task
-- @extends StateMachine#STATEMACHINE
STATEMACHINE_TASK = {
  ClassName = "STATEMACHINE_TASK",
}

--- Creates a new STATEMACHINE_TASK object.
-- @param #STATEMACHINE_TASK self
-- @return #STATEMACHINE_TASK
function STATEMACHINE_TASK:New( Task, options )

  local FsmT = routines.utils.deepCopy( self ) -- Create a new self instance
  local Parent = STATEMACHINE:New(options)

  setmetatable( FsmT, Parent )
  FsmT.__index = FsmT

  env.info(tostring(Task.OnStateChange))
  FsmT["onstatechange"] = Task.OnStateChange
  FsmT.Task = Task

  return FsmT
end

function STATEMACHINE_TASK:_call_handler( handler, params )
  if handler then
    return handler( self.Task, unpack( params ) )
  end
end