with Core_Types; use Core_Types;
with Errors;
with Validation;
package State_Machine is
   type Machine is limited private;
   procedure Init_Machine (M : in out Machine);
   procedure Reset_Machine (M : in out Machine);
   function Get_State (M : Machine) return App_State;
   function Transition (M : in out Machine; To : App_State; Log : in out Errors.Error_Log) return Status_Code;
   function Force_Error (M : in out Machine) return Status_Code;
   function Is_Terminal (M : Machine) return Boolean;
   function Can_Accept_Input (M : Machine) return Boolean;
   function Transition_Count (M : Machine) return Medium_Natural;
private
   type Machine is record
      Current : App_State := Idle;
      Previous : App_State := Idle;
      Transition_Count : Medium_Natural := 0;
   end record;
end State_Machine;