with Core_Types; use Core_Types;
with Errors;
with Validation;
package body State_Machine is
   procedure Init_Machine (M : in out Machine) is
   begin M.Current := Idle; M.Previous := Idle; M.Transition_Count := 0; end Init_Machine;
   procedure Reset_Machine (M : in out Machine) is begin Init_Machine (M); end Reset_Machine;
   function Get_State (M : Machine) return App_State is (M.Current);
   function Transition (M : in out Machine; To : App_State; Log : in out Errors.Error_Log) return Status_Code is
      St : Status_Code;
   begin
      St := Validation.Validate_State_Transition (M.Current, To);
      if St /= Success then
         Errors.Set_Error (Log, St, Medium_Natural (App_State'Pos (M.Current)), "invalid transition");
         return St;
      end if;
      M.Previous := M.Current; M.Current := To;
      if M.Transition_Count < Medium_Natural'Last then M.Transition_Count := M.Transition_Count + 1; end if;
      return Success;
   end Transition;
   function Force_Error (M : in out Machine) return Status_Code is
   begin M.Previous := M.Current; M.Current := Error_State; return Success; end Force_Error;
   function Is_Terminal (M : Machine) return Boolean is (M.Current = Shutdown);
   function Can_Accept_Input (M : Machine) return Boolean is
   begin
      return M.Current = Awaiting_Input or M.Current = Configured or M.Current = Authorized or M.Current = Idle;
   end Can_Accept_Input;
   function Transition_Count (M : Machine) return Medium_Natural is (M.Transition_Count);
end State_Machine;