File size: 4,496 Bytes
52edc5a | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 | with Core_Types; use Core_Types;
with Errors;
with Config;
package body Validation is
function Validate_Buffer_Length (Len : Length_Type; Max : Length_Type) return Status_Code is
begin if Len > Max then return Buffer_Overflow; end if; return Success; end Validate_Buffer_Length;
function Validate_Byte_Range (V : Integer) return Status_Code is
begin if V < 0 or else V > 255 then return Out_Of_Range; end if; return Success; end Validate_Byte_Range;
function Validate_Word16_Range (V : Integer) return Status_Code is
begin if V < 0 or else V > 65535 then return Out_Of_Range; end if; return Success; end Validate_Word16_Range;
function Validate_Word32_Range (V : Long_Long_Integer) return Status_Code is
begin if V < 0 or else V > Long_Long_Integer (Word32'Last) then return Out_Of_Range; end if; return Success; end Validate_Word32_Range;
function Validate_Data_Item (Item : Data_Item) return Status_Code is
begin if not Item.Valid or else Item.Id = 0 then return Invalid_Input; end if; return Success; end Validate_Data_Item;
function Validate_Command_Args (Cmd : Command_Id; Args : Byte_Array; Cfg : Config.Configuration) return Status_Code is
Max_Len : Length_Type := Config.Get_Max_Length (Cfg);
begin
if Args'Length > Natural (Max_Len) then return Buffer_Overflow; end if;
case Cmd is
when Cmd_None | Cmd_Help | Cmd_Query_State | Cmd_Self_Test | Cmd_Reset | Cmd_Exit =>
if Args'Length > 0 then return Invalid_Input; end if;
when Cmd_Set_Config => if Args'Length < 2 then return Invalid_Input; end if;
when Cmd_Process_Data => if Args'Length = 0 then return Invalid_Input; end if;
when Cmd_Serialize | Cmd_Verify => null;
when Cmd_Authorize => if Args'Length < 1 then return Invalid_Input; end if;
end case;
return Success;
end Validate_Command_Args;
function Validate_State_Transition (From : App_State; To : App_State) return Status_Code is
begin
case From is
when Idle => if To = Initializing or To = Shutdown or To = Error_State then return Success; end if;
when Initializing => if To = Configured or To = Error_State then return Success; end if;
when Configured => if To = Awaiting_Input or To = Error_State or To = Shutdown then return Success; end if;
when Awaiting_Input => if To = Parsing or To = Error_State or To = Shutdown then return Success; end if;
when Parsing => if To = Validating or To = Error_State then return Success; end if;
when Validating => if To = Processing or To = Error_State then return Success; end if;
when Processing => if To = Serializing or To = Checking_Integrity or To = Authorized or To = Awaiting_Input or To = Error_State then return Success; end if;
when Serializing => if To = Checking_Integrity or To = Awaiting_Input or To = Error_State then return Success; end if;
when Checking_Integrity => if To = Authorized or To = Awaiting_Input or To = Error_State then return Success; end if;
when Authorized => if To = Awaiting_Input or To = Processing or To = Shutdown or To = Error_State then return Success; end if;
when Error_State => if To = Idle or To = Shutdown or To = Awaiting_Input then return Success; end if;
when Shutdown => return State_Error;
end case;
return State_Error;
end Validate_State_Transition;
function Validate_Serialized_Header (Hdr : Serial_Header) return Status_Code is
begin
if Hdr.Magic /= 16#ADA1# then return Integrity_Failure; end if;
if Hdr.Version = 0 or Hdr.Version > 2 then return Invalid_Input; end if;
if Hdr.Length > Max_Serial_Record_Size then return Buffer_Overflow; end if;
return Success;
end Validate_Serialized_Header;
function Validate_Auth_Required (Level_Required : Auth_Level; Current : Auth_Level) return Status_Code is
begin if Current < Level_Required then return Authorization_Denied; end if; return Success; end Validate_Auth_Required;
procedure Validate_And_Set_Error (St : Status_Code; Log : in out Errors.Error_Log; Msg : String := "") is
begin if St /= Success then Errors.Set_Error (Log, St, 0, Msg); end if; end Validate_And_Set_Error;
function Is_Valid_Transition (From : App_State; To : App_State) return Boolean is
begin return Validate_State_Transition (From, To) = Success; end Is_Valid_Transition;
end Validation;
|