-- CXA4030.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 Ada.Strings.Unbounded versions of subprograms Translate -- (procedure and function), Index, and Count, which use a -- Maps.Character_Mapping_Function input parameter, produce correct -- results. -- -- TEST DESCRIPTION: -- This test examines the operation of the four subprograms contained -- in the Ada.Strings.Unbounded package that use a -- Character_Mapping_Function parameter to provide the mapping -- capability. -- Two Character_Mapping_Function objects are defined that reference -- subprograms contained in the Ada.Characters.Handling package; -- To_Lower will return the lower-case form of the character provided -- as the input parameter, To_Upper will return the upper-case form -- of the character input parameter (provided there is an upper-case -- form). -- In several instances in this test, the character handling functions -- are referenced directly in the parameter list of the subprograms -- under test, demonstrating another form of expected common usage. -- -- Results of all subprograms are compared with expected results. -- -- This test, when taken in conjunction with tests CXA4010, CXA4011, -- CXA4031, and CXA4032 will constitute a test of all the functionality -- contained in package Ada.Strings.Unbounded. This test uses a variety -- of the subprograms defined in the unbounded string package in ways -- typical of common usage. -- -- -- CHANGE HISTORY: -- 21 Feb 95 SAIC Initial prerelease version -- 21 Apr 95 SAIC Modified header commentary. -- --! with Ada.Strings.Unbounded; with Ada.Strings.Maps; with Ada.Characters.Handling; with Ada.Characters.Latin_1; with Report; procedure CXA4030 is begin Report.Test ("CXA4030", "Check that Ada.Strings.Unbounded versions " & "of subprograms Translate (procedure and " & "function), Index, and Count, which use a " & "Maps.Character_Mapping_Function input " & "parameter, produce correct results"); Test_Block: declare package Unb renames Ada.Strings.Unbounded; use type Unb.Unbounded_String; use Ada.Strings; use Ada.Characters; -- The following strings are used in examination of the Translation -- subprograms. New_Character_String : Unb.Unbounded_String := Unb.To_Unbounded_String( Latin_1.LC_A_Grave & Latin_1.LC_A_Ring & Latin_1.LC_AE_Diphthong & Latin_1.LC_C_Cedilla & Latin_1.LC_E_Acute & Latin_1.LC_I_Circumflex & Latin_1.LC_Icelandic_Eth & Latin_1.LC_N_Tilde & Latin_1.LC_O_Oblique_Stroke & Latin_1.LC_Icelandic_Thorn); TC_New_Character_String : Unb.Unbounded_String := Unb.To_Unbounded_String( Latin_1.UC_A_Grave & Latin_1.UC_A_Ring & Latin_1.UC_AE_Diphthong & Latin_1.UC_C_Cedilla & Latin_1.UC_E_Acute & Latin_1.UC_I_Circumflex & Latin_1.UC_Icelandic_Eth & Latin_1.UC_N_Tilde & Latin_1.UC_O_Oblique_Stroke & Latin_1.UC_Icelandic_Thorn); -- In this test, access objects are defined to refer to two functions -- from the Ada.Characters.Handling package. These access objects -- will be provided as parameters to the subprograms under test. -- Note: There will be several examples in this test of these character -- handling functions being referenced directly within the -- parameter list of the subprograms under test. Map_To_Lower_Case_Ptr : Maps.Character_Mapping_Function := Handling.To_Lower'Access; Map_To_Upper_Case_Ptr : Maps.Character_Mapping_Function := Handling.To_Upper'Access; begin -- Function Index, Forward direction search. -- Note: Several of the following cases use the default value -- Forward for the Going parameter. if Unb.Index(Source => Unb.To_Unbounded_String( "The library package Strings.Unbounded"), Pattern => "unb", Going => Ada.Strings.Forward, Mapping => Map_To_Lower_Case_Ptr) /= 29 or Unb.Index(Unb.To_Unbounded_String( "THE RAIN IN SPAIN FALLS MAINLY ON THE PLAIN"), "ain", Mapping => Map_To_Lower_Case_Ptr) /= 6 or Unb.Index(Unb.To_Unbounded_String("maximum number"), "um", Ada.Strings.Forward, Handling.To_Lower'Access) /= 6 or Unb.Index(Unb.To_Unbounded_String("CoMpLeTeLy MiXeD CaSe StRiNg"), "MIXED CASE STRING", Ada.Strings.Forward, Map_To_Upper_Case_Ptr) /= 12 or Unb.Index(Unb.To_Unbounded_String( "STRING WITH NO MATCHING PATTERNS"), "WITH", Mapping => Map_To_Lower_Case_Ptr) /= 0 or Unb.Index(Unb.To_Unbounded_String("THIS STRING IS IN UPPER CASE"), "IS", Ada.Strings.Forward, Handling.To_Upper'Access) /= 3 or Unb.Index(Unb.Null_Unbounded_String, "is", Mapping => Map_To_Lower_Case_Ptr) /= 0 or Unb.Index(Unb.To_Unbounded_String("AAABBBaaabbb"), "aabb", Mapping => Handling.To_Lower'Access) /= 2 then Report.Failed("Incorrect results from Function Index, going " & "in Forward direction, using a Character Mapping " & "Function parameter"); end if; -- Function Index, Backward direction search. if Unb.Index(Unb.To_Unbounded_String("Case of a Mixed Case String"), "case", Ada.Strings.Backward, Map_To_Lower_Case_Ptr) /= 17 or Unb.Index(Unb.To_Unbounded_String("Case of a Mixed Case String"), "CASE", Ada.Strings.Backward, Mapping => Map_To_Upper_Case_Ptr) /= 17 or Unb.Index(Unb.To_Unbounded_String("rain, Rain, and more RAIN"), "rain", Ada.Strings.Backward, Handling.To_Lower'Access) /= 22 or Unb.Index(Unb.To_Unbounded_String("RIGHT place, right time"), "RIGHT", Ada.Strings.Backward, Handling.To_Upper'Access) /= 14 or Unb.Index(Unb.To_Unbounded_String("WOULD MATCH BUT FOR THE CASE"), "WOULD MATCH BUT FOR THE CASE", Going => Ada.Strings.Backward, Mapping => Map_To_Lower_Case_Ptr) /= 0 then Report.Failed("Incorrect results from Function Index, going " & "in Backward direction, using a Character Mapping " & "Function parameter"); end if; -- Function Index, Pattern_Error if Pattern = Null_String declare use Unbounded; Null_String : constant String := ""; TC_Natural : Natural := 1000; begin TC_Natural := Index(To_Unbounded_String("A Valid Unbounded String"), Null_String, Going => Ada.Strings.Forward, Mapping => Handling.To_Lower'Access); Report.Failed("Pattern_Error not raised by Function Index when " & "given a null pattern string"); exception when Pattern_Error => null; -- OK, expected exception. when others => Report.Failed("Incorrect exception raised by Function Index " & "using a Character Mapping Function parameter " & "when given a null pattern string"); end; -- Function Count. if Unb.Count(Source => Unb.To_Unbounded_String("ABABABA"), Pattern => "aba", Mapping => Map_To_Lower_Case_Ptr) /= 2 or Unb.Count(Unb.To_Unbounded_String("ABABABA"), "ABA", Mapping => Map_To_Lower_Case_Ptr) /= 0 or Unb.Count(Unb.To_Unbounded_String("This IS a MISmatched issue"), "is", Handling.To_Lower'Access) /= 4 or Unb.Count(Unb.To_Unbounded_String("ABABABA"), "ABA", Map_To_Upper_Case_Ptr) /= 2 or Unb.Count(Unb.To_Unbounded_String("This IS a MISmatched issue"), "is", Mapping => Map_To_Upper_Case_Ptr) /= 0 or Unb.Count(Unb.To_Unbounded_String( "She sells sea shells by the sea shore"), "s", Handling.To_Lower'Access) /= 8 or Unb.Count(Unb.Null_Unbounded_String, "match", Map_To_Upper_Case_Ptr) /= 0 then Report.Failed("Incorrect results from Function Count, using " & "a Character Mapping Function parameter"); end if; -- Function Count, Pattern_Error if Pattern = Null_String declare use Ada.Strings.Unbounded; Null_Pattern_String : constant String := ""; TC_Natural : Natural := 1000; begin TC_Natural := Count(To_Unbounded_String("A Valid String"), Null_Pattern_String, Map_To_Lower_Case_Ptr); Report.Failed("Pattern_Error not raised by Function Count using " & "a Character Mapping Function parameter when " & "given a null pattern string"); exception when Pattern_Error => null; -- OK, expected exception. when others => Report.Failed("Incorrect exception raised by Function Count " & "using a Character Mapping Function parameter " & "when given a null pattern string"); end; -- Function Translate. if Unb.Translate(Source => Unb.To_Unbounded_String( "A Sample Mixed Case String"), Mapping => Map_To_Lower_Case_Ptr) /= Unb.To_Unbounded_String("a sample mixed case string") or Unb.Translate(Unb.To_Unbounded_String("ALL LOWER CASE"), Handling.To_Lower'Access) /= Unb.To_Unbounded_String("all lower case") or Unb.Translate(Unb.To_Unbounded_String("end with lower case"), Map_To_Lower_Case_Ptr) /= Unb.To_Unbounded_String("end with lower case") or Unb.Translate(Unb.Null_Unbounded_String, Handling.To_Lower'Access) /= Unb.Null_Unbounded_String or Unb.Translate(Unb.To_Unbounded_String("start with lower case"), Map_To_Upper_Case_Ptr) /= Unb.To_Unbounded_String("START WITH LOWER CASE") or Unb.Translate(Unb.To_Unbounded_String("ALL UPPER CASE STRING"), Handling.To_Upper'Access) /= Unb.To_Unbounded_String("ALL UPPER CASE STRING") or Unb.Translate(Unb.To_Unbounded_String( "LoTs Of MiXeD CaSe ChArAcTeRs"), Map_To_Upper_Case_Ptr) /= Unb.To_Unbounded_String("LOTS OF MIXED CASE CHARACTERS") or Unb.Translate(New_Character_String, Handling.To_Upper'Access) /= TC_New_Character_String then Report.Failed("Incorrect results from Function Translate, using " & "a Character Mapping Function parameter"); end if; -- Procedure Translate. declare use Ada.Strings.Unbounded; use Ada.Characters.Handling; Str_1 : Unbounded_String := To_Unbounded_String("AN ALL UPPER CASE STRING"); Str_2 : Unbounded_String := To_Unbounded_String("A Mixed Case String"); Str_3 : Unbounded_String := To_Unbounded_String("a string with lower case letters"); TC_Str_1 : constant Unbounded_String := Str_1; TC_Str_3 : constant Unbounded_String := Str_3; begin Translate(Source => Str_1, Mapping => Map_To_Lower_Case_Ptr); if Str_1 /= To_Unbounded_String("an all upper case string") then Report.Failed("Incorrect result from Procedure Translate - 1"); end if; Translate(Source => Str_1, Mapping => Map_To_Upper_Case_Ptr); if Str_1 /= TC_Str_1 then Report.Failed("Incorrect result from Procedure Translate - 2"); end if; Translate(Str_2, Mapping => Map_To_Lower_Case_Ptr); if Str_2 /= To_Unbounded_String("a mixed case string") then Report.Failed("Incorrect result from Procedure Translate - 3"); end if; Translate(Str_2, Mapping => To_Upper'Access); if Str_2 /= To_Unbounded_String("A MIXED CASE STRING") then Report.Failed("Incorrect result from Procedure Translate - 4"); end if; Translate(Str_3, To_Lower'Access); if Str_3 /= TC_Str_3 then Report.Failed("Incorrect result from Procedure Translate - 5"); end if; Translate(Str_3, To_Upper'Access); if Str_3 /= To_Unbounded_String("A STRING WITH LOWER CASE LETTERS") then Report.Failed("Incorrect result from Procedure Translate - 6"); end if; Translate(New_Character_String, Map_To_Upper_Case_Ptr); if New_Character_String /= TC_New_Character_String then Report.Failed("Incorrect result from Procedure Translate - 6"); end if; end; exception when others => Report.Failed ("Exception raised in Test_Block"); end Test_Block; Report.Result; end CXA4030;