Adacovex.Parsers.DO178C¶

Parser for DO-178C requirements documents. Reads HLR.md and LLR.md markdown files, extracts HLR/LLR identifiers and descriptions, and matches HLR tags found in source code. HLR-COMPLIANCE: HLR/LLR parsing

See also: DAL Levels | Docstring Spec – HLR tags

Note: All items in this package are public.

Types¶

type HLR_Info¶

type HLR_Info is record
Id     : String (1 .. Types.Max_Id_Str);
Id_Len : Natural := 0;
Desc   : String (1 .. Types.Max_Desc_Str);
D_Len  : Natural := 0;
end record;

type LLR_Info¶

type LLR_Info is record
Id      : String (1 .. Types.Max_Id_Str);
Id_Len  : Natural := 0;
HLR_Ref : String (1 .. Types.Max_Id_Str);
HLR_Len : Natural := 0;
Desc    : String (1 .. Types.Max_Desc_Str);
D_Len   : Natural := 0;
end record;

Functions¶

function Find_HLR_In_Source (HLR_Id : Standard.String; Packages : Adacovex.Types.Implementation.Package_Vectors.Vector) return Standard.Boolean `[Global]`¶

Parameter	Description
`HLR_Id`	HLR identifier to search for.
`Packages`	Vector of scanned packages.

Returns: True if HLR_Id appears as a source-code tag in any package.

Procedures¶

procedure Parse_HLR_MD (File_Path : Standard.String; HLRs : Adacovex.Parsers.DO178C.HLR_Vectors.Vector; Success : Standard.Boolean; Use_Cache : Standard.Boolean) `[Pre]`¶

Parameter	Description
`File_Path`	Path to HLR.md markdown file.
`HLRs`	Output vector of HLR entries (appended to).
`Success`	True if file was parsed successfully.
`Use_Cache`	When True, serve/store the result in the on-disk

procedure Parse_LLR_MD (File_Path : Standard.String; LLRs : Adacovex.Parsers.DO178C.LLR_Vectors.Vector; Success : Standard.Boolean; Use_Cache : Standard.Boolean) `[Pre]`¶

Parameter	Description
`File_Path`	Path to LLR.md markdown file.
`LLRs`	Output vector of LLR entries (appended to).
`Success`	True if file was parsed successfully.
`Use_Cache`	When True, serve/store the result in the on-disk