| -- CXB3016.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 function Virtual_Length returns the number of elements |
| -- in the array referenced by the Pointer parameter Ref, up to (but |
| -- not including) the (first) instance of the element specified in |
| -- the Terminator parameter. |
| -- |
| -- Check that the procedure Copy_Terminated_Array copies the array of |
| -- elements referenced by Pointer parameter Source, into the array |
| -- pointed to by parameter Target, based on which of the following |
| -- two scenarios occurs first: |
| -- 1) copying the Terminator element, or |
| -- 2) copying the number of elements specified in parameter Limit. |
| -- |
| -- Check that procedure Copy_Terminated_Array will propagate |
| -- Dereference_Error if either the Source or Target parameter is null. |
| -- |
| -- Check that procedure Copy_Array will copy an array of elements |
| -- of length specified in parameter Length, referenced by the |
| -- Pointer parameter Source, into the array pointed to by parameter |
| -- Target. |
| -- |
| -- Check that procedure Copy_Array will propagate Dereference_Error |
| -- if either the Source or Target parameter is null. |
| -- |
| -- TEST DESCRIPTION: |
| -- This test checks that the function Virtual_Length and the procedures |
| -- Copy_Terminated_Array and Copy_Array in the generic package |
| -- Interfaces.C.Pointers will allow the user to manipulate arrays of |
| -- char and short values through the pointers that reference the |
| -- arrays. |
| -- |
| -- Package Interfaces.C.Pointers is instantiated twice, once for |
| -- short values and once for chars. Pointers from each instantiated |
| -- package are then used to reference arrays of the appropriate |
| -- element type. The subprograms under test are used to determine the |
| -- length, and to copy, either portions or the entire content of the |
| -- arrays. The results of these operations are then compared against |
| -- expected results. |
| -- |
| -- The propagation of Dereference_Error is checked for when either |
| -- of the two procedures is supplied with a null Pointer parameter. |
| -- |
| -- This test assumes that the following characters are all included |
| -- in the implementation defined type Interfaces.C.char: |
| -- ' ', and 'a'..'z'. |
| -- |
| -- APPLICABILITY CRITERIA: |
| -- This test is applicable to all implementations that provide |
| -- packages Interfaces.C, Interfaces.C.Strings, and |
| -- Interfaces.C.Pointers. If an implementation provides these packages, |
| -- this test must compile, execute, and report "PASSED". |
| -- |
| -- |
| -- CHANGE HISTORY: |
| -- 01 Feb 96 SAIC Initial release for 2.1 |
| -- 13 May 96 SAIC Incorporated reviewer comments for ACVC 2.1. |
| -- 26 Oct 96 SAIC Incorporated reviewer comments. |
| -- 26 Feb 97 PWB.CTA Moved code using null pointer to avoid errors |
| --! |
| |
| with Report; |
| with Ada.Exceptions; |
| with Interfaces.C; -- N/A => ERROR |
| with Interfaces.C.Pointers; -- N/A => ERROR |
| with Interfaces.C.Strings; -- N/A => ERROR |
| |
| procedure CXB3016 is |
| begin |
| |
| Report.Test ("CXB3016", "Check that subprograms Virtual_Length, " & |
| "Copy_Terminated_Array, and Copy_Array " & |
| "produce correct results"); |
| |
| Test_Block: |
| declare |
| |
| use Ada.Exceptions; |
| use Interfaces.C.Strings; |
| |
| use type Interfaces.C.char, |
| Interfaces.C.char_array, |
| Interfaces.C.ptrdiff_t, |
| Interfaces.C.short, |
| Interfaces.C.size_t; |
| |
| TC_char : Interfaces.C.char := 'a'; |
| TC_ptrdiff_t : Interfaces.C.ptrdiff_t; |
| TC_Short : Interfaces.C.short := 0; |
| Min_Array_Size : Interfaces.C.size_t := 0; |
| Max_Array_Size : Interfaces.C.size_t := 20; |
| Short_Terminator : Interfaces.C.short := Interfaces.C.short'Last; |
| Alphabet : constant String := "abcdefghijklmnopqrstuvwxyz"; |
| Blank_String : constant String := " "; |
| |
| type Short_Array_Type is |
| array (Interfaces.C.size_t range <>) of aliased Interfaces.C.short; |
| |
| Ch_Array : Interfaces.C.char_array |
| (0..Interfaces.C.size_t(Alphabet'Length)) := |
| Interfaces.C.To_C(Alphabet, True); |
| |
| TC_Ch_Array : Interfaces.C.char_array |
| (0..Interfaces.C.size_t(Blank_String'Length)) := |
| Interfaces.C.To_C(Blank_String, True); |
| |
| Short_Array : Short_Array_Type(Min_Array_Size..Max_Array_Size); |
| TC_Short_Array : Short_Array_Type(Min_Array_Size..Max_Array_Size); |
| |
| |
| package Char_Pointers is new |
| Interfaces.C.Pointers (Index => Interfaces.C.size_t, |
| Element => Interfaces.C.char, |
| Element_Array => Interfaces.C.char_array, |
| Default_Terminator => Interfaces.C.nul); |
| |
| package Short_Pointers is new |
| Interfaces.C.Pointers (Index => Interfaces.C.size_t, |
| Element => Interfaces.C.short, |
| Element_Array => Short_Array_Type, |
| Default_Terminator => Short_Terminator); |
| |
| use Short_Pointers, Char_Pointers; |
| |
| Short_Ptr : Short_Pointers.Pointer := Short_Array(0)'Access; |
| TC_Short_Ptr : Short_Pointers.Pointer := TC_Short_Array(0)'Access; |
| Char_Ptr : Char_Pointers.Pointer := Ch_Array(0)'Access; |
| TC_Char_Ptr : Char_Pointers.Pointer := TC_Ch_Array(0)'Access; |
| |
| begin |
| |
| -- Provide initial values for the array that holds short int values. |
| |
| for i in Min_Array_Size..Max_Array_Size loop |
| Short_Array(i) := Interfaces.C.short(i); |
| TC_Short_Array(i) := 100; |
| end loop; |
| |
| -- Set the final element of the short array object to be the "terminator" |
| -- element used in the instantiation above. |
| |
| Short_Array(Max_Array_Size) := Short_Terminator; |
| |
| -- Check starting pointer positions. |
| |
| if Short_Ptr.all /= 0 or |
| Char_Ptr.all /= Ch_Array(0) |
| then |
| Report.Failed("Incorrect initial value for the first " & |
| "Char_Array or Short_Array values"); |
| end if; |
| |
| |
| |
| -- Check that function Virtual_Length returns the number of elements |
| -- in the array referenced by the Pointer parameter Ref, up to (but |
| -- not including) the (first) instance of the element specified in |
| -- the Terminator parameter. |
| |
| TC_char := 'j'; |
| |
| TC_ptrdiff_t := Char_Pointers.Virtual_Length(Ref => Char_Ptr, |
| Terminator => TC_char); |
| if TC_ptrdiff_t /= 9 then |
| Report.Failed("Incorrect result from function Virtual_Length " & |
| "with Char_ptr parameter - 1"); |
| end if; |
| |
| TC_char := Interfaces.C.nul; |
| |
| TC_ptrdiff_t := Char_Pointers.Virtual_Length(Char_Ptr, |
| Terminator => TC_char); |
| if TC_ptrdiff_t /= Interfaces.C.ptrdiff_t(Alphabet'Length) then |
| Report.Failed("Incorrect result from function Virtual_Length " & |
| "with Char_ptr parameter - 2"); |
| end if; |
| |
| TC_Short := 10; |
| |
| TC_ptrdiff_t := Short_Pointers.Virtual_Length(Short_Ptr, TC_Short); |
| |
| if TC_ptrdiff_t /= 10 then |
| Report.Failed("Incorrect result from function Virtual_Length " & |
| "with Short_ptr parameter - 1"); |
| end if; |
| |
| -- Replace an element of the Short_Array with the element used as the |
| -- terminator of the entire array; now there are two occurrences of the |
| -- terminator element in the array. The call to Virtual_Length should |
| -- return the number of array elements prior to the first terminator. |
| |
| Short_Array(5) := Short_Terminator; |
| |
| if Short_Pointers.Virtual_Length(Short_Ptr, Short_Terminator) /= 5 |
| then |
| Report.Failed("Incorrect result from function Virtual_Length " & |
| "with Short_ptr parameter - 2"); |
| end if; |
| |
| |
| |
| -- Check that the procedure Copy_Terminated_Array copies the array of |
| -- elements referenced by Pointer parameter Source, into the array |
| -- pointed to by parameter Target, based on which of the following |
| -- two scenarios occurs first: |
| -- 1) copying the Terminator element, or |
| -- 2) copying the number of elements specified in parameter Limit. |
| -- Note: Terminator element must be copied to Target, as well as |
| -- all array elements prior to the terminator element. |
| |
| if TC_Ch_Array = Ch_Array then |
| Report.Failed("The two char arrays are equivalent prior to the " & |
| "call to Copy_Terminated_Array - 1"); |
| end if; |
| |
| |
| -- Case 1: Copying the Terminator Element. (Default terminator) |
| |
| Char_Pointers.Copy_Terminated_Array(Source => Char_Ptr, |
| Target => TC_Char_Ptr); |
| |
| if TC_Ch_Array /= Ch_Array then |
| Report.Failed("The two char arrays are not equal following the " & |
| "call to Copy_Terminated_Array, case of copying " & |
| "the Terminator Element, using default terminator"); |
| end if; |
| |
| -- Reset the Target Pointer array. |
| |
| TC_Ch_Array := Interfaces.C.To_C(Blank_String, True); |
| TC_Char_Ptr := TC_Ch_Array(0)'Access; |
| |
| if TC_Ch_Array = Ch_Array then |
| Report.Failed("The two char arrays are equivalent prior to the " & |
| "call to Copy_Terminated_Array - 2"); |
| end if; |
| |
| |
| -- Case 2: Copying the Terminator Element. (Non-Default terminator) |
| |
| TC_char := 'b'; -- Second char in char_array pointed to by Char_Ptr |
| Char_Pointers.Copy_Terminated_Array(Source => Char_Ptr, |
| Target => TC_Char_Ptr, |
| Terminator => TC_char); |
| |
| if TC_Ch_Array(0) /= Ch_Array(0) or -- Initial value modified. |
| TC_Ch_Array(1) /= Ch_Array(1) or -- Initial value modified. |
| TC_Ch_Array(2) = Ch_Array(2) or -- Initial value not modified. |
| TC_Ch_Array(5) = Ch_Array(5) or -- Initial value not modified. |
| TC_Ch_Array(15) = Ch_Array(15) or -- Initial value not modified. |
| TC_Ch_Array(25) = Ch_Array(25) -- Initial value not modified. |
| then |
| Report.Failed("The appropriate portions of the two char arrays " & |
| "are not equal following the call to " & |
| "Copy_Terminated_Array, case of copying the " & |
| "Terminator Element, using non-default terminator"); |
| end if; |
| |
| |
| if TC_Short_Array = Short_Array then |
| Report.Failed("The two short int arrays are equivalent prior " & |
| "to the call to Copy_Terminated_Array - 1"); |
| end if; |
| |
| Short_Pointers.Copy_Terminated_Array(Source => Short_Ptr, |
| Target => TC_Short_Ptr, |
| Terminator => 2); |
| |
| if TC_Short_Array(0) /= Short_Array(0) or |
| TC_Short_Array(1) /= Short_Array(1) or |
| TC_Short_Array(2) /= Short_Array(2) or |
| TC_Short_Array(3) /= 100 -- Initial value not modified. |
| then |
| Report.Failed("The appropriate portions of the two short int " & |
| "arrays are not equal following the call to " & |
| "Copy_Terminated_Array, case of copying the " & |
| "Terminator Element, using non-default terminator"); |
| end if; |
| |
| |
| -- Case 3: Copying the number of elements specified in parameter Limit. |
| |
| if TC_Short_Array = Short_Array then |
| Report.Failed("The two short int arrays are equivalent prior " & |
| "to the call to Copy_Terminated_Array - 2"); |
| end if; |
| |
| TC_ptrdiff_t := 5; |
| |
| Short_Pointers.Copy_Terminated_Array(Source => Short_Ptr, |
| Target => TC_Short_Ptr, |
| Limit => TC_ptrdiff_t, |
| Terminator => Short_Terminator); |
| |
| if TC_Short_Array(0) /= Short_Array(0) or |
| TC_Short_Array(1) /= Short_Array(1) or |
| TC_Short_Array(2) /= Short_Array(2) or |
| TC_Short_Array(3) /= Short_Array(3) or |
| TC_Short_Array(4) /= Short_Array(4) or |
| TC_Short_Array(5) /= 100 -- Initial value not modified. |
| then |
| Report.Failed("The appropriate portions of the two Short arrays " & |
| "are not equal following the call to " & |
| "Copy_Terminated_Array, case of copying the number " & |
| "of elements specified in parameter Limit"); |
| end if; |
| |
| |
| -- Case 4: Copying the number of elements specified in parameter Limit, |
| -- which also happens to be the number of elements up to and |
| -- including the first terminator. |
| |
| -- Reset initial values for the array that holds short int values. |
| |
| for i in Min_Array_Size..Max_Array_Size loop |
| Short_Array(i) := Interfaces.C.short(i); |
| TC_Short_Array(i) := 100; |
| end loop; |
| |
| if TC_Short_Array = Short_Array then |
| Report.Failed("The two short int arrays are equivalent prior " & |
| "to the call to Copy_Terminated_Array - 3"); |
| end if; |
| |
| TC_ptrdiff_t := 3; -- Specifies three elements to be copied. |
| Short_Terminator := 2; -- Value held in Short_Array third element, |
| -- will serve as the "terminator" element. |
| |
| Short_Pointers.Copy_Terminated_Array(Source => Short_Ptr, |
| Target => TC_Short_Ptr, |
| Limit => TC_ptrdiff_t, |
| Terminator => Short_Terminator); |
| |
| if TC_Short_Array(0) /= Short_Array(0) or -- First element copied. |
| TC_Short_Array(1) /= Short_Array(1) or -- Second element copied. |
| TC_Short_Array(2) /= Short_Array(2) or -- Third element copied. |
| TC_Short_Array(3) /= 100 -- Initial value of fourth element |
| then -- not modified. |
| Report.Failed("The appropriate portions of the two Short arrays " & |
| "are not equal following the call to " & |
| "Copy_Terminated_Array, case of copying the number " & |
| "of elements specified in parameter " & |
| "Limit, which also happens to be the number of " & |
| "elements up to and including the first terminator"); |
| end if; |
| |
| |
| |
| -- Check that procedure Copy_Terminated_Array will propagate |
| -- Dereference_Error if either the Source or Target parameter is null. |
| |
| Char_Ptr := null; |
| begin |
| Char_Pointers.Copy_Terminated_Array(Char_Ptr, TC_Char_Ptr); |
| Report.Failed("Dereference_Error not raised by call to " & |
| "Copy_Terminated_Array with null Source parameter"); |
| if TC_Char_Ptr = null then -- To avoid optimization. |
| Report.Comment("This should never be printed"); |
| end if; |
| exception |
| when Dereference_Error => null; -- OK, expected exception. |
| when others => |
| Report.Failed("Incorrect exception raised by call to " & |
| "Copy_Terminated_Array with null Source parameter"); |
| end; |
| |
| TC_Short_Ptr := null; |
| begin |
| Short_Pointers.Copy_Terminated_Array(Short_Ptr, TC_Short_Ptr); |
| Report.Failed("Dereference_Error not raised by call to " & |
| "Copy_Terminated_Array with null Target parameter"); |
| if Short_Ptr = null then -- To avoid optimization. |
| Report.Comment("This should never be printed"); |
| end if; |
| exception |
| when Dereference_Error => null; -- OK, expected exception. |
| when others => |
| Report.Failed("Incorrect exception raised by call to " & |
| "Copy_Terminated_Array with null Target parameter"); |
| end; |
| |
| |
| |
| -- Check that the procedure Copy_Array will copy the array of |
| -- elements of length specified in parameter Length, referenced by |
| -- the Pointer parameter Source, into the array pointed to by |
| -- parameter Target. |
| |
| -- Reinitialize Target arrays prior to test cases below. |
| |
| TC_Ch_Array := Interfaces.C.To_C(Blank_String, True); |
| |
| for i in Min_Array_Size..Max_Array_Size loop |
| TC_Short_Array(i) := 100; |
| end loop; |
| |
| Char_Ptr := Ch_Array(0)'Access; |
| TC_Char_Ptr := TC_Ch_Array(0)'Access; |
| Short_Ptr := Short_Array(0)'Access; |
| TC_Short_Ptr := TC_Short_Array(0)'Access; |
| |
| TC_ptrdiff_t := 4; |
| |
| Char_Pointers.Copy_Array(Source => Char_Ptr, |
| Target => TC_Char_Ptr, |
| Length => TC_ptrdiff_t); |
| |
| if TC_Ch_Array(0) /= Ch_Array(0) or |
| TC_Ch_Array(1) /= Ch_Array(1) or |
| TC_Ch_Array(2) /= Ch_Array(2) or |
| TC_Ch_Array(3) /= Ch_Array(3) or |
| TC_Ch_Array(4) = Ch_Array(4) |
| then |
| Report.Failed("Incorrect result from Copy_Array when using " & |
| "char pointer arguments, partial array copied"); |
| end if; |
| |
| |
| TC_ptrdiff_t := Interfaces.C.ptrdiff_t(Max_Array_Size) + 1; |
| |
| Short_Pointers.Copy_Array(Short_Ptr, TC_Short_Ptr, TC_ptrdiff_t); |
| |
| if TC_Short_Array /= Short_Array then |
| Report.Failed("Incorrect result from Copy_Array when using Short " & |
| "pointer arguments, entire array copied"); |
| end if; |
| |
| |
| |
| -- Check that procedure Copy_Array will propagate Dereference_Error |
| -- if either the Source or Target parameter is null. |
| |
| Char_Ptr := null; |
| begin |
| Char_Pointers.Copy_Array(Char_Ptr, TC_Char_Ptr, TC_ptrdiff_t); |
| Report.Failed("Dereference_Error not raised by call to " & |
| "Copy_Array with null Source parameter"); |
| if TC_Char_Ptr = null then -- To avoid optimization. |
| Report.Comment("This should never be printed"); |
| end if; |
| exception |
| when Dereference_Error => null; -- OK, expected exception. |
| when others => |
| Report.Failed("Incorrect exception raised by call to " & |
| "Copy_Array with null Source parameter"); |
| end; |
| |
| TC_Short_Ptr := null; |
| begin |
| Short_Pointers.Copy_Array(Short_Ptr, TC_Short_Ptr, TC_ptrdiff_t); |
| Report.Failed("Dereference_Error not raised by call to " & |
| "Copy_Array with null Target parameter"); |
| if Short_Ptr = null then -- To avoid optimization. |
| Report.Comment("This should never be printed"); |
| end if; |
| exception |
| when Dereference_Error => null; -- OK, expected exception. |
| when others => |
| Report.Failed("Incorrect exception raised by call to " & |
| "Copy_Array with null Target parameter"); |
| end; |
| |
| |
| -- Check that function Virtual_Length will propagate Dereference_Error |
| -- if the Source parameter is null. |
| |
| Char_Ptr := null; |
| begin |
| TC_ptrdiff_t := Char_Pointers.Virtual_Length(Char_Ptr, |
| Terminator => TC_char); |
| Report.Failed("Dereference_Error not raised by call to " & |
| "Virtual_Length with null Source parameter"); |
| if TC_ptrdiff_t = 100 then -- To avoid optimization. |
| Report.Comment("This should never be printed"); |
| end if; |
| exception |
| when Dereference_Error => null; -- OK, expected exception. |
| when others => |
| Report.Failed("Incorrect exception raised by call to " & |
| "Virtual_Length with null Source parameter"); |
| end; |
| |
| |
| 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 CXB3016; |