-- CXA4020.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_Bounded -- are available, and that they produce correct results, especially under -- conditions where truncation of the result is required. Specifically, -- check the subprograms Overwrite (function and procedure), Delete, -- Function Trim (blanks), Trim (Set wide characters, function and -- procedure), Head, Tail, and Replicate (wide characters and wide -- strings). -- -- TEST DESCRIPTION: -- This test, in conjunction with tests CXA4017, CXA4018, CXA4019, -- will provide coverage of the most common usages of the functionality -- found in the Ada.Strings.Wide_Bounded package. It deals in large part -- with truncation effects and options. This test contains many small, -- specific test cases, situations that are often difficult to generate -- in large numbers in an application-based test. These cases represent -- specific usage paradigms in-the-small. -- -- -- CHANGE HISTORY: -- 06 Dec 94 SAIC ACVC 2.0 -- 22 Dec 94 SAIC Changed obsolete constant to Strings.Wide_Space. -- 13 Apr 95 SAIC Corrected certain subtest acceptance conditions. -- --! with Report; with Ada.Characters.Handling; with Ada.Strings.Wide_Bounded; with Ada.Strings.Wide_Maps; procedure CXA4020 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 parameters to simulate the use of Wide_Characters and -- Wide_Strings in actual practice. Blanks are translated to Wide_Character -- blanks and all other characters are translated into Wide_Characters with -- position values 256 greater than their (narrow) character position -- values. function Translate (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 Translate; function Translate (Str : String) return Wide_String is WS : Wide_String(Str'First..Str'Last); begin for i in Str'First..Str'Last loop WS(i) := Translate(Str(i)); end loop; return WS; end Translate; begin Report.Test("CXA4020", "Check that the subprograms defined in " & "package Ada.Strings.Wide_Bounded are " & "available, and that they produce correct " & "results, especially under conditions where " & "truncation of the result is required"); Test_Block: declare package AS renames Ada.Strings; package ASW renames Ada.Strings.Wide_Bounded; package Maps renames Ada.Strings.Wide_Maps; package B10 is new ASW.Generic_Bounded_Length(Max => 10); use type B10.Bounded_Wide_String; Result_String : B10.Bounded_Wide_String; Test_String : B10.Bounded_Wide_String; AtoE_Bnd_Str : B10.Bounded_Wide_String := B10.To_Bounded_Wide_String(Translate("abcde")); FtoJ_Bnd_Str : B10.Bounded_Wide_String := B10.To_Bounded_Wide_String(Translate("fghij")); AtoJ_Bnd_Str : B10.Bounded_Wide_String := B10.To_Bounded_Wide_String(Translate("abcdefghij")); Location : Natural := 0; Total_Count : Natural := 0; CD_Set : Maps.Wide_Character_Set := Maps.To_Set(Translate("cd")); XY_Set : Maps.Wide_Character_Set := Maps.To_Set(Translate("xy")); begin -- Function Overwrite with Truncation -- Drop = Error (Default). begin Test_String := AtoJ_Bnd_Str; Result_String := B10.Overwrite(Source => Test_String, -- "abcdefghij" Position => 9, New_Item => Translate("xyz"), Drop => AS.Error); Report.Failed("Exception not raised by Function Overwrite"); exception when AS.Length_Error => null; -- Expected exception raised. when others => Report.Failed("Incorrect exception raised by Function Overwrite"); end; -- Drop = Left Result_String := B10.Overwrite(Source => Test_String, -- "abcdefghij" Position => B10.Length(Test_String), -- 10 New_Item => Translate("xyz"), Drop => Ada.Strings.Left); if B10.To_Wide_String(Result_String) /= Translate("cdefghixyz") then -- drop a,b Report.Failed ("Incorrect result from Function Overwrite, Drop = Left"); end if; -- Drop = Right Result_String := B10.Overwrite(Test_String, -- "abcdefghij" 3, Translate("xxxyyyzzz"), Ada.Strings.Right); if B10.To_Wide_String(Result_String) /= Translate("abxxxyyyzz") then Report.Failed ("Incorrect result from Function Overwrite, Drop = Right"); end if; -- Additional cases of function Overwrite. if B10.Overwrite(B10.To_Bounded_Wide_String(Translate("a")), 1, -- Source length = 1 Translate(" abc ")) /= B10.To_Bounded_Wide_String(Translate(" abc ")) or B10.Overwrite(B10.Null_Bounded_Wide_String, -- Null source 1, Translate("abcdefghij")) /= AtoJ_Bnd_Str or B10.Overwrite(AtoE_Bnd_Str, B10.To_Wide_String(AtoE_Bnd_Str)'First, Translate(" ")) /= -- New_Item = 1 B10.To_Bounded_Wide_String(Translate(" bcde")) then Report.Failed("Incorrect result from Function Overwrite"); end if; -- Procedure Overwrite -- Correct usage, no truncation. Test_String := AtoE_Bnd_Str; -- "abcde" B10.Overwrite(Test_String, 2, Translate("xyz")); if Test_String /= B10.To_Bounded_Wide_String(Translate("axyze")) then Report.Failed("Incorrect result from Procedure Overwrite - 1"); end if; Test_String := B10.To_Bounded_Wide_String(Translate("abc")); B10.Overwrite(Test_String, 2, ""); -- New_Item is null string. if Test_String /= B10.To_Bounded_Wide_String(Translate("abc")) then Report.Failed("Incorrect result from Procedure Overwrite - 2"); end if; -- Drop = Error (Default). begin Test_String := AtoJ_Bnd_Str; B10.Overwrite(Source => Test_String, -- "abcdefghij" Position => 8, New_Item => Translate("uvwxyz")); Report.Failed("Exception not raised by Procedure Overwrite"); exception when AS.Length_Error => null; -- Expected exception raised. when others => Report.Failed("Incorrect exception raised by Procedure Overwrite"); end; -- Drop = Left Test_String := AtoJ_Bnd_Str; B10.Overwrite(Source => Test_String, -- "abcdefghij" Position => B10.Length(Test_String) - 2, -- 8 New_Item => Translate("uvwxyz"), Drop => Ada.Strings.Left); if B10.To_Wide_String(Test_String) /= Translate("defguvwxyz") then Report.Failed ("Incorrect result from Procedure Overwrite, Drop = Left"); end if; -- Drop = Right Test_String := AtoJ_Bnd_Str; B10.Overwrite(Test_String, -- "abcdefghij" 3, Translate("xxxyyyzzz"), Ada.Strings.Right); if B10.To_Wide_String(Test_String) /= Translate("abxxxyyyzz") then Report.Failed ("Incorrect result from Procedure Overwrite, Drop = Right"); end if; -- Function Delete if B10.Delete(Source => AtoJ_Bnd_Str, -- "abcdefghij" From => 3, Through => 8) /= B10."&"(B10.Head(AtoJ_Bnd_Str, 2), B10.Tail(AtoJ_Bnd_Str, 2)) or B10.Delete(AtoJ_Bnd_Str, 6, B10.Length(AtoJ_Bnd_Str)) /= AtoE_Bnd_Str or B10.Delete(AtoJ_Bnd_Str, 1, 5) /= FtoJ_Bnd_Str then Report.Failed("Incorrect result from Function Delete - 1"); end if; if B10.Delete(B10.To_Bounded_Wide_String(Translate("a")), 1, 1) /= B10.Null_Bounded_Wide_String or B10.Delete(AtoE_Bnd_Str, 5, B10.To_Wide_String(AtoE_Bnd_Str)'First) /= AtoE_Bnd_Str or B10.Delete(AtoE_Bnd_Str, B10.To_Wide_String(AtoE_Bnd_Str)'Last, B10.To_Wide_String(AtoE_Bnd_Str)'Last) /= B10.To_Bounded_Wide_String(Translate("abcd")) then Report.Failed("Incorrect result from Function Delete - 2"); end if; -- Function Trim declare Text : B10.Bounded_Wide_String := B10.To_Bounded_Wide_String(Translate("Text")); type Bnd_Array_Type is array (1..5) of B10.Bounded_Wide_String; Bnd_Array : Bnd_Array_Type := (B10.To_Bounded_Wide_String(Translate(" Text")), B10.To_Bounded_Wide_String(Translate("Text ")), B10.To_Bounded_Wide_String(Translate(" Text ")), B10.To_Bounded_Wide_String(Translate("Text Text")), B10.To_Bounded_Wide_String(Translate(" Text Text"))); begin for i in Bnd_Array_Type'Range loop case i is when 4 => if B10.Trim(Bnd_Array(i), AS.Both) /= Bnd_Array(i) then -- no change Report.Failed("Incorrect result from Function Trim - 4"); end if; when 5 => if B10.Trim(Bnd_Array(i), AS.Both) /= B10."&"(Text, B10."&"(Translate(' '), Text)) then Report.Failed("Incorrect result from Function Trim - 5"); end if; when others => if B10.Trim(Bnd_Array(i), AS.Both) /= Text then Report.Failed("Incorrect result from Function Trim - " & Integer'Image(i)); end if; end case; end loop; end; -- Function Trim using Sets -- Trim characters in sets from both sides of the bounded wide string. if B10.Trim(Source => B10.To_Bounded_Wide_String(Translate("ddabbaxx")), Left => CD_Set, Right => XY_Set) /= B10.To_Bounded_Wide_String(Translate("abba")) then Report.Failed ("Incorrect result from Fn Trim - Sets, Left & Right side - 1"); end if; -- Ensure that the characters in the set provided as the actual to -- parameter Right are not trimmed from the left side of the bounded -- wide string; likewise for the opposite side. Only "cd" trimmed -- from left side, and only "xy" trimmed from right side. if B10.Trim(B10.To_Bounded_Wide_String(Translate("cdxyabcdxy")), CD_Set, XY_Set) /= B10.To_Bounded_Wide_String(Translate("xyabcd")) then Report.Failed ("Incorrect result from Fn Trim - Sets, Left & Right side - 2"); end if; -- Ensure that characters contained in the sets are not trimmed from -- the "interior" of the bounded wide string, just the appropriate ends. if B10.Trim(B10.To_Bounded_Wide_String(Translate("cdabdxabxy")), CD_Set, XY_Set) /= B10.To_Bounded_Wide_String(Translate("abdxab")) then Report.Failed ("Incorrect result from Fn Trim - Sets, Left & Right side - 3"); end if; -- Trim characters in set from right side only. No change to Left side. if B10.Trim(B10.To_Bounded_Wide_String(Translate("abxyzddcd")), XY_Set, CD_Set) /= B10.To_Bounded_Wide_String(Translate("abxyz")) then Report.Failed ("Incorrect result from Fn Trim - Sets, Right side"); end if; -- Trim no characters on either side of the bounded string. Result_String := B10.Trim(AtoJ_Bnd_Str, CD_Set, XY_Set); if Result_String /= AtoJ_Bnd_Str then Report.Failed("Incorrect result from Fn Trim - Sets, Neither side"); end if; if B10.Trim(AtoE_Bnd_Str, Maps.Null_Set, Maps.Null_Set) /= AtoE_Bnd_Str or B10.Trim(B10.To_Bounded_Wide_String(Translate("dcddcxyyxx")), CD_Set, XY_Set) /= B10.Null_Bounded_Wide_String then Report.Failed("Incorrect result from Function Trim"); end if; -- Procedure Trim using Sets -- Trim characters in sets from both sides of the bounded wide string. Test_String := B10.To_Bounded_Wide_String(Translate("dcabbayx")); B10.Trim(Source => Test_String, Left => CD_Set, Right => XY_Set); if Test_String /= B10.To_Bounded_Wide_String(Translate("abba")) then Report.Failed ("Incorrect result from Proc Trim - Sets, Left & Right side - 1"); end if; -- Ensure that the characters in the set provided as the actual to -- parameter Right are not trimmed from the left side of the bounded -- wide string; likewise for the opposite side. Only "cd" trimmed -- from left side, and only "xy" trimmed from right side. Test_String := B10.To_Bounded_Wide_String(Translate("cdxyabcdxy")); B10.Trim(Test_String, CD_Set, XY_Set); if Test_String /= B10.To_Bounded_Wide_String(Translate("xyabcd")) then Report.Failed ("Incorrect result from Proc Trim - Sets, Left & Right side - 2"); end if; -- Ensure that characters contained in the sets are not trimmed from -- the "interior" of the bounded wide string, just the appropriate ends. Test_String := B10.To_Bounded_Wide_String(Translate("cdabdxabxy")); B10.Trim(Test_String, CD_Set, XY_Set); if not (Test_String = B10.To_Bounded_Wide_String(Translate("abdxab"))) then Report.Failed ("Incorrect result from Proc Trim - Sets, Left & Right side - 3"); end if; -- Trim characters in set from Left side only. No change to Right side. Test_String := B10.To_Bounded_Wide_String(Translate("cccdabxyz")); B10.Trim(Test_String, CD_Set, XY_Set); if Test_String /= B10.To_Bounded_Wide_String(Translate("abxyz")) then Report.Failed ("Incorrect result from Proc Trim for Sets, Left side only"); end if; -- Trim no characters on either side of the bounded wide string. Test_String := AtoJ_Bnd_Str; B10.Trim(Test_String, CD_Set, CD_Set); if Test_String /= AtoJ_Bnd_Str then Report.Failed("Incorrect result from Proc Trim-Sets, Neither side"); end if; -- Function Head with Truncation -- Drop = Error (Default). begin Result_String := B10.Head(Source => AtoJ_Bnd_Str, -- max length Count => B10.Length(AtoJ_Bnd_Str) + 1, Pad => Translate('X')); Report.Failed("Length_Error not raised by Function Head"); exception when AS.Length_Error => null; -- Expected exception raised. when others => Report.Failed("Incorrect exception raised by Function Head"); end; -- Drop = Left -- Pad characters (5) are appended to the right end of the bounded -- wide string (which is initially at its maximum length), then the -- first five characters of the intermediate result are dropped to -- conform to the maximum size limit of the bounded wide string (10). Result_String := B10.Head(B10.To_Bounded_Wide_String(Translate("ABCDEFGHIJ")), 15, Translate('x'), Ada.Strings.Left); if Result_String /= B10.To_Bounded_Wide_String(Translate("FGHIJxxxxx")) then Report.Failed("Incorrect result from Function Head, Drop = Left"); end if; -- Drop = Right -- Pad characters (6) are appended to the left end of the bounded -- wide string (which is initially at one less than its maximum length), -- then the last five characters of the intermediate result are dropped -- (which in this case are the pad characters) to conform to the -- maximum size limit of the bounded wide string (10). Result_String := B10.Head(B10.To_Bounded_Wide_String(Translate("ABCDEFGHI")), 15, Translate('x'), Ada.Strings.Right); if Result_String /= B10.To_Bounded_Wide_String(Translate("ABCDEFGHIx")) then Report.Failed("Incorrect result from Function Head, Drop = Right"); end if; -- Additional cases. if B10.Head(B10.Null_Bounded_Wide_String, 5, Translate('a')) /= B10.To_Bounded_Wide_String(Translate("aaaaa")) or B10.Head(AtoE_Bnd_Str, B10.Length(AtoE_Bnd_Str)) /= AtoE_Bnd_Str then Report.Failed("Incorrect result from Function Head"); end if; -- Function Tail with Truncation -- Drop = Error (Default Case) begin Result_String := B10.Tail(Source => AtoJ_Bnd_Str, -- max length Count => B10.Length(AtoJ_Bnd_Str) + 1, Pad => Ada.Strings.Wide_Space, Drop => Ada.Strings.Error); Report.Failed("Length_Error not raised by Function Tail"); exception when AS.Length_Error => null; -- Expected exception raised. when others => Report.Failed("Incorrect exception raised by Function Tail"); end; -- Drop = Left -- Pad characters (5) are appended to the left end of the bounded wide -- string (which is initially at two less than its maximum length), -- then the first three characters of the intermediate result (in this -- case, 3 pad characters) are dropped. Result_String := B10.Tail(B10.To_Bounded_Wide_String(Translate("ABCDEFGH")), 13, Translate('x'), Ada.Strings.Left); if Result_String /= B10.To_Bounded_Wide_String(Translate("xxABCDEFGH")) then Report.Failed("Incorrect result from Function Tail, Drop = Left"); end if; -- Drop = Right -- Pad characters (3) are appended to the left end of the bounded wide -- string (which is initially at its maximum length), then the last -- three characters of the intermediate result are dropped. Result_String := B10.Tail(B10.To_Bounded_Wide_String(Translate("ABCDEFGHIJ")), 13, Translate('x'), Ada.Strings.Right); if Result_String /= B10.To_Bounded_Wide_String(Translate("xxxABCDEFG")) then Report.Failed("Incorrect result from Function Tail, Drop = Right"); end if; -- Additional cases. if B10.Tail(B10.Null_Bounded_Wide_String, 3, Translate(' ')) /= B10.To_Bounded_Wide_String(Translate(" ")) or B10.Tail(AtoE_Bnd_Str, B10.To_Wide_String(AtoE_Bnd_Str)'First) /= B10.To_Bounded_Wide_String(Translate("e")) then Report.Failed("Incorrect result from Function Tail"); end if; -- Function Replicate (#, Char) with Truncation -- Drop = Error (Default). begin Result_String := B10.Replicate(Count => B10.Max_Length + 5, Item => Translate('A'), Drop => AS.Error); Report.Failed ("Length_Error not raised by Replicate for characters"); exception when AS.Length_Error => null; -- Expected exception raised. when others => Report.Failed ("Incorrect exception raised by Replicate for characters"); end; -- Drop = Left, Right -- Since this version of Replicate uses wide character parameters, the -- result after truncation from left or right will appear the same. -- The result will be a 10 character bounded wide string, composed of -- 10 "Item" wide characters. if B10.Replicate(Count => 20, Item => Translate('A'), Drop => Ada.Strings.Left) /= B10.Replicate(15, Translate('A'), Ada.Strings.Right) then Report.Failed("Incorrect result from Replicate for characters - 1"); end if; -- Blank-filled, 10 character bounded wide strings. if B10.Replicate(B10.Max_Length + 1, Translate(' '), Drop => Ada.Strings.Left) /= B10.Replicate(B10.Max_Length, Ada.Strings.Wide_Space) then Report.Failed("Incorrect result from Replicate for characters - 2"); end if; -- Additional cases. if B10.Replicate(0, Translate('a')) /= B10.Null_Bounded_Wide_String or B10.Replicate(1, Translate('a')) /= B10.To_Bounded_Wide_String(Translate("a")) then Report.Failed("Incorrect result from Replicate for characters - 3"); end if; -- Function Replicate (#, String) with Truncation -- Drop = Error (Default). begin Result_String := B10.Replicate(Count => 5, -- result would be 15. Item => Translate("abc")); Report.Failed ("Length_Error not raised by Replicate for wide strings"); exception when AS.Length_Error => null; -- Expected exception raised. when others => Report.Failed ("Incorrect exception raised by Replicate for wide strings"); end; -- Drop = Left Result_String := B10.Replicate(3, Translate("abcd"), Ada.Strings.Left); if Result_String /= B10.To_Bounded_Wide_String(Translate("cdabcdabcd")) then Report.Failed ("Incorrect result from Replicate for wide strings, Drop = Left"); end if; -- Drop = Right Result_String := B10.Replicate(3, Translate("abcd"), Ada.Strings.Right); if Result_String /= B10.To_Bounded_Wide_String(Translate("abcdabcdab")) then Report.Failed ("Incorrect result from Replicate for wide strings, Drop = Right"); end if; -- Additional cases. if B10.Replicate(5, Translate("X")) /= B10.To_Bounded_Wide_String(Translate("XXXXX")) or B10.Replicate(10, "") /= B10.Null_Bounded_Wide_String or B10.Replicate(0, Translate("ab")) /= B10.Null_Bounded_Wide_String then Report.Failed("Incorrect result from Replicate for wide strings"); end if; exception when others => Report.Failed("Exception raised in Test_Block"); end Test_Block; Report.Result; end CXA4020;