Adacovex.Renderers.SVG¶

SVG badge renderer. Generates Shields.io-style SVG badges for SPARK level, test status, and DO-178C compliance status. HLR-RENDER-SVG: SVG badge generation

Note: All items in this package are public.

Functions¶

function Render_Compliance_Badge (Assess : Adacovex.Types.Implementation.DAL_Assessment; Standard : Adacovex.Types.Compliance_Standard) return Standard.String `[Post]` `[Global]`¶

Parameter	Description
`Assess`	DAL assessment record (evidence is shared across
`Standard`	Compliance standard to label the badge with.

Returns: SVG badge markup.

function Render_DO178C_Badge (Assess : Adacovex.Types.Implementation.DAL_Assessment) return Standard.String `[Post]` `[Global]`¶

Parameter	Description
`Assess`	DAL assessment record.

Returns: SVG badge markup.

function Render_Docstring_Badge (Doc_Metrics : Adacovex.Types.Docstring_Metrics) return Standard.String `[Post]` `[Global]`¶

Parameter	Description
`Doc_Metrics`	Docstring coverage metrics.

Returns: SVG badge markup with coverage percentage.

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

Parameter	Description
`Level`	SPARK certification level.

Returns: SVG badge markup.

function Render_Tests_Badge (Tests : Adacovex.Types.Implementation.Test_Summary) return Standard.String `[Post]` `[Global]`¶

Parameter	Description
`Tests`	Test result summary.

Returns: SVG badge markup.

Procedures¶

procedure Write_Badge_To_File (Path : Standard.String; SVG_Content : Standard.String) `[Pre]`¶

Parameter	Description
`Path`	Filesystem path to write the badge to.
`SVG_Content`	SVG markup to write.

Adacovex.Renderers.SVG¶

Functions¶

function Render_Compliance_Badge (Assess : Adacovex.Types.Implementation.DAL_Assessment; Standard : Adacovex.Types.Compliance_Standard) return Standard.String [Post] [Global]¶

function Render_DO178C_Badge (Assess : Adacovex.Types.Implementation.DAL_Assessment) return Standard.String [Post] [Global]¶

function Render_Docstring_Badge (Doc_Metrics : Adacovex.Types.Docstring_Metrics) return Standard.String [Post] [Global]¶

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

function Render_Tests_Badge (Tests : Adacovex.Types.Implementation.Test_Summary) return Standard.String [Post] [Global]¶

Procedures¶

procedure Write_Badge_To_File (Path : Standard.String; SVG_Content : Standard.String) [Pre]¶

function Render_Compliance_Badge (Assess : Adacovex.Types.Implementation.DAL_Assessment; Standard : Adacovex.Types.Compliance_Standard) return Standard.String `[Post]` `[Global]`¶

function Render_DO178C_Badge (Assess : Adacovex.Types.Implementation.DAL_Assessment) return Standard.String `[Post]` `[Global]`¶

function Render_Docstring_Badge (Doc_Metrics : Adacovex.Types.Docstring_Metrics) return Standard.String `[Post]` `[Global]`¶

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

function Render_Tests_Badge (Tests : Adacovex.Types.Implementation.Test_Summary) return Standard.String `[Post]` `[Global]`¶

procedure Write_Badge_To_File (Path : Standard.String; SVG_Content : Standard.String) `[Pre]`¶