------------------------------------------------------------------------------
--  Copyright (C) 2020 by Heisenbug Ltd. (gh+spat@heisenbug.eu)
--
--  This work is free. You can redistribute it and/or modify it under the
--  terms of the Do What The Fuck You Want To Public License, Version 2,
--  as published by Sam Hocevar. See the LICENSE file for more details.
------------------------------------------------------------------------------
pragma License (Unrestricted);

------------------------------------------------------------------------------
--
--  SPARK Proof Analysis Tool
--
--  S.P.A.T. - String tables
--
--  Supports table like output of strings
--
------------------------------------------------------------------------------

with Ada.Containers.Vectors;
with Ada.Strings.Unbounded;
with Ada.Text_IO;

generic
   Columns : in Positive;
package SPAT.String_Tables is

   type Row is array (1 .. Columns) of Ada.Strings.Unbounded.Unbounded_String;

   package Row_Vectors is new Ada.Containers.Vectors (Index_Type   => Positive,
                                                      Element_Type => Row,
                                                      "="          => "=");

   ---------------------------------------------------------------------------
   --  Put
   --
   --  Print given table as formatted output into given text file.
   ---------------------------------------------------------------------------
   procedure Put (File : in Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output;
                  Item : in Row_Vectors.Vector);

end SPAT.String_Tables;