Subversion Repositories openrisc

-- CXB4005.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 To_COBOL will convert a String

--      parameter value into a type Alphanumeric array of

--      COBOL_Characters, with lower bound of one, and length

--      equal to length of the String parameter, based on the

--      mapping Ada_to_COBOL.

--

--      Check that the function To_Ada will convert a type

--      Alphanumeric parameter value into a String type result,

--      with lower bound of one, and length equal to the length

--      of the Alphanumeric parameter, based on the mapping

--      COBOL_to_Ada.

--

--      Check that the Ada_to_COBOL and COBOL_to_Ada mapping

--      arrays provide a mapping capability between Ada's type

--      Character and COBOL run-time character sets.

--

-- TEST DESCRIPTION:

--      This test checks that the functions To_COBOL and To_Ada produce

--      the correct results, based on a variety of parameter input values.

--

--      In the first series of subtests, the results of the function

--      To_COBOL are compared against expected Alphanumeric type results,

--      and the length and lower bound of the alphanumeric result are

--      also verified.  In the second series of subtests, the results of

--      the function To_Ada are compared against expected String type

--      results, and the length of the String result is also verified

--      against the Alphanumeric type parameter.

--

--      This test also verifies that two mapping array variables defined

--      in package Interfaces.COBOL, Ada_To_COBOL and COBOL_To_Ada, are

--      available, and that they can be modified by a user at runtime.

--      Finally, the effects of user modifications on these mapping

--      variables is checked in the test.

--

--      This test uses Fixed, Bounded, and Unbounded_Strings in combination

--      with the functions under validation.

--

--      This test assumes that the following characters are all included

--      in the implementation defined type Interfaces.COBOL.COBOL_Character:

--      ' ', 'a'..'z', 'A'..'Z', '0'..'9', '*', ',', '.', and '$'.

--

-- APPLICABILITY CRITERIA:

--      This test is applicable to all implementations that provide

--      package Interfaces.COBOL.  If an implementation provides

--      package Interfaces.COBOL, this test must compile, execute, and

--      report "PASSED".

--

--

-- CHANGE HISTORY:

--      11 Jan 96   SAIC    Initial prerelease version for ACVC 2.1

--      30 May 96   SAIC    Incorporated reviewer comments for ACVC 2.1.

--      27 Oct 96   SAIC    Incorporated reviewer comments.

--

--!

with Report;

with Ada.Exceptions;

with Ada.Strings.Bounded;

with Ada.Strings.Unbounded;

with Interfaces.COBOL;                                          -- N/A => ERROR

procedure CXB4005 is

begin

   Report.Test ("CXB4005", "Check that the functions To_COBOL and " &

                           "To_Ada produce correct results");

   Test_Block:

   declare

      package Bnd is new Ada.Strings.Bounded.Generic_Bounded_Length(5);

      package Unb renames Ada.Strings.Unbounded;

      use Ada.Exceptions;

      use Interfaces;

      use Bnd;

      use type Unb.Unbounded_String;

      use type Interfaces.COBOL.Alphanumeric;

      TC_Alphanumeric_1  : Interfaces.COBOL.Alphanumeric(1..1);

      TC_Alphanumeric_5  : Interfaces.COBOL.Alphanumeric(1..5);

      TC_Alphanumeric_10 : Interfaces.COBOL.Alphanumeric(1..10);

      TC_Alphanumeric_20 : Interfaces.COBOL.Alphanumeric(1..20);

      Bnd_String,

      TC_Bnd_String      : Bnd.Bounded_String   :=

                             Bnd.To_Bounded_String("     ");

      Unb_String,

      TC_Unb_String      : Unb.Unbounded_String :=

                             Unb.To_Unbounded_String("                    ");

      The_String,

      TC_String          : String(1..20) := ("                    ");

   begin

      -- Check that the function To_COBOL will convert a String

      -- parameter value into a type Alphanumeric array of

      -- COBOL_Characters, with lower bound of one, and length

      -- equal to length of the String parameter, based on the

      -- mapping Ada_to_COBOL.

      Unb_String         := Unb.To_Unbounded_String("A");

      TC_Alphanumeric_1  := COBOL.To_COBOL(Unb.To_String(Unb_String));

      if TC_Alphanumeric_1        /= "A"                    or

         TC_Alphanumeric_1'Length /= Unb.Length(Unb_String) or

         TC_Alphanumeric_1'Length /= 1                      or

         COBOL.To_COBOL(Unb.To_String(Unb_String))'First  /= 1

      then

         Report.Failed("Incorrect result from function To_COBOL - 1");

      end if;

      Bnd_String         := Bnd.To_Bounded_String("abcde");

      TC_Alphanumeric_5  := COBOL.To_COBOL(Bnd.To_String(Bnd_String));

      if TC_Alphanumeric_5        /= "abcde"                or

         TC_Alphanumeric_5'Length /= Bnd.Length(Bnd_String) or

         TC_Alphanumeric_5'Length /= 5                      or

         COBOL.To_COBOL(Bnd.To_String(Bnd_String))'First  /= 1

      then

         Report.Failed("Incorrect result from function To_COBOL - 2");

      end if;

      Unb_String         := Unb.To_Unbounded_String("1A2B3c4d5F");

      TC_Alphanumeric_10 := COBOL.To_COBOL(Unb.To_String(Unb_String));

      if TC_Alphanumeric_10        /= "1A2B3c4d5F"           or

         TC_Alphanumeric_10'Length /= Unb.Length(Unb_String) or

         TC_Alphanumeric_10'Length /= 10                     or

         COBOL.To_COBOL(Unb.To_String(Unb_String))'First  /= 1

      then

         Report.Failed("Incorrect result from function To_COBOL - 3");

      end if;

      The_String         := "abcd  ghij" & "1234  7890";

      TC_Alphanumeric_20 := COBOL.To_COBOL(The_String);

      if TC_Alphanumeric_20                /= "abcd  ghij1234  7890" or

         TC_Alphanumeric_20'Length         /= The_String'Length      or

         TC_Alphanumeric_20'Length         /= 20                     or

         COBOL.To_COBOL(The_String)'First  /= 1

      then

         Report.Failed("Incorrect result from function To_COBOL - 4");

      end if;

      -- Check that the function To_Ada will convert a type

      -- Alphanumeric parameter value into a String type result,

      -- with lower bound of one, and length equal to the length

      -- of the Alphanumeric parameter, based on the mapping

      -- COBOL_to_Ada.

      TC_Unb_String := Unb.To_Unbounded_String

                         (COBOL.To_Ada(TC_Alphanumeric_1));

      if TC_Unb_String             /= "A"                       or

         TC_Alphanumeric_1'Length  /= Unb.Length(TC_Unb_String) or

         Unb.Length(TC_Unb_String) /= 1                         or

         COBOL.To_Ada(TC_Alphanumeric_1)'First /= 1

      then

         Report.Failed("Incorrect value returned from function To_Ada - 1");

      end if;

      TC_Bnd_String := Bnd.To_Bounded_String

                         (COBOL.To_Ada(TC_Alphanumeric_5));

      if TC_Bnd_String             /= "abcde"                   or

         TC_Alphanumeric_5'Length  /= Bnd.Length(TC_Bnd_String) or

         Bnd.Length(TC_Bnd_String) /= 5                         or

         COBOL.To_Ada(TC_Alphanumeric_5)'First /= 1

      then

         Report.Failed("Incorrect value returned from function To_Ada - 2");

      end if;

      TC_Unb_String := Unb.To_Unbounded_String

                         (COBOL.To_Ada(TC_Alphanumeric_10));

      if TC_Unb_String             /= "1A2B3c4d5F"              or

         TC_Alphanumeric_10'Length /= Unb.Length(TC_Unb_String) or

         Unb.Length(TC_Unb_String) /= 10                        or

         COBOL.To_Ada(TC_Alphanumeric_10)'First /= 1

      then

         Report.Failed("Incorrect value returned from function To_Ada - 3");

      end if;

      TC_String := COBOL.To_Ada(TC_Alphanumeric_20);

      if TC_String                 /= "abcd  ghij1234  7890" or

         TC_Alphanumeric_20'Length /= TC_String'Length       or

         TC_String'Length          /= 20                     or

         COBOL.To_Ada(TC_Alphanumeric_20)'First /= 1

      then

         Report.Failed("Incorrect value returned from function To_Ada - 4");

      end if;

      -- Check the two functions when used in combination.

      if COBOL.To_COBOL(Item => COBOL.To_Ada("This is a test")) /=

         "This is a test"                                         or

         COBOL.To_COBOL(COBOL.To_Ada("1234567890abcdeFGHIJ"))   /=

         "1234567890abcdeFGHIJ"

      then

         Report.Failed("Incorrect result returned when using the " &

                       "functions To_Ada and To_COBOL in combination");

      end if;

      -- Check that the Ada_to_COBOL and COBOL_to_Ada mapping

      -- arrays provide a mapping capability between Ada's type

      -- Character and COBOL run-time character sets.

      Interfaces.COBOL.Ada_To_COBOL('a') := 'A';

      Interfaces.COBOL.Ada_To_COBOL('b') := 'B';

      Interfaces.COBOL.Ada_To_COBOL('c') := 'C';

      Interfaces.COBOL.Ada_To_COBOL('d') := '1';

      Interfaces.COBOL.Ada_To_COBOL('e') := '2';

      Interfaces.COBOL.Ada_To_COBOL('f') := '3';

      Interfaces.COBOL.Ada_To_COBOL(' ') := '*';

      Unb_String         := Unb.To_Unbounded_String("b");

      TC_Alphanumeric_1  := COBOL.To_COBOL(Unb.To_String(Unb_String));

      if TC_Alphanumeric_1 /= "B" then

         Report.Failed("Incorrect result from function To_COBOL after " &

                       "modification to Ada_To_COBOL mapping array - 1");

      end if;

      Bnd_String         := Bnd.To_Bounded_String("abcde");

      TC_Alphanumeric_5  := COBOL.To_COBOL(Bnd.To_String(Bnd_String));

      if TC_Alphanumeric_5 /= "ABC12" then

         Report.Failed("Incorrect result from function To_COBOL after " &

                       "modification to Ada_To_COBOL mapping array - 2");

      end if;

      Unb_String         := Unb.To_Unbounded_String("1a2B3c4d5e");

      TC_Alphanumeric_10 := COBOL.To_COBOL(Unb.To_String(Unb_String));

      if TC_Alphanumeric_10 /= "1A2B3C4152" then

         Report.Failed("Incorrect result from function To_COBOL after " &

                       "modification to Ada_To_COBOL mapping array - 3");

      end if;

      The_String         := "abcd  ghij" & "1234  7890";

      TC_Alphanumeric_20 := COBOL.To_COBOL(The_String);

      if TC_Alphanumeric_20 /= "ABC1**ghij1234**7890" then

         Report.Failed("Incorrect result from function To_COBOL after " &

                       "modification to Ada_To_COBOL mapping array - 4");

      end if;

      -- Reset the Ada_To_COBOL mapping array to its original state.

      Interfaces.COBOL.Ada_To_COBOL('a') := 'a';

      Interfaces.COBOL.Ada_To_COBOL('b') := 'b';

      Interfaces.COBOL.Ada_To_COBOL('c') := 'c';

      Interfaces.COBOL.Ada_To_COBOL('d') := 'd';

      Interfaces.COBOL.Ada_To_COBOL('e') := 'e';

      Interfaces.COBOL.Ada_To_COBOL('f') := 'f';

      Interfaces.COBOL.Ada_To_COBOL(' ') := ' ';

      -- Modify the COBOL_To_Ada mapping array to check its effect on

      -- the function To_Ada.

      Interfaces.COBOL.COBOL_To_Ada(' ') := '*';

      Interfaces.COBOL.COBOL_To_Ada('$') := 'F';

      Interfaces.COBOL.COBOL_To_Ada('1') := '7';

      Interfaces.COBOL.COBOL_To_Ada('.') := ',';

      Unb_String         := Unb.To_Unbounded_String("  $$100.00");

      TC_Alphanumeric_10 := COBOL.To_COBOL(Unb.To_String(Unb_String));

      TC_Unb_String      := Unb.To_Unbounded_String(

                              COBOL.To_Ada(TC_Alphanumeric_10));

      if Unb.To_String(TC_Unb_String) /= "**FF700,00" then

         Report.Failed("Incorrect result from function To_Ada after " &

                       "modification of COBOL_To_Ada mapping array - 1");

      end if;

      Interfaces.COBOL.COBOL_To_Ada('*') := ' ';

      Interfaces.COBOL.COBOL_To_Ada('F') := '$';

      Interfaces.COBOL.COBOL_To_Ada('7') := '1';

      Interfaces.COBOL.COBOL_To_Ada(',') := '.';

      if COBOL.To_Ada(COBOL.To_COBOL(Unb.To_String(TC_Unb_String))) /=

         Unb_String

      then

         Report.Failed("Incorrect result from function To_Ada after " &

                       "modification of COBOL_To_Ada mapping array - 2");

      end if;

   exception

      when The_Error : others =>

         Report.Failed ("The following exception was raised in the " &

                        "Test_Block: " & Exception_Name(The_Error));

   end Test_Block;

   Report.Result;

end CXB4005;