--                                                                    --
--  procedure Test_String_Streams   Copyright (c)  Dmitry A. Kazakov  --
--  Test                                           Luebeck            --
--                                                 Spring, 2000       --
--                                                                    --
--  This  library  is  free software; you can redistribute it and/or  --
--  modify it under the terms of the GNU General Public  License  as  --
--  published by the Free Software Foundation; either version  2  of  --
--  the License, or (at your option) any later version. This library  --
--  is distributed in the hope that it will be useful,  but  WITHOUT  --
--  ANY   WARRANTY;   without   even   the   implied   warranty   of  --
--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU  --
--  General  Public  License  for  more  details.  You  should  have  --
--  received  a  copy  of  the GNU General Public License along with  --
--  this library; if not, write to  the  Free  Software  Foundation,  --
--  Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.    --
--                                                                    --
--  As a special exception, if other files instantiate generics from  --
--  this unit, or you link this unit with other files to produce  an  --
--  executable, this unit does not by  itself  cause  the  resulting  --
--  executable to be covered by the GNU General Public License. This  --
--  exception  does not however invalidate any other reasons why the  --
--  executable file might be covered by the GNU Public License.       --
--____________________________________________________________________--

with Ada.Exceptions;        use Ada.Exceptions;
with Ada.Streams;           use type Ada.Streams.Stream_Element_Offset;
with Ada.Text_IO;           use Ada.Text_IO;
with Strings_Edit.Quoted;   use Strings_Edit.Quoted;
with Strings_Edit.Streams;  use Strings_Edit.Streams;

with Ada.Characters.Latin_1;
with Interfaces;
with Strings_Edit.Integers;
with Strings_Edit.Streams.Integers;
with Strings_Edit.Streams.Naturals;
with Strings_Edit.Streams.Unsigneds_32;
with Strings_Edit.UTF8.Handling;
with Strings_Edit.UTF8.Recoding_Streams;

procedure Test_String_Streams is
begin
------------------------------------------------------------------------
   declare
      use Ada.Streams;
      use Interfaces;
      use Strings_Edit.Streams.Unsigneds_32;
      Value   : Unsigned_32;
      Buffer  : Stream_Element_Array (1..80);
      Pointer : Stream_Element_Offset;
      Index   : Stream_Element_Offset;
   begin
      for Number in Unsigned_32 range 0..100_000 loop
         Pointer := 1;
         Put (Buffer, Pointer, Number);
         Index := 1;
         Get (Buffer, Index, Value);
         if Index /= Pointer then
            Raise_Exception
            (  Constraint_Error'Identity,
               (  "Input buffer length"
               &  Stream_Element_Offset'Image (Index)
               &  " /="
               &  Stream_Element_Offset'Image (Pointer)
               &  " output"
            )  );
         elsif Value /= Number then
            Raise_Exception
            (  Constraint_Error'Identity,
               (  "Input"
               &  Unsigned_32'Image (Value)
               &  " /="
               &  Unsigned_32'Image (Number)
               &  " output"
            )  );
         end if;
      end loop;
   end;
   declare
      use Ada.Streams;
      use Interfaces;
      use Strings_Edit.Streams.Unsigneds_32;
      S : aliased String_Stream (30);
      Value : Unsigned_32;
   begin
      for Number in Unsigned_32 range 0..100_000 loop
         Rewind (S);
         Output (S'Access, Number);
         Set (S, Get (S));
         Value := Input (S'Access);
         if Value /= Number then
            Raise_Exception
            (  Constraint_Error'Identity,
               (  "Stream input"
               &  Unsigned_32'Image (Value)
               &  " /="
               &  Unsigned_32'Image (Number)
               &  " output"
            )  );
         end if;
      end loop;
   end;
------------------------------------------------------------------------
   declare
      use Ada.Streams;
      use Interfaces;
      use Strings_Edit.Streams.Integers;
      Value   : Integer;
      Buffer  : Stream_Element_Array (1..80);
      Pointer : Stream_Element_Offset;
      Index   : Stream_Element_Offset;
   begin
      for Number in Integer range -50_000..50_000 loop
         Pointer := 1;
         Put (Buffer, Pointer, Number);
         Index := 1;
         Get (Buffer, Index, Value);
         if Index /= Pointer then
            Raise_Exception
            (  Constraint_Error'Identity,
               (  "Input buffer length"
               &  Stream_Element_Offset'Image (Index)
               &  " /="
               &  Stream_Element_Offset'Image (Pointer)
               &  " output"
            )  );
         elsif Value /= Number then
            Raise_Exception
            (  Constraint_Error'Identity,
               (  "Input"
               &  Integer'Image (Value)
               &  " /="
               &  Integer'Image (Number)
               &  " output"
            )  );
         end if;
      end loop;
   end;
   declare
      use Ada.Streams;
      use Strings_Edit.Streams.Integers;
      S : aliased String_Stream (30);
      Value : Integer;
   begin
      for Number in Integer range -50_000..50_000 loop
         Rewind (S);
         Output (S'Access, Number);
         Set (S, Get (S));
         Value := Input (S'Access);
         if Value /= Number then
            Raise_Exception
            (  Constraint_Error'Identity,
               (  "Stream input"
               &  Integer'Image (Value)
               &  " /="
               &  Integer'Image (Number)
               &  " output"
            )  );
         end if;
      end loop;
   end;
------------------------------------------------------------------------
   declare
      use Ada.Streams;
      use Strings_Edit.Streams.Naturals;
      Value   : Natural;
      Buffer  : Stream_Element_Array (1..80);
      Pointer : Stream_Element_Offset;
      Index   : Stream_Element_Offset;
   begin
      for Number in Natural range 0..100_000 loop
         Pointer := 1;
         Put (Buffer, Pointer, Number);
         Index := 1;
         Get (Buffer, Index, Value);
         if Index /= Pointer then
            Raise_Exception
            (  Constraint_Error'Identity,
               (  "Input buffer length"
               &  Stream_Element_Offset'Image (Index)
               &  " /="
               &  Stream_Element_Offset'Image (Pointer)
               &  " output"
            )  );
         elsif Value /= Number then
            Raise_Exception
            (  Constraint_Error'Identity,
               (  "Input"
               &  Integer'Image (Value)
               &  " /="
               &  Integer'Image (Number)
               &  " output"
            )  );
         end if;
      end loop;
   end;
   declare
      use Ada.Streams;
      use Strings_Edit.Streams.Naturals;
      S : aliased String_Stream (30);
      Value : Natural;
   begin
      for Number in Natural range 0..100_000 loop
         Rewind (S);
         Output (S'Access, Number);
         Set (S, Get (S));
         Value := Input (S'Access);
         if Value /= Number then
            Raise_Exception
            (  Constraint_Error'Identity,
               (  "Stream input"
               &  Integer'Image (Value)
               &  " /="
               &  Integer'Image (Number)
               &  " output"
            )  );
         end if;
      end loop;
   end;
------------------------------------------------------------------------
   declare
      S : aliased String_Stream (6);
      C : Character;
   begin
      Character'Write (S'Access, 'a');
      Rewind (S);
      Character'Read (S'Access, C);
      if C /= 'a' then
         Raise_Exception (Constraint_Error'Identity, "Read error");
      end if;
   end;
   declare
      S : aliased String_Stream (6);
      C : Character;
      T : String (1..5);
   begin
      Set (S, "abcdef");
      Character'Read (S'Access, C);
      if C /= 'a' or else Get_Size (S) /= 5 then
         Raise_Exception (Constraint_Error'Identity, "Read error");
      end if;
      String'Read (S'Access, T);
      if T /= "bcdef" or else Get_Size (S) /= 0 then
         Raise_Exception (Constraint_Error'Identity, "Read error");
      end if;
      Rewind (S); -- Rewind
      Character'Write (S'Access, '1');
      String'Write (S'Access, "23456");
      if S.Data /= "123456" or else Get (S) /= "123456" then
         Raise_Exception (Constraint_Error'Identity, "Write error");
      end if;
   end;
------------------------------------------------------------------------
   declare
      use Ada.Characters.Latin_1;
      use Strings_Edit.UTF8.Handling;
      use Strings_Edit.UTF8.Recoding_Streams;
      Encoded : aliased String_Stream (1024);
      Decoded : aliased Recoding_Stream
                        (  Encoded'Access,
                           Windows_1252,
                           Character'Pos ('?'),
                           '?'
                        );
      Text_1 : constant String := "L" & LC_U_Diaeresis & "beck";
      Text_2 : String (1..7);
   begin
      String'Write (Decoded'Access, To_UTF8 (Text_1));
      if Get (Encoded) /= Text_1 then
         Raise_Exception
         (  Constraint_Error'Identity,
            (  "Recoding write error: "
            &  Quote (Get (Encoded))
            &  ", written "
            &  Quote (Text_1)
         )  );
      end if;
      Rewind (Encoded);
      String'Read (Decoded'Access, Text_2);
      if To_UTF8 (Text_1) /= Text_2 then
         Raise_Exception
         (  Constraint_Error'Identity,
            (  "Recoding read error: "
            &  Quote (Text_1)
            &  ", read "
            &  Quote (Text_2)
         )  );
      end if;
   end;
   Put_Line ("... Done");
exception
   when Error : others =>
      Put ("Error: ");
      Put_Line (Exception_Information (Error));
end Test_String_Streams;