flyology_bench API reference

Description

ANSI-selection policy shared with runner reporters.

ANSI

ANSI  : constant Console_Style := Flyology_Bench.Reporters.ANSI;

Always emit ANSI styling.

Auto

Auto  : constant Console_Style := Flyology_Bench.Reporters.Auto;

Select ANSI only for an interactive terminal.

Console_Style

subtype Console_Style is Flyology_Bench.Reporters.Console_Style;

ANSI-selection policy shared with runner reporters.

Plain

Plain : constant Console_Style := Flyology_Bench.Reporters.Plain;

Never emit ANSI styling.

Put_Comparison_Console

procedure Put_Comparison_Console
  (Result : Recorded_Comparison;
   File   : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output;
   Style  : Console_Style := Auto)

Print an independent-distribution comparison table.

Parameters

Result: Independent comparison.
File: Destination text file.
Style: ANSI selection policy.

Put_Comparison_CSV

procedure Put_Comparison_CSV
  (Result : Recorded_Comparison;
   File   : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print one independent-comparison row per axis requested by either side, including explicit unavailable statuses.

Parameters

Result: Independent comparison.
File: Destination text file.

Put_Comparison_CSV_Header

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

Print the independent-comparison CSV schema.

Parameters

File: Destination text file.

Put_Comparison_JSON

procedure Put_Comparison_JSON
  (Result : Recorded_Comparison;
   File   : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print one newline-delimited JSON independent-comparison object.

Parameters

Result: Independent comparison.
File: Destination text file.

Put_Console

procedure Put_Console
  (Result : Recorded_Measurement;
   File   : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output;
   Style  : Console_Style := Auto)

Print an individual-span summary and one row for every requested axis.

Parameters

Result: Recorded snapshot.
File: Destination text file.
Style: ANSI selection policy.

Put_CSV

procedure Put_CSV
  (Result : Recorded_Measurement;
   File   : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print one long-form summary row per requested axis.

Parameters

Result: Recorded snapshot.
File: Destination text file.

Put_CSV_Header

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

Print the long-form recorded-metric CSV schema.

Parameters

File: Destination text file.

Put_JSON

procedure Put_JSON
  (Result : Recorded_Measurement;
   File   : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print one newline-delimited JSON object with summaries and aligned raw individual-span rows.

Parameters

Result: Recorded snapshot.
File: Destination text file.

Put_Samples_CSV

procedure Put_Samples_CSV
  (Result : Recorded_Measurement;
   File   : Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output)

Print one row per retained span and requested axis. Observation identity and outcome remain aligned across axes; unavailable values have an empty value field and an explicit status.

Parameters

Result: Recorded snapshot.
File: Destination text file.

Put_Samples_CSV_Header

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

Print the raw individual-span metric CSV schema.

Parameters

File: Destination text file.