Adacovex.Types¶

Host machine word size in bits, auto-detected from the Ada runtime (8, 16, 32, or 64). Fixed-size path and line buffers scale with it. Builds on narrower hosts use proportionally smaller limits.

See also: Standards | DAL Levels

Note: All items in this package are public.

Types¶

type Compliance_Standard¶

type Compliance_Standard is (DO_178C, ISO_26262, IEC_62304);

type Component_Kind¶

type Component_Kind is (Root_Component, Dependency_Component);

type Component_Scope¶

type Component_Scope is
(Scope_Base,
Scope_Dev,
Scope_Transitive,
Scope_Vendored,
Scope_System,
Scope_Test);

type DAL_Level¶

type DAL_Level is (DAL_A, DAL_B, DAL_C, DAL_D, DAL_E);

type DAL_Status¶

type DAL_Status is (Achieved, Unmet);

type Dashboard_Theme¶

type Dashboard_Theme is (System_Theme, Light_Theme, Dark_Theme);

type Dependency_Scope_Flags¶

type Dependency_Scope_Flags is record
Is_Dev    : Boolean := False;
Is_System : Boolean := False;
end record;

type Desc_Field¶

subtype Desc_Field is String (1 .. Max_Desc_Str);

type Docstring_Metrics¶

type Docstring_Metrics is record
Total_Subprograms   : Natural := 0;
Documented_Subprogs : Natural := 0;
Total_Parameters    : Natural := 0;
Documented_Params   : Natural := 0;
Total_Returns       : Natural := 0;
Documented_Returns  : Natural := 0;
Coverage_Pct        : Natural := 0;
end record;

type HLR_Tag_Entry¶

type HLR_Tag_Entry is record
Tag : String (1 .. Max_Id_Str);
Len : Natural := 0;
end record;

type Name_Field¶

subtype Name_Field is String (1 .. Max_Filename);

type Path_Field¶

subtype Path_Field is String (1 .. Max_Path);

type Proof_Summary¶

type Proof_Summary is record
Total_VCs          : Natural := 0;
Proved_VCs         : Natural := 0;
Flow_Checks        : Natural := 0;
Flow_Proved        : Natural := 0;
Init_Checks        : Natural := 0;
Init_Proved        : Natural := 0;
Runtime_Checks     : Natural := 0;
Runtime_Proved     : Natural := 0;
Assertions         : Natural := 0;
Assert_Proved      : Natural := 0;
Functional_Ct      : Natural := 0;
Functional_Proved  : Natural := 0;
Termination_Ct     : Natural := 0;
Termination_Proved : Natural := 0;
Justified          : Natural := 0;
Unproved           : Natural := 0;
Level              : SPARK_Level := Stone;
Units_Analyzed     : Natural := 0;
Units_Skipped      : Natural := 0;
end record;

type SBOM_Format_Kind¶

type SBOM_Format_Kind is (CycloneDX_JSON, SPDX_JSON, Markdown);

type SPARK_Level¶

type SPARK_Level is (Stone, Bronze, Silver, Gold, Platinum);

type Subprogram_Info¶

type Subprogram_Info is record
Name          : Desc_Field;
Name_Len      : Natural := 0;
Line_Number   : Natural := 0;
Has_Docstring : Boolean := False;
Doc_Param_Ct  : Natural := 0;
Has_Return    : Boolean := False;
Doc_Return    : Boolean := False;
end record;

type Test_Metrics¶

type Test_Metrics is record
Category   : Desc_Field;
Cat_Len    : Natural := 0;
Test_Count : Natural := 0;
Status     : Test_Status := Pass;
end record;

type Test_Status¶

type Test_Status is (Pass, Fail);

Functions¶

function Is_Valid_ASIL (S : Standard.String) return Standard.Boolean `[Global]`¶

Parameter	Description
`S`

function Is_Valid_Class (S : Standard.String) return Standard.Boolean `[Global]`¶

Parameter	Description
`S`

function Is_Valid_Theme (S : Standard.String) return Standard.Boolean `[Global]`¶

Parameter	Description
`S`

function Standard_Level_Name (Standard : Adacovex.Types.Compliance_Standard; Level : Adacovex.Types.DAL_Level) return Standard.String `[Post]` `[Global]`¶

Parameter	Description
`Level`
`Standard`

function Standard_Slug (S : Adacovex.Types.Compliance_Standard) return Standard.String `[Post]` `[Global]`¶

Parameter	Description
`S`

function To_ASIL (S : Standard.String) return Adacovex.Types.DAL_Level `[Global]`¶

Parameter	Description
`S`

function To_Class (S : Standard.String) return Adacovex.Types.DAL_Level `[Global]`¶

Parameter	Description
`S`

function To_DAL (S : Standard.String) return Adacovex.Types.DAL_Level `[Global]`¶

Parameter	Description
`S`

function To_Standard (S : Standard.String) return Adacovex.Types.Compliance_Standard `[Global]`¶

Parameter	Description
`S`

function To_String (S : Adacovex.Types.Compliance_Standard) return Standard.String `[Post]` `[Global]`¶

Parameter	Description
`S`

function To_String (L : Adacovex.Types.DAL_Level) return Standard.String `[Post]` `[Global]`¶

Parameter	Description
`L`

function To_String (S : Adacovex.Types.DAL_Status) return Standard.String `[Post]` `[Global]`¶

Parameter	Description
`S`

function To_String (T : Adacovex.Types.Dashboard_Theme) return Standard.String `[Post]` `[Global]`¶

Parameter	Description
`T`

function To_String (L : Adacovex.Types.SPARK_Level) return Standard.String `[Post]` `[Global]`¶

Parameter	Description
`L`

function To_String (S : Adacovex.Types.Test_Status) return Standard.String `[Post]` `[Global]`¶

Parameter	Description
`S`

function To_Theme (S : Standard.String) return Adacovex.Types.Dashboard_Theme `[Global]`¶

Parameter	Description
`S`

Adacovex.Types¶

Types¶

type Compliance_Standard¶

type Component_Kind¶

type Component_Scope¶

type DAL_Level¶

type DAL_Status¶

type Dashboard_Theme¶

type Dependency_Scope_Flags¶

type Desc_Field¶

type Docstring_Metrics¶

type HLR_Tag_Entry¶

type Name_Field¶

type Path_Field¶

type Proof_Summary¶

type SBOM_Format_Kind¶

type SPARK_Level¶

type Subprogram_Info¶

type Test_Metrics¶

type Test_Status¶

Functions¶

function Is_Valid_ASIL (S : Standard.String) return Standard.Boolean [Global]¶

function Is_Valid_Class (S : Standard.String) return Standard.Boolean [Global]¶

function Is_Valid_Theme (S : Standard.String) return Standard.Boolean [Global]¶

function Standard_Level_Name (Standard : Adacovex.Types.Compliance_Standard; Level : Adacovex.Types.DAL_Level) return Standard.String [Post] [Global]¶

function Standard_Slug (S : Adacovex.Types.Compliance_Standard) return Standard.String [Post] [Global]¶

function To_ASIL (S : Standard.String) return Adacovex.Types.DAL_Level [Global]¶

function To_Class (S : Standard.String) return Adacovex.Types.DAL_Level [Global]¶

function To_DAL (S : Standard.String) return Adacovex.Types.DAL_Level [Global]¶

function To_Standard (S : Standard.String) return Adacovex.Types.Compliance_Standard [Global]¶

function To_String (S : Adacovex.Types.Compliance_Standard) return Standard.String [Post] [Global]¶

function To_String (L : Adacovex.Types.DAL_Level) return Standard.String [Post] [Global]¶

function To_String (S : Adacovex.Types.DAL_Status) return Standard.String [Post] [Global]¶

function To_String (T : Adacovex.Types.Dashboard_Theme) return Standard.String [Post] [Global]¶

function To_String (L : Adacovex.Types.SPARK_Level) return Standard.String [Post] [Global]¶

function To_String (S : Adacovex.Types.Test_Status) return Standard.String [Post] [Global]¶

function To_Theme (S : Standard.String) return Adacovex.Types.Dashboard_Theme [Global]¶

function Is_Valid_ASIL (S : Standard.String) return Standard.Boolean `[Global]`¶

function Is_Valid_Class (S : Standard.String) return Standard.Boolean `[Global]`¶

function Is_Valid_Theme (S : Standard.String) return Standard.Boolean `[Global]`¶

function Standard_Level_Name (Standard : Adacovex.Types.Compliance_Standard; Level : Adacovex.Types.DAL_Level) return Standard.String `[Post]` `[Global]`¶

function Standard_Slug (S : Adacovex.Types.Compliance_Standard) return Standard.String `[Post]` `[Global]`¶

function To_ASIL (S : Standard.String) return Adacovex.Types.DAL_Level `[Global]`¶

function To_Class (S : Standard.String) return Adacovex.Types.DAL_Level `[Global]`¶

function To_DAL (S : Standard.String) return Adacovex.Types.DAL_Level `[Global]`¶

function To_Standard (S : Standard.String) return Adacovex.Types.Compliance_Standard `[Global]`¶

function To_String (S : Adacovex.Types.Compliance_Standard) return Standard.String `[Post]` `[Global]`¶

function To_String (L : Adacovex.Types.DAL_Level) return Standard.String `[Post]` `[Global]`¶

function To_String (S : Adacovex.Types.DAL_Status) return Standard.String `[Post]` `[Global]`¶

function To_String (T : Adacovex.Types.Dashboard_Theme) return Standard.String `[Post]` `[Global]`¶

function To_String (L : Adacovex.Types.SPARK_Level) return Standard.String `[Post]` `[Global]`¶

function To_String (S : Adacovex.Types.Test_Status) return Standard.String `[Post]` `[Global]`¶

function To_Theme (S : Standard.String) return Adacovex.Types.Dashboard_Theme `[Global]`¶