Description
Callers construct every field explicitly; no default, factory, or profile constant exists. The initial implementation supports numeric version 1 for every declared family/policy. Other versions are unsupported and validation occurs before byte zero or destination begin.
Acceptance_Family
type Acceptance_Family is (Well_Formed_CBOR);
Enumeration literals
- Well_Formed_CBOR
Output_Policy
type Output_Policy is (Ordinary_Compact);
Enumeration literals
- Ordinary_Compact
Parser_Profile
type Parser_Profile is record
Syntax : Versioned_Syntax;
Unicode : Versioned_Unicode;
Acceptance : Versioned_Acceptance;
end record;
Record fields
- Syntax
- Unicode
- Acceptance
Profile_Status
type Profile_Status is
(Profile_Supported, Profile_Unsupported, Profile_Incompatible);
Enumeration literals
- Profile_Supported
- Profile_Unsupported
- Profile_Incompatible
Profile_Version
subtype Profile_Version is Positive;
Callers construct every field explicitly; no default, factory, or profile constant exists. The initial implementation supports numeric version 1 for every declared family/policy. Other versions are unsupported and validation occurs before byte zero or destination begin.
Syntax_Family
type Syntax_Family is (RFC_8949);
Enumeration literals
- RFC_8949
Unicode_Family
type Unicode_Family is (Unicode_Scalars);
Enumeration literals
- Unicode_Scalars
Validate
function Validate (Profile : Parser_Profile) return Profile_Status
Parameters
- Profile
Return value
Validate
function Validate (Profile : Writer_Profile) return Profile_Status
Parameters
- Profile
Return value
Versioned_Acceptance
type Versioned_Acceptance is record
Family : Acceptance_Family;
Version : Profile_Version;
end record;
Record fields
- Family
- Version
Versioned_Output
type Versioned_Output is record
Policy : Output_Policy;
Version : Profile_Version;
end record;
Record fields
- Policy
- Version
Versioned_Syntax
type Versioned_Syntax is record
Family : Syntax_Family;
Version : Profile_Version;
end record;
Record fields
- Family
- Version
Versioned_Unicode
type Versioned_Unicode is record
Family : Unicode_Family;
Version : Profile_Version;
end record;
Record fields
- Family
- Version
Writer_Profile
type Writer_Profile is record
Syntax : Versioned_Syntax;
Unicode : Versioned_Unicode;
Formatting : Versioned_Output;
end record;
Record fields
- Syntax
- Unicode
- Formatting