flyology_bench API reference

Description

Renders sweep and scaling data without altering legacy schemas.

Put_Comparison_Console

procedure Put_Comparison_Console
  (Case_Name      : String;
   Reference_Name : String;
   Contender_Name : String;
   Result         : Paired_Sweep_Result;
   File           : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print paired time, human-scaled rate, confidence, per-side throughput availability, and verdict rows.

Parameters

Case_Name: Suite-compatible full benchmark identity.
Reference_Name: Reference implementation display name.
Contender_Name: Contender implementation display name.
Result: Paired sweep results.
File: Destination text stream.

Put_Comparison_CSV

procedure Put_Comparison_CSV
  (Case_Name      : String;
   Reference_Name : String;
   Contender_Name : String;
   Result         : Paired_Sweep_Result;
   File           : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print one paired CSV row per attempted point, including independent per-side throughput availability and unscaled work rates.

Parameters

Case_Name: Suite-compatible full benchmark identity.
Reference_Name: Reference implementation display name.
Contender_Name: Contender implementation display name.
Result: Paired sweep results.
File: Destination text stream.

Put_Comparison_CSV_Header

procedure Put_Comparison_CSV_Header (File : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print the paired sweep CSV header.

Parameters

File: Destination text stream.

Put_Comparison_NDJSON

procedure Put_Comparison_NDJSON
  (Case_Name      : String;
   Reference_Name : String;
   Contender_Name : String;
   Result         : Paired_Sweep_Result;
   File           : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Emit exactly one paired JSON object per point with independent per-side throughput availability and unscaled work rates. Parameter and work integers also have exact decimal-string companions.

Parameters

Case_Name: Suite-compatible full benchmark identity.
Reference_Name: Reference implementation display name.
Contender_Name: Contender implementation display name.
Result: Paired sweep results.
File: Destination text stream.

Put_Console

procedure Put_Console
  (Case_Name : String;
   Result    : Ordinary_Sweep_Result;
   File      : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print an ordinary table with median time, mean interval, human-scaled rates, and exact throughput availability.

Parameters

Case_Name: Suite-compatible full benchmark identity.
Result: Ordinary sweep results.
File: Destination text stream.

Put_CSV

procedure Put_CSV
  (Case_Name : String;
   Result    : Ordinary_Sweep_Result;
   File      : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print one ordinary CSV row per attempted point, including exact throughput availability and unscaled work rates.

Parameters

Case_Name: Suite-compatible full benchmark identity.
Result: Ordinary sweep results.
File: Destination text stream.

Put_CSV_Header

procedure Put_CSV_Header (File : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print the ordinary sweep CSV header.

Parameters

File: Destination text stream.

Put_NDJSON

procedure Put_NDJSON
  (Case_Name : String;
   Result    : Ordinary_Sweep_Result;
   File      : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Emit exactly one JSON object per point with exact throughput availability and unscaled work rates. Parameter and work integers have decimal-string companions so IEEE-754 JSON consumers retain all bits.

Parameters

Case_Name: Suite-compatible full benchmark identity.
Result: Ordinary sweep results.
File: Destination text stream.

Put_Scaling_Console

procedure Put_Scaling_Console
  (Case_Name : String;
   Result    : Scaling.Empirical_Scaling_Analysis;
   File      : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print selected and competing empirical scaling diagnostics.

Parameters

Case_Name: Stable analyzed case identity.
Result: Empirical scaling analysis.
File: Destination text stream.

Put_Scaling_CSV

procedure Put_Scaling_CSV
  (Case_Name : String;
   Result    : Scaling.Empirical_Scaling_Analysis;
   File      : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print one CSV row per candidate scaling model.

Parameters

Case_Name: Stable analyzed case identity.
Result: Empirical scaling analysis.
File: Destination text stream.

Put_Scaling_CSV_Header

procedure Put_Scaling_CSV_Header (File : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print the long-form empirical scaling CSV header.

Parameters

File: Destination text stream.

Put_Scaling_NDJSON

procedure Put_Scaling_NDJSON
  (Case_Name : String;
   Result    : Scaling.Empirical_Scaling_Analysis;
   File      : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Emit one JSON object containing all scaling diagnostics. Available range endpoints have exact decimal-string companions.

Parameters

Case_Name: Stable analyzed case identity.
Result: Empirical scaling analysis.
File: Destination text stream.