Subversion Repositories openrisc_me

-- CXF3A01.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 function Ada.Text_IO.Editing.Valid returns False if

--         a) Pic_String is not a well-formed Picture string, or

--         b) the length of Pic_String exceeds Max_Picture_Length, or

--         c) Blank_When_Zero is True and Pic_String contains '*';

--      Check that Valid otherwise returns True.

--

-- TEST DESCRIPTION:

--      This test validates the results of function Editing.Valid under a

--      variety of conditions.  Both valid and invalid picture strings are

--      provided as input parameters to the function.  The use of the

--      Blank_When_Zero parameter is evaluated with strings that contain the

--      zero suppression character '*'.

--

-- TEST FILES:

--      The following files comprise this test:

--

--         FXF3A00.A   (foundation code)

--      => CXF3A01.A

--

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--

--!

with FXF3A00;

with Ada.Text_IO.Editing;

with Report;

procedure CXF3A01 is

begin

   Report.Test ("CXF3A01", "Check that the Valid function from package "    &

                           "Ada.Text_IO.Editing returns False for strings " &

                           "that fail to comply with the composition "      &

                           "constraints defined for picture strings. "      &

                           "Check that the Valid function returns True "    &

                           "for strings that conform to the composition "   &

                           "constraints defined for picture strings");

   Test_Block:

   declare

      use FXF3A00;

      use Ada.Text_IO;

   begin

      -- Use a series of picture strings that conform to the composition

      -- constraints to validate the Ada.Text_IO.Editing.Valid function.

      -- The result for each of these calls should be True.

      -- In all the following cases, the default value of the Blank_When_Zero

      -- parameter is used.

      for i in 1..FXF3A00.Number_Of_Valid_Strings loop

         if not Editing.Valid(Pic_String => FXF3A00.Valid_Strings(i).all)

         then

            Report.Failed("Incorrect result from Function Valid using " &

                          "Valid_String = " & FXF3A00.Valid_Strings(i).all);

         end if;

      end loop;

      for i in 1..FXF3A00.Number_Of_Foreign_Strings loop

         if not Editing.Valid(Pic_String => FXF3A00.Foreign_Strings(i).all)

         then

            Report.Failed("Incorrect result from Function Valid using " &

                          "Foreign_String = " &

                          FXF3A00.Foreign_Strings(i).all);

         end if;

      end loop;

      -- Use a series of picture strings that violate one or more of the

      -- composition constraints to validate the Ada.Text_IO.Editing.Valid

      -- function.  The result for each of these calls should be False.

      -- In all the following cases, the default value of the Blank_When_Zero

      -- parameter is used.

      for i in 1..FXF3A00.Number_Of_Invalid_Strings loop

         if Editing.Valid(Pic_String => FXF3A00.Invalid_Strings(i).all)

         then

            Report.Failed("Incorrect result from Function Valid using " &

                          "Invalid_String = " &

                          FXF3A00.Invalid_Strings(i).all);

         end if;

      end loop;

      -- In all the following cases, the default value of the Blank_When_Zero

      -- parameter is overridden with a True actual parameter value.  Using

      -- valid picture strings that contain the '*' zero suppression character

      -- when this parameter value is True must result in a False result

      -- from function Valid.  Valid picture strings that do not contain the

      -- '*' character should return a function result of True with True

      -- provided as the actual parameter to Blank_When_Zero.

      -- Check entries 1, 2, 25, 36 from the Valid_Strings array, all of

      -- which contain the '*' zero suppression character.

      if Editing.Valid(Valid_Strings(1).all,  Blank_When_Zero => True) or

         Editing.Valid(Valid_Strings(2).all,  Blank_When_Zero => True) or

         Editing.Valid(Valid_Strings(25).all, Blank_When_Zero => True) or

         Editing.Valid(Valid_Strings(36).all, Blank_When_Zero => True)

      then

         Report.Failed

           ("Incorrect result from Function Valid when setting "   &

            "the value of the Blank_When_Zero parameter to True, " &

            "and using picture strings with the '*' character");

      end if;

      -- Check entries from the Valid_Strings array, none of

      -- which contain the '*' zero suppression character.

      for i in 3..24 loop

         if not Editing.Valid(Pic_String      => Valid_Strings(i).all,

                              Blank_When_Zero => True)

         then

            Report.Failed("Incorrect result from Function Valid when "    &

                          "setting the value of the Blank_When_Zero "     &

                          "parameter to True, and using picture strings " &

                          "without the '*' character, Valid_String = "    &

                          FXF3A00.Valid_Strings(i).all);

         end if;

      end loop;

   exception

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

   end Test_Block;

   Report.Result;

end CXF3A01;