Subversion Repositories openrisc

-- CXA4021.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 the subprograms defined in package

--      Ada.Strings.Wide_Unbounded are available, and that they produce

--      correct results. Specifically, check the subprograms Head, Index,

--      Index_Non_Blank, Insert, Length, Overwrite, Replace_Slice, Slice,

--      Tail, To_Wide_String, To_Unbounded_Wide_String, "*", "&",

--      and "=", "<=", ">=".

--

-- TEST DESCRIPTION:

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

--      in package Ada.Strings.Wide_Unbounded for use with unbounded wide

--      strings.

--      The test attempts to simulate how unbounded wide strings could be used

--      to simulate paragraphs of text.  Modifications could be easily be

--      performed using the provided subprograms (although in this test, the

--      main modification performed was the addition of more text to the

--      string).  One would not have to worry about the formatting of the

--      paragraph until it was finished and correct in content.  Then, once

--      all required editing is complete, the unbounded strings can be divided

--      up into the appropriate lengths based on particular formatting

--      requirements.  The test then compares the formatted text product

--      with a predefined "finished product".

--

--      This test attempts to use a large number of the subprograms provided

--      by package Ada.Strings.Wide_Unbounded.  Often, the processing involved

--      could have been performed more efficiently using a minimum number

--      of the subprograms, in conjunction with loops, etc.  However, for

--      testing purposes, and in the interest of minimizing the number of

--      tests developed, subprogram variety and feature mixing was stressed.

--

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--

--!

with Report;

with Ada.Characters.Handling;

with Ada.Strings.Wide_Maps;

with Ada.Strings.Wide_Unbounded;

procedure CXA4021 is

   -- The following two functions are used to translate character and string

   -- values to "Wide" values.  They will be applied to all the Wide_Bounded

   -- subprogram character and string parameters to simulate the use of non-

   -- character Wide_Characters and Wide_Strings in actual practice.

   -- Note: These functions do not actually return "equivalent" wide

   --       characters to their character inputs, just "non-character"

   --       wide characters.

   function Equiv (Ch : Character) return Wide_Character is

      C : Character := Ch;

   begin

      if Ch = ' ' then

         return Ada.Characters.Handling.To_Wide_Character(C);

      else

         return Wide_Character'Val(Character'Pos(Ch) +

                Character'Pos(Character'Last) + 1);

      end if;

   end Equiv;

   function Equiv (Str : String) return Wide_String is

      WS : Wide_String(Str'First..Str'Last);

   begin

      for i in Str'First..Str'Last loop

         WS(i) := Equiv(Str(i));

      end loop;

      return WS;

   end Equiv;

begin

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

                           "package Ada.Strings.Wide_Unbounded are "    &

                           "available, and that they produce correct "  &

                           "results");

   Test_Block:

   declare

      package ASW renames Ada.Strings.Wide_Unbounded;

      use type ASW.Unbounded_Wide_String;

      use Ada.Strings;

      Pamphlet_Paragraph_Count : constant :=  2;

      Lines                    : constant :=  4;

      Line_Length              : constant := 40;

      type Document_Type is array (Positive range <>)

        of ASW.Unbounded_Wide_String;

      type Camera_Ready_Copy_Type is array (1..Lines)

        of Wide_String (1..Line_Length);

      Pamphlet            : Document_Type (1..Pamphlet_Paragraph_Count);

      Camera_Ready_Copy   : Camera_Ready_Copy_Type :=

                              (others => (others => Ada.Strings.Wide_Space));

      TC_Finished_Product : Camera_Ready_Copy_Type :=

                   ( 1 => Equiv("Ada is a programming language designed  "),

                     2 => Equiv("to support long-lived, reliable software"),

                     3 => Equiv(" systems.                               "),

                     4 => Equiv("Go with Ada!                            "));

      -----

      procedure Enter_Text_Into_Document (Document : in out Document_Type) is

      begin

         -- Fill in both "paragraphs" of the document.  Each unbounded wide

         -- string functions as an individual paragraph, containing an

         -- unspecified number of characters.

         -- Use a variety of different unbounded wide string subprograms to

         -- load the data.

         Document(1) :=

           ASW.To_Unbounded_Wide_String(Equiv("Ada is a language"));

         -- Insert the word "programming" prior to "language".

         Document(1) :=

           ASW.Insert(Document(1),

                      ASW.Index(Document(1),

                                Equiv("language")),

                      ASW.To_Wide_String(Equiv("progra") &       -- Wd Str &

                                         ASW."*"(2,Equiv('m')) & -- Wd Unbd &

                                         Equiv("ing ")));        -- Wd Str

         -- Overwrite the word "language" with "language" + additional text.

         Document(1) :=

           ASW.Overwrite(Document(1),

                         ASW.Index(Document(1),

                                   ASW.To_Wide_String(

                                     ASW.Tail(Document(1), 8, Equiv(' '))),

                                   Ada.Strings.Backward),

                         Equiv("language designed to support long-lifed"));

         -- Replace the word "lifed" with "lived".

         Document(1) :=

           ASW.Replace_Slice(Document(1),

                             ASW.Index(Document(1), Equiv("lifed")),

                             ASW.Length(Document(1)),

                             Equiv("lived"));

         -- Overwrite the word "lived" with "lived" + additional text.

         Document(1) :=

           ASW.Overwrite(Document(1),

                         ASW.Index(Document(1),

                                   ASW.To_Wide_String

                                     (ASW.Tail(Document(1), 5, Equiv(' '))),

                                   Ada.Strings.Backward),

                         Equiv("lived, reliable software systems."));

         -- Use several of the overloaded versions of "&" to form this

         -- unbounded wide string.

         Document(2) := Equiv('G')                                  &

                        ASW.To_Unbounded_Wide_String(Equiv("o "))   &

                        ASW.To_Unbounded_Wide_String(Equiv("with")) &

                        Equiv(' ')                                  &

                        Equiv("Ada!");

      end Enter_Text_Into_Document;

      -----

      procedure Create_Camera_Ready_Copy

                  (Document    : in     Document_Type;

                   Camera_Copy :    out Camera_Ready_Copy_Type) is

      begin

         -- Break the unbounded wide strings into fixed lengths.

         -- Search the first unbounded wide string for portions of text that

         -- are less than or equal to the length of a wide string in the

         -- Camera_Ready_Copy_Type object.

         Camera_Copy(1) :=               -- Take characters 1-39,

           ASW.Slice(Document(1),        -- and append a blank space.

                     1,

                     ASW.Index(ASW.To_Unbounded_Wide_String

                                 (ASW.Slice(Document(1),

                                            1,

                                            Line_Length)),

                               Ada.Strings.Wide_Maps.To_Set(Equiv(' ')),

                               Ada.Strings.Inside,

                               Ada.Strings.Backward)) & Equiv(' ');

         Camera_Copy(2) :=                 -- Take characters 40-79.

           ASW.Slice(Document(1),

                     40,

                     (ASW.Index_Non_Blank              -- Should return 79

                        (ASW.To_Unbounded_Wide_String

                           (ASW.Slice(Document(1),     -- Slice (40..79)

                                      40,

                                      79)),

                         Ada.Strings.Backward) + 39)); -- Increment since

                                                       -- this slice starts

                                                       -- at 40.

         Camera_Copy(3)(1..9) := ASW.Slice(Document(1), -- Characters 80-88

                                           80,

                                           ASW.Length(Document(1)));

         -- Break the second unbounded wide string into the appropriate

         -- length.  It is only twelve characters in length, so the entire

         -- unbounded wide string will be placed on one string of the output

         -- object.

         Camera_Copy(4)(1..ASW.Length(Document(2))) :=

           ASW.To_Wide_String(ASW.Head(Document(2),

                                       ASW.Length(Document(2))));

      end Create_Camera_Ready_Copy;

      -----

      function Valid_Proofread (Draft, Master : Camera_Ready_Copy_Type)

        return Boolean is

      begin

         -- Evaluate wide strings for equality, using the operators defined

         -- in package Ada.Strings.Wide_Unbounded.  The less than/greater

         -- than or equal comparisons should evaluate to "equals => True".

         if ASW.To_Unbounded_Wide_String(Draft(1))   =     -- "="(WUnb,WUnb)

            ASW.To_Unbounded_Wide_String(Master(1))   and

            ASW.To_Unbounded_Wide_String(Draft(2))  <=     -- "<="(WUnb,WUnb)

            ASW.To_Unbounded_Wide_String(Master(2))   and

            ASW.To_Unbounded_Wide_String(Draft(3))  >=     -- ">="(WUnb,WUnb)

            ASW.To_Unbounded_Wide_String(Master(3))   and

            ASW.To_Unbounded_Wide_String(Draft(4))   =     -- "="(WUnb,WUnb)

            ASW.To_Unbounded_Wide_String(Master(4))

         then

            return True;

         else

            return False;

         end if;

      end Valid_Proofread;

      -----

   begin

      -- Enter text into the unbounded wide string paragraphs of the document.

      Enter_Text_Into_Document (Pamphlet);

      -- Reformat the unbounded wide strings into fixed wide string format.

      Create_Camera_Ready_Copy (Document    => Pamphlet,

                                Camera_Copy => Camera_Ready_Copy);

      -- Verify the conversion process.

      if not Valid_Proofread (Draft  => Camera_Ready_Copy,

                              Master => TC_Finished_Product)

      then

         Report.Failed ("Incorrect unbounded wide string processing result");

      end if;

   exception

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

   end Test_Block;

   Report.Result;

end CXA4021;