Subversion Repositories openrisc_me

-- CXA4032.A

--

--                             Grant of Unlimited Rights

--

--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,

--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained

--     unlimited rights in the software and documentation contained herein.

--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making

--     this public release, the Government intends to confer upon all

--     recipients unlimited rights  equal to those held by the Government.

--     These rights include rights to use, duplicate, release or disclose the

--     released technical data and computer software in whole or in part, in

--     any manner and for any purpose whatsoever, and to have or permit others

--     to do so.

--

--                                    DISCLAIMER

--

--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR

--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED

--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE

--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE

--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A

--     PARTICULAR PURPOSE OF SAID MATERIAL.

--*

--

-- OBJECTIVE:

--      Check that procedures defined in package Ada.Strings.Unbounded

--      are available, and that they produce correct results. Specifically,

--      check the procedures Replace_Slice, Insert, Overwrite, Delete,

--      Trim (2 versions), Head, and Tail.

--

-- TEST DESCRIPTION:

--      This test demonstrates the uses of many of the procedures defined

--      in package Ada.Strings.Unbounded for use with unbounded strings.

--      The test simulates how unbounded strings could be processed in a

--      user environment, using the procedures provided in this package.

--

--      This test, when taken in conjunction with tests CXA4010, CXA4011,

--      CXA4030, and CXA4031 will constitute a test of all the functionality

--      contained in package Ada.Strings.Unbounded.  This test uses a variety

--      of the procedures defined in the unbounded string package in ways

--      typical of common usage.

--

--

-- CHANGE HISTORY:

--      02 Mar 95   SAIC    Initial prerelease version.

--

--!

with Report;

with Ada.Strings;

with Ada.Strings.Maps;

with Ada.Strings.Maps.Constants;

with Ada.Strings.Unbounded;

procedure CXA4032 is

begin

   Report.Test ("CXA4032", "Check that the subprograms defined in "        &

                           "package Ada.Strings.Unbounded are available, " &

                           "and that they produce correct results");

   Test_Block:

   declare

      package Unb renames Ada.Strings.Unbounded;

      use Unb;

      use Ada.Strings;

      TC_Null_String : constant String := "";

      TC_String_5    : String(1..5)    := "ABCDE";

      TC_Unb_String  : Unb.Unbounded_String :=

                         Unb.To_Unbounded_String("Test String");

   begin

      -- Procedure Replace_Slice

      begin                                           -- Low > Source'Last+1

         Unb.Replace_Slice(Source => TC_Unb_String,

                           Low    => Unb.Length(TC_Unb_String) + 2,

                           High   => Unb.Length(TC_Unb_String),

                           By     => TC_String_5);

         Report.Failed("Index_Error not raised by Replace_Slice when Low " &

                       "> Source'Last+1");

      exception

         when Index_Error => null;  -- OK, expected exception.

         when others      =>

            Report.Failed("Unexpected exception raised by Replace_Slice" &

                          "when Low > Source'Last+1");

      end;

      -- High >= Low

      TC_Unb_String := Unb.To_Unbounded_String("Test String");

      Unb.Replace_Slice(TC_Unb_String, 5, 5, TC_String_5);

      if TC_Unb_String /= Unb.To_Unbounded_String("TestABCDEString") then

         Report.Failed("Incorrect results from Replace_Slice - 1");

      end if;

      Unb.Replace_Slice(TC_Unb_String, 1, 4, TC_String_5);

      if TC_Unb_String /= Unb.To_Unbounded_String("ABCDEABCDEString") then

         Report.Failed("Incorrect results from Replace_Slice - 2");

      end if;

      Unb.Replace_Slice(TC_Unb_String,

                        11,

                        Unb.Length(TC_Unb_String),

                        TC_Null_String);

      if TC_Unb_String /= Unb.To_Unbounded_String("ABCDEABCDE") then

         Report.Failed("Incorrect results from Replace_Slice - 3");

      end if;

      -- High < Low

      Unb.Replace_Slice(TC_Unb_String, Low => 4, High => 1, By => "xxx");

      if TC_Unb_String /= Unb.To_Unbounded_String("ABCxxxDEABCDE") then

         Report.Failed("Incorrect results from Replace_Slice - 4");

      end if;

      Unb.Replace_Slice(TC_Unb_String, Low => 1, High => 0, By => "yyy");

      if TC_Unb_String /= Unb.To_Unbounded_String("yyyABCxxxDEABCDE") then

         Report.Failed("Incorrect results from Replace_Slice - 5");

      end if;

      Unb.Replace_Slice(TC_Unb_String,

                        Unb.Length(TC_Unb_String) + 1,

                        Unb.Length(TC_Unb_String),

                        By => "zzz");

      if TC_Unb_String /= Unb.To_Unbounded_String("yyyABCxxxDEABCDEzzz") then

         Report.Failed("Incorrect results from Replace_Slice - 6");

      end if;

      -- Procedure Insert

      TC_Unb_String := Unb.To_Unbounded_String("Test String");

      begin                  -- Before not in Source'First..Source'Last + 1

         Unb.Insert(Source   => TC_Unb_String,

                    Before   => Unb.Length(TC_Unb_String) + 2,

                    New_Item => TC_String_5);

         Report.Failed("Index_Error not raised by Insert when Before " &

                       "not in the range Source'First..Source'Last+1");

      exception

         when Index_Error => null;  -- OK, expected exception.

         when others      =>

            Report.Failed

              ("Unexpected exception raised by Insert when Before not in " &

               "the range Source'First..Source'Last+1");

      end;

      Unb.Insert(TC_Unb_String, 1, "**");

      if TC_Unb_String /= Unb.To_Unbounded_String("**Test String") then

         Report.Failed("Incorrect results from Insert - 1");

      end if;

      Unb.Insert(TC_Unb_String, Unb.Length(TC_Unb_String)+1, "**");

      if TC_Unb_String /= Unb.To_Unbounded_String("**Test String**") then

         Report.Failed("Incorrect results from Insert - 2");

      end if;

      Unb.Insert(TC_Unb_String, 8, "---");

      if TC_Unb_String /= Unb.To_Unbounded_String("**Test ---String**") then

         Report.Failed("Incorrect results from Insert - 3");

      end if;

      Unb.Insert(TC_Unb_String, 3, TC_Null_String);

      if TC_Unb_String /= Unb.To_Unbounded_String("**Test ---String**") then

         Report.Failed("Incorrect results from Insert - 4");

      end if;

      -- Procedure Overwrite

      begin                -- Position not in Source'First..Source'Last + 1

         Unb.Overwrite(Source   => TC_Unb_String,

                       Position => Unb.Length(TC_Unb_String) + 2,

                       New_Item => TC_String_5);

         Report.Failed("Index_Error not raised by Overwrite when Position " &

                       "not in the range Source'First..Source'Last+1");

      exception

         when Index_Error => null;  -- OK, expected exception.

         when others      =>

            Report.Failed

              ("Unexpected exception raised by Overwrite when Position not " &

               "in the range Source'First..Source'Last+1");

      end;

      TC_Unb_String := Unb.To_Unbounded_String("Test String");

      Unb.Overwrite(Source   => TC_Unb_String,

                    Position => 1,

                    New_Item => "XXXX");

      if TC_Unb_String /= Unb.To_Unbounded_String("XXXX String") then

         Report.Failed("Incorrect results from Overwrite - 1");

      end if;

      Unb.Overwrite(TC_Unb_String, Unb.Length(TC_Unb_String)+1, "**");

      if TC_Unb_String /= Unb.To_Unbounded_String("XXXX String**") then

         Report.Failed("Incorrect results from Overwrite - 2");

      end if;

      Unb.Overwrite(TC_Unb_String, 3, TC_Null_String);

      if TC_Unb_String /= Unb.To_Unbounded_String("XXXX String**") then

         Report.Failed("Incorrect results from Overwrite - 3");

      end if;

      Unb.Overwrite(TC_Unb_String, 1, "abcdefghijklmn");

      if TC_Unb_String /= Unb.To_Unbounded_String("abcdefghijklmn") then

         Report.Failed("Incorrect results from Overwrite - 4");

      end if;

      -- Procedure Delete

      TC_Unb_String := Unb.To_Unbounded_String("Test String");

      -- From > Through  (No change to Source)

      Unb.Delete(Source  => TC_Unb_String,

                 From    => Unb.Length(TC_Unb_String),

                 Through => Unb.Length(TC_Unb_String)-1);

      if TC_Unb_String /= Unb.To_Unbounded_String("Test String") then

         Report.Failed("Incorrect results from Delete - 1");

      end if;

      Unb.Delete(TC_Unb_String, 1, 0);

      if TC_Unb_String /= Unb.To_Unbounded_String("Test String") then

         Report.Failed("Incorrect results from Delete - 2");

      end if;

      -- From <= Through

      Unb.Delete(TC_Unb_String, 1, 5);

      if TC_Unb_String /= Unb.To_Unbounded_String("String") then

         Report.Failed("Incorrect results from Delete - 3");

      end if;

      Unb.Delete(TC_Unb_String, 3, 3);

      if TC_Unb_String /= Unb.To_Unbounded_String("Sting") then

         Report.Failed("Incorrect results from Delete - 4");

      end if;

      -- Procedure Trim

      TC_Unb_String := Unb.To_Unbounded_String("No Spaces");

      Unb.Trim(Source => TC_Unb_String, Side => Ada.Strings.Both);

      if TC_Unb_String /= Unb.To_Unbounded_String("No Spaces") then

         Report.Failed("Incorrect results from Trim - 1");

      end if;

      TC_Unb_String := Unb.To_Unbounded_String("   Leading Spaces   ");

      Unb.Trim(TC_Unb_String, Ada.Strings.Left);

      if TC_Unb_String /= Unb.To_Unbounded_String("Leading Spaces   ") then

         Report.Failed("Incorrect results from Trim - 2");

      end if;

      TC_Unb_String := Unb.To_Unbounded_String("   Ending Spaces   ");

      Unb.Trim(TC_Unb_String, Ada.Strings.Right);

      if TC_Unb_String /= Unb.To_Unbounded_String("   Ending Spaces") then

         Report.Failed("Incorrect results from Trim - 3");

      end if;

      TC_Unb_String :=

        Unb.To_Unbounded_String("    Spaces   on  both  ends     ");

      Unb.Trim(TC_Unb_String, Ada.Strings.Both);

      if TC_Unb_String /=

         Unb.To_Unbounded_String("Spaces   on  both  ends")

      then

         Report.Failed("Incorrect results from Trim - 4");

      end if;

      -- Procedure Trim (with Character Set parameters)

      TC_Unb_String := Unb.To_Unbounded_String("lowerCASEletters");

      Unb.Trim(Source => TC_Unb_String,

               Left   => Ada.Strings.Maps.Constants.Lower_Set,

               Right  => Ada.Strings.Maps.Constants.Lower_Set);

      if TC_Unb_String /= Unb.To_Unbounded_String("CASE") then

         Report.Failed("Incorrect results from Trim with Sets - 1");

      end if;

      TC_Unb_String := Unb.To_Unbounded_String("lowerCASEletters");

      Unb.Trim(TC_Unb_String,

               Ada.Strings.Maps.Constants.Upper_Set,

               Ada.Strings.Maps.Constants.Upper_Set);

      if TC_Unb_String /= Unb.To_Unbounded_String("lowerCASEletters") then

         Report.Failed("Incorrect results from Trim with Sets - 2");

      end if;

      TC_Unb_String := Unb.To_Unbounded_String("012abcdefghGFEDCBA789ab");

      Unb.Trim(TC_Unb_String,

               Ada.Strings.Maps.Constants.Hexadecimal_Digit_Set,

               Ada.Strings.Maps.Constants.Hexadecimal_Digit_Set);

      if TC_Unb_String /= Unb.To_Unbounded_String("ghG") then

         Report.Failed("Incorrect results from Trim with Sets - 3");

      end if;

      -- Procedure Head

      -- Count <= Source'Length

      TC_Unb_String := Unb.To_Unbounded_String("Test String");

      Unb.Head(Source => TC_Unb_String,

               Count  => 0,

               Pad    => '*');

      if TC_Unb_String /= Unb.Null_Unbounded_String then

         Report.Failed("Incorrect results from Head - 1");

      end if;

      TC_Unb_String := Unb.To_Unbounded_String("Test String");

      Unb.Head(Source => TC_Unb_String,

               Count  => 4,

               Pad    => '*');

      if TC_Unb_String /= Unb.To_Unbounded_String("Test") then

         Report.Failed("Incorrect results from Head - 2");

      end if;

      TC_Unb_String := Unb.To_Unbounded_String("Test String");

      Unb.Head(Source => TC_Unb_String,

               Count  => Unb.Length(TC_Unb_String),

               Pad    => '*');

      if TC_Unb_String /= Unb.To_Unbounded_String("Test String") then

         Report.Failed("Incorrect results from Head - 3");

      end if;

      -- Count > Source'Length

      TC_Unb_String := Unb.To_Unbounded_String("Test String");

      Unb.Head(Source => TC_Unb_String,

               Count  => Unb.Length(TC_Unb_String) + 4,

               Pad    => '*');

      if TC_Unb_String /= Unb.To_Unbounded_String("Test String****") then

         Report.Failed("Incorrect results from Head - 4");

      end if;

      TC_Unb_String := Unb.Null_Unbounded_String;

      Unb.Head(Source => TC_Unb_String,

               Count  => Unb.Length(TC_Unb_String) + 3,

               Pad    => '*');

      if TC_Unb_String /= Unb.To_Unbounded_String("***") then

         Report.Failed("Incorrect results from Head - 5");

      end if;

      -- Procedure Tail

      -- Count <= Source'Length

      TC_Unb_String := Unb.To_Unbounded_String("Test String");

      Unb.Tail(Source => TC_Unb_String,

               Count  => 0,

               Pad    => '*');

      if TC_Unb_String /= Unb.Null_Unbounded_String then

         Report.Failed("Incorrect results from Tail - 1");

      end if;

      TC_Unb_String := Unb.To_Unbounded_String("Test String");

      Unb.Tail(Source => TC_Unb_String,

               Count  => 6,

               Pad    => '*');

      if TC_Unb_String /= Unb.To_Unbounded_String("String") then

         Report.Failed("Incorrect results from Tail - 2");

      end if;

      TC_Unb_String := Unb.To_Unbounded_String("Test String");

      Unb.Tail(Source => TC_Unb_String,

               Count  => Unb.Length(TC_Unb_String),

               Pad    => '*');

      if TC_Unb_String /= Unb.To_Unbounded_String("Test String") then

         Report.Failed("Incorrect results from Tail - 3");

      end if;

      -- Count > Source'Length

      TC_Unb_String := Unb.To_Unbounded_String("Test String");

      Unb.Tail(Source => TC_Unb_String,

               Count  => Unb.Length(TC_Unb_String) + 5,

               Pad    => 'x');

      if TC_Unb_String /= Unb.To_Unbounded_String("xxxxxTest String") then

         Report.Failed("Incorrect results from Tail - 4");

      end if;

      TC_Unb_String := Unb.Null_Unbounded_String;

      Unb.Tail(Source => TC_Unb_String,

               Count  => Unb.Length(TC_Unb_String) + 3,

               Pad    => 'X');

      if TC_Unb_String /= Unb.To_Unbounded_String("XXX") then

         Report.Failed("Incorrect results from Tail - 5");

      end if;

   exception

      when others => Report.Failed ("Exception raised in Test_Block");

   end Test_Block;

   Report.Result;

end CXA4032;