| -- CXA4019.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 Append, Count with non-Identity |
| -- maps, Index with non-Identity maps, Index with Set parameters, |
| -- Insert (function and procedure), Replace_Slice (function and |
| -- procedure), To_Bounded_Wide_String, and Translate (function and |
| -- procedure). |
| -- |
| -- TEST DESCRIPTION: |
| -- This test, in conjunction with tests CXA4017, CXA4018, and CXA4020, |
| -- 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 |
| -- 06 Nov 95 SAIC Corrected expected result string in subtest for |
| -- ACVC 2.0.1. |
| -- Moved function Dog_to_Cat_Mapping to library |
| -- level to correct accessibility problem in test. |
| -- 22 Aug 96 SAIC Corrected three subtests identified in reviewer |
| -- comments. |
| -- 17 Feb 97 PWB.CTA Corrected result strings for Translate and Insert |
| -- |
| --! |
| |
| package CXA40190 is |
| |
| -- Wide Character mapping function defined for use with specific |
| -- versions of functions Index and Count. |
| |
| function Dog_to_Cat_Mapping (From : Wide_Character) |
| return Wide_Character; |
| |
| end CXA40190; |
| |
| package body CXA40190 is |
| |
| -- Translates "dog" to "cat". |
| function Dog_to_Cat_Mapping (From : Wide_Character) |
| return Wide_Character is |
| begin |
| if From = 'd' then |
| return 'c'; |
| elsif From = 'o' then |
| return 'a'; |
| elsif From = 'g' then |
| return 't'; |
| else |
| return From; |
| end if; |
| end Dog_to_Cat_Mapping; |
| |
| end CXA40190; |
| |
| |
| with CXA40190; |
| with Report; |
| with Ada.Characters.Handling; |
| with Ada.Strings.Wide_Bounded; |
| with Ada.Strings.Wide_Maps; |
| with Ada.Strings.Wide_Maps.Wide_Constants; |
| |
| procedure CXA4019 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. |
| |
| function Equiv (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 Equiv; |
| |
| |
| function Equiv (Str : String) return Wide_String is |
| WS : Wide_String(Str'First..Str'Last); |
| begin |
| for i in Str'First..Str'Last loop |
| WS(i) := Equiv(Str(i)); |
| end loop; |
| return WS; |
| end Equiv; |
| |
| begin |
| |
| Report.Test("CXA4019", "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 |
| |
| use CXA40190; |
| |
| package AS renames Ada.Strings; |
| package ASB renames Ada.Strings.Wide_Bounded; |
| package ASWC renames Ada.Strings.Wide_Maps.Wide_Constants; |
| package Maps renames Ada.Strings.Wide_Maps; |
| |
| package B10 is new ASB.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(Equiv("abcde")); |
| FtoJ_Bnd_Str : B10.Bounded_Wide_String := |
| B10.To_Bounded_Wide_String(Equiv("fghij")); |
| AtoJ_Bnd_Str : B10.Bounded_Wide_String := |
| B10.To_Bounded_Wide_String(Equiv("abcdefghij")); |
| |
| Location : Natural := 0; |
| Total_Count : Natural := 0; |
| |
| CD_Set : Maps.Wide_Character_Set := Maps.To_Set("cd"); |
| Wide_CD_Set : Maps.Wide_Character_Set := Maps.To_Set(Equiv("cd")); |
| |
| AB_to_YZ_Map : Maps.Wide_Character_Mapping := |
| Maps.To_Mapping(From => "ab", To => "yz"); |
| |
| Wide_AB_to_YZ_Map : Maps.Wide_Character_Mapping := |
| Maps.To_Mapping(From => Equiv("ab"), |
| To => Equiv("yz")); |
| |
| CD_to_XY_Map : Maps.Wide_Character_Mapping := |
| Maps.To_Mapping(From => "cd", To => "xy"); |
| |
| Wide_CD_to_XY_Map : Maps.Wide_Character_Mapping := |
| Maps.To_Mapping(From => Equiv("cd"), |
| To => Equiv("xy")); |
| |
| |
| -- Access-to-Subprogram object defined for use with specific versions of |
| -- functions Index, Count Translate, and procedure Translate. |
| |
| Map_Ptr : Maps.Wide_Character_Mapping_Function := |
| Dog_to_Cat_Mapping'Access; |
| |
| |
| |
| begin |
| |
| -- Function To_Bounded_Wide_String with Truncation |
| -- Evaluate the function Append with parameters that will |
| -- cause the truncation of the result. |
| |
| -- Drop = Error (default case, Length_Error will be raised) |
| |
| begin |
| Test_String := |
| B10.To_Bounded_Wide_String |
| (Equiv("Much too long for this bounded wide string")); |
| Report.Failed("Length Error not raised by To_Bounded_Wide_String"); |
| exception |
| when AS.Length_Error => null; -- Expected exception raised. |
| when others => |
| Report.Failed |
| ("Incorrect exception raised by To_Bounded_Wide_String"); |
| end; |
| |
| -- Drop = Left |
| |
| Test_String := |
| B10.To_Bounded_Wide_String(Source => Equiv("abcdefghijklmn"), |
| Drop => Ada.Strings.Left); |
| |
| if Test_String /= B10.To_Bounded_Wide_String(Equiv("efghijklmn")) then |
| Report.Failed |
| ("Incorrect result from To_Bounded_Wide_String, Drop = Left"); |
| end if; |
| |
| -- Drop = Right |
| |
| Test_String := |
| B10.To_Bounded_Wide_String(Source => Equiv("abcdefghijklmn"), |
| Drop => Ada.Strings.Right); |
| |
| if not(Test_String = AtoJ_Bnd_Str) then |
| Report.Failed |
| ("Incorrect result from To_Bounded_Wide_String, Drop = Right"); |
| end if; |
| |
| |
| |
| |
| -- Function Append with Truncation |
| -- Evaluate the function Append with parameters that will |
| -- cause the truncation of the result. |
| |
| -- Drop = Error (default case, Length_Error will be raised) |
| |
| begin |
| -- Append (Bnd Str, Bnd Str); |
| Result_String := |
| B10.Append(B10.To_Bounded_Wide_String(Equiv("abcde")), |
| B10.To_Bounded_Wide_String(Equiv("fghijk"))); -- 11 char |
| Report.Failed("Length_Error not raised by Append - 1"); |
| exception |
| when AS.Length_Error => null; -- OK, correct exception raised. |
| when others => |
| Report.Failed("Incorrect exception raised by Append - 1"); |
| end; |
| |
| begin |
| -- Append (Str, Bnd Str); |
| Result_String := |
| B10.Append(B10.To_Wide_String(AtoE_Bnd_Str), |
| B10.To_Bounded_Wide_String(Equiv("fghijk")), |
| AS.Error); |
| Report.Failed("Length_Error not raised by Append - 2"); |
| exception |
| when AS.Length_Error => null; -- OK, correct exception raised. |
| when others => |
| Report.Failed("Incorrect exception raised by Append - 2"); |
| end; |
| |
| begin |
| -- Append (Bnd Str, Char); |
| Result_String := |
| B10.Append(B10.To_Bounded_Wide_String("abcdefghij"), 'k'); |
| Report.Failed("Length_Error not raised by Append - 3"); |
| exception |
| when AS.Length_Error => null; -- OK, correct exception raised. |
| when others => |
| Report.Failed("Incorrect exception raised by Append - 3"); |
| end; |
| |
| -- Drop = Left |
| |
| -- Append (Bnd Str, Bnd Str) |
| Result_String := |
| B10.Append(B10.To_Bounded_Wide_String(Equiv("abcdefgh")), -- 8 chs |
| B10.To_Bounded_Wide_String(Equiv("ijklmn")), -- 6 chs |
| Ada.Strings.Left); |
| |
| if Result_String /= |
| B10.To_Bounded_Wide_String(Equiv("efghijklmn")) -- 10 chars |
| then |
| Report.Failed("Incorrect truncation performed by Append - 4"); |
| end if; |
| |
| -- Append (Bnd Str, Str) |
| Result_String := |
| B10.Append(B10.To_Bounded_Wide_String("abcdefghij"), |
| "xyz", |
| Ada.Strings.Left); |
| |
| if Result_String /= B10.To_Bounded_Wide_String("defghijxyz") then |
| Report.Failed("Incorrect truncation performed by Append - 5"); |
| end if; |
| |
| -- Append (Char, Bnd Str) |
| |
| Result_String := |
| B10.Append(Equiv('A'), |
| B10.To_Bounded_Wide_String(Equiv("abcdefghij")), |
| Ada.Strings.Left); |
| |
| if Result_String /= B10.To_Bounded_Wide_String(Equiv("abcdefghij")) |
| then |
| Report.Failed("Incorrect truncation performed by Append - 6"); |
| end if; |
| |
| -- Drop = Right |
| |
| -- Append (Bnd Str, Bnd Str) |
| Result_String := B10.Append(FtoJ_Bnd_Str, |
| AtoJ_Bnd_Str, |
| Ada.Strings.Right); |
| |
| if Result_String /= |
| B10.To_Bounded_Wide_String(Equiv("fghijabcde")) |
| then |
| Report.Failed("Incorrect truncation performed by Append - 7"); |
| end if; |
| |
| -- Append (Str, Bnd Str) |
| Result_String := B10.Append(B10.To_Wide_String(AtoE_Bnd_Str), |
| AtoJ_Bnd_Str, |
| Ada.Strings.Right); |
| |
| if Result_String /= |
| B10.To_Bounded_Wide_String(Equiv("abcdeabcde")) |
| then |
| Report.Failed("Incorrect truncation performed by Append - 8"); |
| end if; |
| |
| -- Append (Char, Bnd Str) |
| Result_String := B10.Append(Equiv('A'), AtoJ_Bnd_Str, Ada.Strings.Right); |
| |
| if Result_String /= B10.To_Bounded_Wide_String(Equiv("Aabcdefghi")) then |
| Report.Failed("Incorrect truncation performed by Append - 9"); |
| end if; |
| |
| |
| |
| -- Function Index with non-Identity map. |
| -- Evaluate the function Index with a non-identity map |
| -- parameter which will cause mapping of the source parameter |
| -- prior to the evaluation of the index position search. |
| |
| Location := |
| B10.Index(Source => B10.To_Bounded_Wide_String("foxy fox 2"), |
| Pattern => "FOX", |
| Going => Ada.Strings.Backward, |
| Mapping => ASWC.Upper_Case_Map); |
| |
| if Location /= 6 then |
| Report.Failed("Incorrect result from Index, non-Identity map - 1"); |
| end if; |
| |
| Location := |
| B10.Index(B10.To_Bounded_Wide_String("THE QUICK "), |
| "quick", |
| Ada.Strings.Forward, |
| Ada.Strings.Wide_Maps.Wide_Constants.Lower_Case_Map); |
| |
| if Location /= 5 then |
| Report.Failed("Incorrect result from Index, non-Identity map - 2"); |
| end if; |
| |
| Location := B10.Index(Source => B10.To_Bounded_Wide_String("The the"), |
| Pattern => "the", |
| Going => Ada.Strings.Forward, |
| Mapping => ASWC.Lower_Case_Map); |
| |
| if Location /= 1 then |
| Report.Failed("Incorrect result from Index, non-Identity map - 3"); |
| end if; |
| |
| |
| |
| if B10.Index(B10.To_Bounded_Wide_String("abcd"), -- Pattern = Source |
| "abcd") /= 1 or |
| B10.Index(B10.To_Bounded_Wide_String("abc"), -- Pattern < Source |
| "abcd") /= 0 or |
| B10.Index(B10.Null_Bounded_Wide_String, -- Source = Null |
| "abc") /= 0 |
| then |
| Report.Failed("Incorrect result from Index with string patterns"); |
| end if; |
| |
| |
| |
| -- Function Index with access-to-subprogram mapping value. |
| -- Evaluate the function Index with a wide character mapping function |
| -- object that performs the mapping operation. |
| |
| Location := B10.Index(Source => B10.To_Bounded_Wide_String("My dog"), |
| Pattern => "cat", |
| Going => Ada.Strings.Forward, |
| Mapping => Map_Ptr); -- change "dog" to "cat" |
| |
| if Location /= 4 then |
| Report.Failed("Incorrect result from Index, w/map ptr - 1"); |
| end if; |
| |
| Location := B10.Index(B10.To_Bounded_Wide_String("cat or dog"), |
| "cat", |
| Ada.Strings.Backward, |
| Map_Ptr); |
| |
| if Location /= 8 then |
| Report.Failed("Incorrect result from Index, w/map ptr - 2"); |
| end if; |
| |
| if B10.Index(B10.To_Bounded_Wide_String("dog"), -- Pattern = Source |
| "cat", |
| Ada.Strings.Forward, |
| Map_Ptr) /= 1 or |
| B10.Index(B10.To_Bounded_Wide_String("dog"), -- Pattern < Source |
| "cats", |
| Ada.Strings.Backward, |
| Map_Ptr) /= 0 or |
| B10.Index(B10.Null_Bounded_Wide_String, -- Source = Null |
| "cat", |
| Ada.Strings.Forward, |
| Map_Ptr) /= 0 or |
| B10.Index(B10.To_Bounded_Wide_String("hot dog"), |
| "dog", |
| Ada.Strings.Backward, |
| Map_Ptr) /= 0 or |
| B10.Index(B10.To_Bounded_Wide_String(" cat dog "), |
| " cat", |
| Ada.Strings.Backward, |
| Map_Ptr) /= 5 or |
| B10.Index(B10.To_Bounded_Wide_String("dog CatDog"), |
| "cat", |
| Ada.Strings.Backward, |
| Map_Ptr) /= 1 or |
| B10.Index(B10.To_Bounded_Wide_String("CatandDog"), |
| "cat", |
| Ada.Strings.Forward, |
| Map_Ptr) /= 0 or |
| B10.Index(B10.To_Bounded_Wide_String("dddd"), |
| "ccccc", |
| Ada.Strings.Backward, |
| Map_Ptr) /= 0 |
| then |
| Report.Failed("Incorrect result from Index w/map ptr - 3"); |
| end if; |
| |
| |
| |
| -- Function Index (for Sets). |
| -- This version of Index uses Sets as the basis of the search. |
| |
| -- Test = Inside, Going = Forward (Default case). |
| Location := |
| B10.Index(Source => B10.To_Bounded_Wide_String(Equiv("abcdeabcde")), |
| Set => Wide_CD_Set, |
| Test => Ada.Strings.Inside, |
| Going => Ada.Strings.Forward); |
| |
| if not (Location = 3) then -- position of first 'c' equivalent in source. |
| Report.Failed("Incorrect result from Index using Sets - 1"); |
| end if; |
| |
| -- Test = Inside, Going = Backward. |
| Location := |
| B10.Index(Source => B10."&"(AtoE_Bnd_Str, AtoE_Bnd_Str), |
| Set => Wide_CD_Set, |
| Test => Ada.Strings.Inside, |
| Going => Ada.Strings.Backward); |
| |
| if not (Location = 9) then -- position of last 'd' in source. |
| Report.Failed("Incorrect result from Index using Sets - 2"); |
| end if; |
| |
| -- Test = Outside, Going = Forward. |
| Location := B10.Index(B10.To_Bounded_Wide_String("deddacd"), |
| CD_Set, |
| Test => Ada.Strings.Outside, |
| Going => Ada.Strings.Forward); |
| |
| if Location /= 2 then -- position of 'e' in source. |
| Report.Failed("Incorrect result from Index using Sets - 3"); |
| end if; |
| |
| -- Test = Outside, Going = Backward. |
| Location := B10.Index(B10.To_Bounded_Wide_String(Equiv("deddacd")), |
| Wide_CD_Set, |
| Ada.Strings.Outside, |
| Ada.Strings.Backward); |
| |
| if Location /= 5 then -- position of 'a', correct. |
| Report.Failed("Incorrect result from Index using Sets - 4"); |
| end if; |
| |
| if B10.Index(B10.To_Bounded_Wide_String("cd"), -- Source = Set |
| CD_Set) /= 1 or |
| B10.Index(B10.To_Bounded_Wide_String("c"), -- Source < Set |
| CD_Set) /= 1 or |
| B10.Index(B10.Null_Bounded_Wide_String, -- Source = Null |
| Wide_CD_Set) /= 0 or |
| B10.Index(AtoE_Bnd_Str, |
| Maps.To_Set('x')) /= 0 -- No match. |
| then |
| Report.Failed("Incorrect result from Index using Sets - 5"); |
| end if; |
| |
| |
| |
| -- Function Count with non-Identity mapping. |
| -- Evaluate the function Count with a non-identity map |
| -- parameter which will cause mapping of the source parameter |
| -- prior to the evaluation of the number of matching patterns. |
| |
| Total_Count := |
| B10.Count(Source => B10.To_Bounded_Wide_String("THE THE TH"), |
| Pattern => "th", |
| Mapping => ASWC.Lower_Case_Map); |
| |
| if Total_Count /= 3 then |
| Report.Failed |
| ("Incorrect result from function Count, non-Identity map - 1"); |
| end if; |
| |
| -- And a few with identity maps as well. |
| |
| if B10.Count(B10.To_Bounded_Wide_String(Equiv("ABABABABAB")), |
| Equiv("ABA"), |
| Maps.Identity) /= 2 or |
| B10.Count(B10.To_Bounded_Wide_String("ADCBADABCD"), |
| "AB", |
| Maps.To_Mapping("CD", "AB")) /= 5 or |
| B10.Count(B10.To_Bounded_Wide_String(Equiv("aaaaaaaaaa")), |
| Equiv("aaa")) /= 3 or |
| B10.Count(B10.To_Bounded_Wide_String(Equiv("XX")), |
| Equiv("XXX"), |
| Maps.Identity) /= 0 or |
| B10.Count(AtoE_Bnd_Str, -- Source = Pattern |
| Equiv("abcde")) /= 1 or |
| B10.Count(B10.Null_Bounded_Wide_String, -- Source = Null |
| " ") /= 0 |
| then |
| Report.Failed |
| ("Incorrect result from function Count, w,w/o mapping"); |
| end if; |
| |
| |
| |
| |
| |
| -- Function Count with access-to-subprogram mapping. |
| -- Evaluate the version function Count that uses an access-to-subprogram |
| -- map parameter. |
| |
| Total_Count := |
| B10.Count(Source => B10.To_Bounded_Wide_String("dogdogdo"), |
| Pattern => "ca", |
| Mapping => Map_Ptr); |
| |
| if Total_Count /= 3 then |
| Report.Failed |
| ("Incorrect result from function Count, w/map ptr - 1"); |
| end if; |
| |
| |
| if B10.Count(B10.To_Bounded_Wide_String("DdOoGgod"), |
| "c", |
| Map_Ptr) /= 2 or |
| B10.Count(B10.To_Bounded_Wide_String("dododododo"), |
| "do", |
| Map_Ptr) /= 0 or |
| B10.Count(B10.To_Bounded_Wide_String("Dog or dog"), |
| "cat", |
| Map_Ptr) /= 1 or |
| B10.Count(B10.To_Bounded_Wide_String("dddddddddd"), |
| "ccccc", |
| Map_Ptr) /= 2 or |
| B10.Count(B10.To_Bounded_Wide_String("do"), -- Source < Pattern |
| "cat", |
| Map_Ptr) /= 0 or |
| B10.Count(B10.To_Bounded_Wide_String(" dog "), -- Source = Pattern |
| " cat ", |
| Map_Ptr) /= 1 or |
| B10.Count(B10.Null_Bounded_Wide_String, -- Source = Null |
| " ", |
| Map_Ptr) /= 0 |
| then |
| Report.Failed |
| ("Incorrect result from function Count, w/map ptr - 2"); |
| end if; |
| |
| |
| |
| |
| -- Procedure Translate |
| |
| -- Partial mapping of source. |
| |
| Test_String := B10.To_Bounded_Wide_String("abcdeabcab"); |
| |
| B10.Translate(Source => Test_String, Mapping => AB_to_YZ_Map); |
| |
| if Test_String /= B10.To_Bounded_Wide_String("yzcdeyzcyz") then |
| Report.Failed("Incorrect result from procedure Translate - 1"); |
| end if; |
| |
| -- Total mapping of source. |
| |
| Test_String := B10.To_Bounded_Wide_String("abbaaababb"); |
| |
| B10.Translate(Source => Test_String, Mapping => ASWC.Upper_Case_Map); |
| |
| if Test_String /= B10.To_Bounded_Wide_String("ABBAAABABB") then |
| Report.Failed("Incorrect result from procedure Translate - 2"); |
| end if; |
| |
| -- No mapping of source. |
| |
| Test_String := B10.To_Bounded_Wide_String(Equiv("xyzsypcc")); |
| |
| B10.Translate(Source => Test_String, Mapping => Wide_AB_to_YZ_Map); |
| |
| if Test_String /= B10.To_Bounded_Wide_String(Equiv("xyzsypcc")) then |
| Report.Failed("Incorrect result from procedure Translate - 3"); |
| end if; |
| |
| -- Map > 2 characters, partial mapping. |
| |
| Test_String := B10.To_Bounded_Wide_String("opabcdelmn"); |
| |
| B10.Translate(Test_String, |
| Maps.To_Mapping("abcde", "lmnop")); |
| |
| if Test_String /= B10.To_Bounded_Wide_String("oplmnoplmn") then |
| Report.Failed("Incorrect result from procedure Translate - 4"); |
| end if; |
| |
| |
| |
| |
| -- Procedure Translate with access-to-subprogram mapping. |
| -- Use the version of Procedure Translate that takes an |
| -- access-to-subprogram parameter to perform the Source mapping. |
| |
| -- Partial mapping of source. |
| |
| Test_String := B10.To_Bounded_Wide_String("dogeatdog"); |
| |
| B10.Translate(Source => Test_String, Mapping => Map_Ptr); |
| |
| if Test_String /= B10.To_Bounded_Wide_String("cateatcat") then |
| Report.Failed |
| ("Incorrect result from procedure Translate w/map ptr - 1"); |
| end if; |
| |
| Test_String := B10.To_Bounded_Wide_String("odogcatlmn"); |
| |
| B10.Translate(Test_String, Map_Ptr); |
| |
| if Test_String /= B10.To_Bounded_Wide_String("acatcatlmn") then |
| Report.Failed |
| ("Incorrect result from procedure Translate w/map ptr - 2"); |
| end if; |
| |
| |
| -- Total mapping of source. |
| |
| Test_String := B10.To_Bounded_Wide_String("gggooooddd"); |
| |
| B10.Translate(Source => Test_String, Mapping => Map_Ptr); |
| |
| if Test_String /= B10.To_Bounded_Wide_String("tttaaaaccc") then |
| Report.Failed |
| ("Incorrect result from procedure Translate w/map ptr- 3"); |
| end if; |
| |
| -- No mapping of source. |
| |
| Test_String := B10.To_Bounded_Wide_String(" DOG cat "); |
| |
| B10.Translate(Source => Test_String, Mapping => Map_Ptr); |
| |
| if Test_String /= B10.To_Bounded_Wide_String(" DOG cat ") then |
| Report.Failed |
| ("Incorrect result from procedure Translate w/map ptr - 4"); |
| end if; |
| |
| Test_String := B10.Null_Bounded_Wide_String; |
| |
| B10.Translate(Source => Test_String, Mapping => Map_Ptr); |
| |
| if Test_String /= B10.To_Bounded_Wide_String("") then |
| Report.Failed |
| ("Incorrect result from procedure Translate w/map ptr - 5"); |
| end if; |
| |
| |
| |
| |
| -- Function Translate with access-to-subprogram mapping. |
| -- Use the version of Function Translate that takes an |
| -- access-to-subprogram parameter to perform the Source mapping. |
| |
| -- Partial mapping of source. |
| |
| if B10.Translate(Source => B10.To_Bounded_Wide_String("cateatdog"), |
| Mapping => Map_Ptr) /= |
| B10.To_Bounded_Wide_String("cateatcat") |
| then |
| Report.Failed |
| ("Incorrect result from function Translate w/map ptr - 1"); |
| end if; |
| |
| if B10.Translate(B10.To_Bounded_Wide_String("cadogtac"), |
| Map_Ptr) /= |
| B10.To_Bounded_Wide_String("cacattac") |
| then |
| Report.Failed |
| ("Incorrect result from function Translate w/map ptr - 2"); |
| end if; |
| |
| -- Total mapping of source. |
| |
| if B10.Translate(Source => B10.To_Bounded_Wide_String("dogodggdo"), |
| Mapping => Map_Ptr) /= |
| B10.To_Bounded_Wide_String("catacttca") |
| then |
| Report.Failed |
| ("Incorrect result from function Translate w/map ptr- 3"); |
| end if; |
| |
| -- No mapping of source. |
| |
| if B10.Translate(Source => B10.To_Bounded_Wide_String(" DOG cat "), |
| Mapping => Map_Ptr) /= |
| B10.To_Bounded_Wide_String(" DOG cat ") |
| then |
| Report.Failed |
| ("Incorrect result from function Translate w/map ptr - 4"); |
| end if; |
| |
| if B10.Translate(B10.To_Bounded_Wide_String("d "), Map_Ptr) /= |
| B10.To_Bounded_Wide_String("c ") or |
| B10.Translate(B10.To_Bounded_Wide_String(" god"), Map_Ptr) /= |
| B10.To_Bounded_Wide_String(" tac") or |
| B10.Translate(B10.To_Bounded_Wide_String("d o g D og"), Map_Ptr) /= |
| B10.To_Bounded_Wide_String("c a t D at") or |
| B10.Translate(B10.To_Bounded_Wide_String(" "), Map_Ptr) /= |
| B10.To_Bounded_Wide_String(" ") or |
| B10.Translate(B10.To_Bounded_Wide_String("dddddddddd"), Map_Ptr) /= |
| B10.To_Bounded_Wide_String("cccccccccc") |
| then |
| Report.Failed |
| ("Incorrect result from function Translate w/map ptr - 5"); |
| end if; |
| |
| if B10.Translate(Source => B10.Null_Bounded_Wide_String, |
| Mapping => Map_Ptr) /= |
| B10.To_Bounded_Wide_String("") |
| then |
| Report.Failed |
| ("Incorrect result from function Translate w/map ptr - 6"); |
| end if; |
| |
| |
| |
| |
| -- Function Replace_Slice |
| -- Evaluate function Replace_Slice with |
| -- a variety of Truncation options. |
| |
| -- Drop = Error (Default) |
| |
| begin |
| Test_String := AtoJ_Bnd_Str; |
| Result_String := |
| B10.Replace_Slice(Source => Test_String, |
| Low => 3, |
| High => 5, -- 3-5, 3 chars. |
| By => Equiv("xxxxxx")); -- more than 3. |
| Report.Failed("Length_Error not raised by Function Replace_Slice"); |
| exception |
| when AS.Length_Error => null; -- Correct exception raised. |
| when others => |
| Report.Failed |
| ("Incorrect exception raised by Function Replace_Slice"); |
| end; |
| |
| -- Drop = Left |
| |
| Result_String := |
| B10.Replace_Slice(Source => Test_String, |
| Low => 7, |
| High => 10, -- 7-10, 4 chars. |
| By => Equiv("xxxxxx"), -- 6 chars. |
| Drop => Ada.Strings.Left); |
| |
| if Result_String /= |
| B10.To_Bounded_Wide_String(Equiv("cdefxxxxxx")) -- drop a,b |
| then |
| Report.Failed |
| ("Incorrect result from Function Replace Slice, Drop = Left"); |
| end if; |
| |
| -- Drop = Right |
| |
| Result_String := |
| B10.Replace_Slice(Source => Test_String, |
| Low => 2, |
| High => 5, -- 2-5, 4 chars. |
| By => Equiv("xxxxxx"), -- 6 chars. |
| Drop => Ada.Strings.Right); |
| |
| if Result_String /= |
| B10.To_Bounded_Wide_String(Equiv("axxxxxxfgh")) -- drop i,j |
| then |
| Report.Failed |
| ("Incorrect result from Function Replace Slice, Drop = Right"); |
| end if; |
| |
| -- Low = High = Source'Last, "By" length = 1. |
| |
| if B10.Replace_Slice(AtoE_Bnd_Str, |
| B10.To_Wide_String(AtoE_Bnd_Str)'Last, |
| B10.To_Wide_String(AtoE_Bnd_Str)'Last, |
| Equiv("X"), |
| Ada.Strings.Error) /= |
| B10.To_Bounded_Wide_String(Equiv("abcdX")) |
| then |
| Report.Failed("Incorrect result from Function Replace_Slice"); |
| end if; |
| |
| -- Index_Error raised when High < Source'First - 1. |
| begin |
| Test_String := |
| B10.Replace_Slice(AtoE_Bnd_Str, |
| B10.To_Wide_String(AtoE_Bnd_Str)'First, |
| B10.To_Wide_String(AtoE_Bnd_Str)'First - 2, |
| Equiv("hijklm")); |
| Report.Failed("Index_Error not raised by Function Replace_Slice"); |
| exception |
| when AS.Index_Error => null; -- OK, expected exception |
| when Constraint_Error => null; -- Also OK, since RM is not clear |
| when others => |
| Report.Failed |
| ("Incorrect exception raised by Function Replace_Slice"); |
| end; |
| |
| |
| |
| -- Procedure Replace_Slice |
| -- Evaluate procedure Replace_Slice with |
| -- a variety of Truncation options. |
| |
| -- Drop = Error (Default) |
| |
| begin |
| Test_String := AtoJ_Bnd_Str; |
| B10.Replace_Slice(Source => Test_String, |
| Low => 3, |
| High => 5, -- 3-5, 3 chars. |
| By => Equiv("xxxxxx")); -- more than 3. |
| Report.Failed("Length_Error not raised by Procedure Replace_Slice"); |
| exception |
| when AS.Length_Error => null; -- Correct exception raised. |
| when others => |
| Report.Failed |
| ("Incorrect exception raised by Procedure Replace_Slice"); |
| end; |
| |
| -- Drop = Left |
| |
| Test_String := AtoJ_Bnd_Str; |
| B10.Replace_Slice(Source => Test_String, |
| Low => 7, |
| High => 9, -- 7-9, 3 chars. |
| By => Equiv("xxxxx"), -- 5 chars. |
| Drop => Ada.Strings.Left); |
| |
| if Test_String /= |
| B10.To_Bounded_Wide_String(Equiv("cdefxxxxxj")) -- drop a,b |
| then |
| Report.Failed |
| ("Incorrect result from Procedure Replace Slice, Drop = Left"); |
| end if; |
| |
| -- Drop = Right |
| |
| Test_String := AtoJ_Bnd_Str; |
| B10.Replace_Slice(Source => Test_String, |
| Low => 1, |
| High => 3, -- 1-3, 3chars. |
| By => Equiv("xxxx"), -- 4 chars. |
| Drop => Ada.Strings.Right); |
| |
| if Test_String /= |
| B10.To_Bounded_Wide_String(Equiv("xxxxdefghi")) -- drop j |
| then |
| Report.Failed |
| ("Incorrect result from Procedure Replace Slice, Drop = Right"); |
| end if; |
| |
| -- High = Source'First, Low > High (Insert before Low). |
| |
| Test_String := AtoE_Bnd_Str; |
| B10.Replace_Slice(Source => Test_String, |
| Low => B10.To_Wide_String(Test_String)'Last, |
| High => B10.To_Wide_String(Test_String)'First, |
| By => Equiv("XXXX"), -- 4 chars. |
| Drop => Ada.Strings.Right); |
| |
| if Test_String /= B10.To_Bounded_Wide_String(Equiv("abcdXXXXe")) then |
| Report.Failed |
| ("Incorrect result from Procedure Replace Slice"); |
| end if; |
| |
| |
| |
| |
| -- Function Insert with Truncation |
| -- Drop = Error (Default). |
| |
| begin |
| Result_String := |
| B10.Insert(Source => AtoJ_Bnd_Str, -- "abcdefghij" |
| Before => 2, |
| New_Item => Equiv("xyz")); |
| Report.Failed("Length_Error not raised by Function Insert"); |
| exception |
| when AS.Length_Error => null; -- Correct exception raised. |
| when others => |
| Report.Failed("Incorrect exception raised by Function Insert"); |
| end; |
| |
| -- Drop = Left |
| |
| Result_String := |
| B10.Insert(Source => AtoJ_Bnd_Str, -- "abcdefghij" |
| Before => 5, |
| New_Item => Equiv("xyz"), -- 3 additional chars. |
| Drop => Ada.Strings.Left); |
| |
| if B10.To_Wide_String(Result_String) /= Equiv("dxyzefghij") then |
| Report.Failed("Incorrect result from Function Insert, Drop = Left"); |
| end if; |
| |
| -- Drop = Right |
| |
| Result_String := |
| B10.Insert(Source => B10.To_Bounded_Wide_String("abcdef"), |
| Before => 2, |
| New_Item => "vwxyz", -- 5 additional chars. |
| Drop => Ada.Strings.Right); |
| |
| if B10.To_Wide_String(Result_String) /= "avwxyzbcde" then -- drop f. |
| Report.Failed("Incorrect result from Function Insert, Drop = Right"); |
| end if; |
| |
| -- Additional cases. |
| |
| if B10.Insert(B10.To_Bounded_Wide_String("a"), 1, " B") /= |
| B10.To_Bounded_Wide_String(" Ba") or |
| B10.Insert(B10.Null_Bounded_Wide_String, 1, Equiv("abcde")) /= |
| AtoE_Bnd_Str or |
| B10.Insert(B10.To_Bounded_Wide_String("ab"), 2, "") /= |
| B10.To_Bounded_Wide_String("ab") |
| then |
| Report.Failed("Incorrect result from Function Insert"); |
| end if; |
| |
| |
| |
| -- Procedure Insert |
| |
| -- Drop = Error (Default). |
| begin |
| Test_String := AtoJ_Bnd_Str; |
| B10.Insert(Source => Test_String, |
| Before => 9, |
| New_Item => Equiv("wxyz"), |
| Drop => Ada.Strings.Error); |
| Report.Failed("Length_Error not raised by Procedure Insert"); |
| exception |
| when AS.Length_Error => null; -- Correct exception raised. |
| when others => |
| Report.Failed("Incorrect exception raised by Procedure Insert"); |
| end; |
| |
| -- Drop = Left |
| |
| Test_String := AtoJ_Bnd_Str; |
| B10.Insert(Source => Test_String, |
| Before => B10.Length(Test_String), -- before last char |
| New_Item => Equiv("xyz"), -- 3 additional chars. |
| Drop => Ada.Strings.Left); |
| |
| if B10.To_Wide_String(Test_String) /= Equiv("defghixyzj") then |
| Report.Failed("Incorrect result from Procedure Insert, Drop = Left"); |
| end if; |
| |
| -- Drop = Right |
| |
| Test_String := AtoJ_Bnd_Str; |
| B10.Insert(Source => Test_String, |
| Before => 4, |
| New_Item => Equiv("yz"), -- 2 additional chars. |
| Drop => Ada.Strings.Right); |
| |
| if B10.To_Wide_String(Test_String) /= Equiv("abcyzdefgh") then |
| Report.Failed |
| ("Incorrect result from Procedure Insert, Drop = Right"); |
| end if; |
| |
| -- Before = Source'First, New_Item length = 1. |
| |
| Test_String := B10.To_Bounded_Wide_String(" abc "); |
| B10.Insert(Test_String, |
| B10.To_Wide_String(Test_String)'First, |
| "Z"); |
| |
| if Test_String /= B10.To_Bounded_Wide_String("Z abc ") then |
| Report.Failed("Incorrect result from Procedure Insert"); |
| end if; |
| |
| |
| exception |
| when others => Report.Failed("Exception raised in Test_Block"); |
| end Test_Block; |
| |
| Report.Result; |
| |
| end CXA4019; |