-- 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;