← All compilation units

Flyology_JSON.Numbers

Description

Defines shared outcomes for checked numeric rendering operations.

Render_Status

type Render_Status is (Rendered, Output_Too_Small, Unsupported_Value);

Rendered publishes exactly the Produced-component prefix beginning at Output'First and leaves the suffix unchanged. Every failure publishes Produced = 0 and leaves the complete Output array unchanged.

Enumeration literals
Rendered

The requested numeric value was written completely.

Output_Too_Small

Caller storage cannot hold the complete spelling.

Unsupported_Value

The requested numeric category has no JSON spelling in this operation.