Adacovex.Renderers.ANSI

Terminal ANSI renderer. Produces a coloured, human-readable report on standard output using ANSI escape sequences for highlighting. Supports NO_COLOR and non-interactive terminal detection. HLR-RENDER-ANSI: ANSI rendering

Note: All items in this package are public.

Procedures

procedure Render_Summary (Doc_Metrics : Adacovex.Types.Docstring_Metrics; Proof : Adacovex.Types.Proof_Summary; Tests : Adacovex.Types.Implementation.Test_Summary; DAL_Assess : Adacovex.Types.Implementation.DAL_Assessment; Packages : Adacovex.Types.Implementation.Package_Vectors.Vector; Use_Color : Standard.Boolean; All_Standards : Standard.Boolean; Cache_Hits : Standard.Natural; Cache_Misses : Standard.Natural; Cache_Evictions : Standard.Natural)

Parameter	Description
All_Standards	Print every standard (else the selected one).
Cache_Evictions	Number of stale entries evicted from the cache.
Cache_Hits	Number of analysis results served from the cache.
Cache_Misses	Number of results recomputed and re-cached.
DAL_Assess	DAL compliance assessment.
Doc_Metrics	Docstring coverage metrics.
Packages	Scanned package vector.
Proof	GNATprove proof summary.
Tests	Test result summary.
Use_Color	Enable ANSI colour output (default False).