Adacovex.Docs_Template¶

Generated by tools/gen-docs.py from the Sphinx manual (docs/): the whole built site (pages, stylesheets, scripts, badges, search) as a gzip-compressed, base64-encoded offline asset blob + lookup table. –serve exposes it at /docs/ with Content-Encoding: gzip (the browser inflates it). Do not edit by hand; edit docs/ and run make book.

Note: All items in this package are public.

Types¶

type Asset_Body¶

type Asset_Body is access constant String;

type Asset_Index¶

subtype Asset_Index is Positive range 1 .. Asset_Count;

type Asset_Ref¶

type Asset_Ref is record
Path : String (1 .. Max_Path) := (others => ' ');
Mime : String (1 .. Max_Mime) := (others => ' ');
Idx  : Body_Index;
Gzip : Boolean;
end record;

type Asset_Table¶

type Asset_Table is array (Positive range <>) of Asset_Ref;

type Body_Index¶

subtype Body_Index is Positive range 1 .. Body_Count;

Functions¶

function Body_Bytes (B : Adacovex.Docs_Template.Body_Index; Is_Gzip : Standard.Boolean) return Standard.String¶

Parameter	Description
`B`
`Is_Gzip`

function Content (Idx : Adacovex.Docs_Template.Asset_Index) return Standard.String¶

Parameter	Description
`Idx`

function Find (Subpath : Standard.String) return Standard.Natural¶

Parameter	Description
`Subpath`