← All compilation units

Flyology_CBOR.Errors

Description

Byte_Offset

subtype Byte_Offset is Interfaces.Unsigned_64;

Clear

procedure Clear (Item : out Diagnostic)
Parameters
Item

Coordinate_Kind

type Coordinate_Kind is
  (No_Coordinate,
   Source_Byte,
   Writer_Token_Byte,
   Staged_Output_Byte,
   CBOR_Call_Ordinal);
Enumeration literals
No_Coordinate
Source_Byte
Writer_Token_Byte
Staged_Output_Byte
CBOR_Call_Ordinal

Diagnostic

type Diagnostic is record
   Code                 : Error_Code;
   Coordinate           : Coordinate_Kind;
   Offset               : Byte_Offset;
   Has_Construct_Offset : Boolean;
   Construct_Offset     : Byte_Offset;
   Secondary            : Error_Code;
   Secondary_Coordinate : Coordinate_Kind;
   Secondary_Offset     : Byte_Offset;
end record;
Record fields
Code
Coordinate
Offset
Has_Construct_Offset
Construct_Offset
Secondary
Secondary_Coordinate
Secondary_Offset

Error_Code

type Error_Code is
  (No_Error,
   Unsupported_Profile,
   Incompatible_Profile,
   Invalid_State,
   Final_Input_Retracted,
   Unexpected_Initial_Byte,
   Reserved_Additional_Information,
   Invalid_Indefinite_Item,
   …,
   Abort_Failed);
Enumeration literals
No_Error
Unsupported_Profile
Incompatible_Profile
Invalid_State
Final_Input_Retracted
Unexpected_Initial_Byte
Reserved_Additional_Information
Invalid_Indefinite_Item
Invalid_String_Chunk
Invalid_UTF8
Unexpected_Break
Odd_Map
Truncated_Input
Trailing_Input
Depth_Exhausted
Offset_Exhausted
Invalid_Writer_Grammar
Invalid_String_Length
Invalid_Simple_Value
Destination_Exhausted
Destination_Failed
Commit_Failed
Abort_Failed