-- CXA4024.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_Ranges, To_Domain, and To_Range are -- available in the package Ada.Strings.Maps, and that they produce -- correct results based on the Character_Set/Character_Mapping input -- provided. -- -- TEST DESCRIPTION: -- This test examines the operation of four functions from within the -- Ada.Strings.Maps package. A variety of Character_Sequence, -- Character_Set, and Character_Mapping objects are created and -- initialized for use with these functions. In each subtest of -- function operation, specific inputs are provided to the functions as -- input parameters, and the results are evaluated against expected -- values. Wherever appropriate, additional characteristics of the -- function results are verified against the prescribed result -- characteristics. -- -- -- CHANGE HISTORY: -- 03 Feb 95 SAIC Initial prerelease version -- 10 Mar 95 SAIC Incorporated reviewer comments. -- 15 Apr 96 SAIC Incorporated reviewer comments for ACVC 2.1. -- 05 Oct 96 SAIC Incorporated reviewer comments for ACVC 2.1. -- --! with Ada.Strings.Maps; with Ada.Strings.Maps.Constants; with Ada.Characters.Latin_1; with Report; procedure CXA4024 is begin Report.Test ("CXA4024", "Check that the function ""-"", To_Ranges, " & "To_Domain, and To_Range are available in " & "the package Ada.Strings.Maps, and that " & "they produce correct results"); Test_Block: declare use Ada.Strings, Ada.Strings.Maps; use type Maps.Character_Set; -- To allow logical set operator -- infix notation. package ACL1 renames Ada.Characters.Latin_1; MidPoint_Letter : constant := 13; Last_Letter : constant := 26; Vowels : constant Maps.Character_Sequence := "aeiou"; Quasi_Vowel : constant Character := 'y'; Alphabet : Maps.Character_Sequence (1..Last_Letter); Half_Alphabet : Maps.Character_Sequence (1..MidPoint_Letter); Alphabet_Set, Consonant_Set, Vowel_Set, First_Half_Set, Second_Half_Set : Maps.Character_Set; begin -- Load the alphabet strings for use in creating sets. for i in 0..12 loop Half_Alphabet(i+1) := Character'Val(Character'Pos('a') + i); end loop; for i in 0..25 loop Alphabet(i+1) := Character'Val(Character'Pos('a') + i); end loop; -- Initialize a series of Character_Set objects. Alphabet_Set := Maps.To_Set(Alphabet); Vowel_Set := Maps.To_Set(Vowels); Consonant_Set := Vowel_Set XOR Alphabet_Set; First_Half_Set := Maps.To_Set(Half_Alphabet); Second_Half_Set := Alphabet_Set XOR First_Half_Set; -- Evaluation of Set operator "-". if Consonant_Set /= "-"(Alphabet_Set, Vowel_Set) or Vowel_Set /= (Alphabet_Set - Consonant_Set) or Alphabet_Set /= Alphabet_Set - Maps.Null_Set or First_Half_Set /= "-"(Alphabet_Set, Second_Half_Set) or (Alphabet_Set - Vowel_Set) /= "AND"(Alphabet_Set, "NOT"(Vowel_Set)) then Report.Failed("Incorrect result from ""-"" operator for sets"); end if; -- Evaluation of Function "To_Ranges". declare use type Maps.Character_Range; use type Maps.Character_Ranges; Set_A_to_C : Maps.Character_Set := Maps.To_Set("ABC"); Set_J : Maps.Character_Set := Maps.To_Set("J"); Set_M_to_P : Maps.Character_Set := Maps.To_Set("MNOP"); Set_X_to_Z : Maps.Character_Set := Maps.To_Set("XYZ"); Set_Of_Five : Maps.Character_Set := Set_A_to_C OR -- Union of the Set_M_to_P OR -- five sets. Set_X_to_Z OR Set_J OR Maps.Null_Set; TC_Range_A_to_C : Maps.Character_Range := (Low => 'A', High => 'C'); TC_Range_J : Maps.Character_Range := ('J', 'J'); TC_Range_M_to_P : Maps.Character_Range := ('M', 'P'); TC_Range_X_to_Z : Maps.Character_Range := (Low => 'X', High => 'Z'); TC_Ranges : Maps.Character_Ranges (1..4) := (1 => TC_Range_A_to_C, 2 => TC_Range_J, 3 => TC_Range_M_to_P, 4 => TC_Range_X_to_Z); begin -- Based on input of a set containing four separate "spans" of -- character sequences, Function To_Ranges is required to produce -- the shortest array of contiguous ranges of Character values in -- the input set, in increasing order of Low. declare -- This Character_Ranges constant should consist of array -- components, each component being a Character_Range from Low -- to High containing the appropriate characters. Ranges_Result : constant Maps.Character_Ranges := Maps.To_Ranges(Set => Set_Of_Five); begin -- Check the structure and components of the Character_Ranges -- constant. if Ranges_Result(1) /= TC_Range_A_to_C or Ranges_Result(1).Low /= TC_Ranges(1).Low or Ranges_Result(2) /= TC_Range_J or Ranges_Result(2).High /= TC_Ranges(2).High or Ranges_Result(3) /= TC_Range_M_to_P or Ranges_Result(3).Low /= TC_Ranges(3).Low or Ranges_Result(3).High /= TC_Ranges(3).High or Ranges_Result(4) /= TC_Range_X_To_Z or Ranges_Result(4).Low /= TC_Ranges(4).Low or Ranges_Result(4).High /= TC_Ranges(4).High then Report.Failed ("Incorrect structure or components in " & "Character_Ranges constant"); end if; exception when others => Report.Failed("Exception raised using the Function To_Ranges " & "to initialize a Character_Ranges constant"); end; end; -- Evaluation of Functions To_Domain and To_Range. declare Null_Sequence : constant Maps.Character_Sequence := ""; TC_Upper_Case_Sequence : constant Maps.Character_Sequence := "ZYXWVUTSRQPONMABCDEFGHIJKL"; TC_Lower_Case_Sequence : constant Maps.Character_Sequence := "zyxwvutsrqponmabcdefghijkl"; TC_Unordered_Sequence : Maps.Character_Sequence(1..6) := "BxACzy"; TC_Upper_to_Lower_Map : Maps.Character_Mapping := Maps.To_Mapping(TC_Upper_Case_Sequence, TC_Lower_Case_Sequence); TC_Lower_to_Upper_Map : Maps.Character_Mapping := Maps.To_Mapping(TC_Lower_Case_Sequence, TC_Upper_Case_Sequence); TC_Unordered_Map : Maps.Character_Mapping := Maps.To_Mapping(TC_Unordered_Sequence, "ikglja"); begin declare TC_Domain_1 : constant Maps.Character_Sequence := Maps.To_Domain(TC_Upper_to_Lower_Map); TC_Domain_2 : constant Maps.Character_Sequence := Maps.To_Domain(TC_Lower_to_Upper_Map); TC_Domain_3 : Maps.Character_Sequence(1..6); TC_Range_1 : constant Maps.Character_Sequence := Maps.To_Range(TC_Upper_to_Lower_Map); TC_Range_2 : constant Maps.Character_Sequence := Maps.To_Range(TC_Lower_to_Upper_Map); TC_Range_3 : Maps.Character_Sequence(1..6); begin -- Function To_Domain returns the shortest Character_Sequence -- value such that each character not in the result maps to -- itself, and all characters in the result are in ascending -- order. TC_Domain_3 := Maps.To_Domain(TC_Unordered_Map); -- Check contents of result of To_Domain, must be in ascending -- order. if TC_Domain_1 /= "ABCDEFGHIJKLMNOPQRSTUVWXYZ" then Report.Failed("Incorrect result from To_Domain with " & "TC_Upper_to_Lower_Map as input"); end if; if TC_Domain_2 /= "abcdefghijklmnopqrstuvwxyz" then Report.Failed("Incorrect result from To_Domain with " & "TC_Lower_to_Upper_Map as input"); end if; if TC_Domain_3 /= "ABCxyz" then Report.Failed("Incorrect result from To_Domain with " & "an unordered mapping as input"); end if; -- The lower bound on the returned Character_Sequence value -- from To_Domain must be 1. if TC_Domain_1'First /= 1 or TC_Domain_2'First /= 1 or TC_Domain_3'First /= 1 then Report.Failed("Incorrect lower bound returned from To_Domain"); end if; -- Check contents of result of To_Range. TC_Range_3 := Maps.To_Range(TC_Unordered_Map); if TC_Range_1 /= "abcdefghijklmnopqrstuvwxyz" then Report.Failed("Incorrect result from To_Range with " & "TC_Upper_to_Lower_Map as input"); end if; if TC_Range_2 /= "ABCDEFGHIJKLMNOPQRSTUVWXYZ" then Report.Failed("Incorrect result from To_Range with " & "TC_Lower_to_Upper_Map as input"); end if; if TC_Range_3 /= "gilkaj" then Report.Failed("Incorrect result from To_Range with " & "an unordered mapping as input"); end if; -- The lower bound on the returned Character_Sequence value -- must be 1. if TC_Range_1'First /= 1 or TC_Range_2'First /= 1 or TC_Range_3'First /= 1 then Report.Failed("Incorrect lower bound returned from To_Range"); end if; -- The upper bound on the returned Character_Sequence value -- must be Map'Length. if TC_Range_1'Last /= TC_Lower_Case_Sequence'Length or TC_Range_2'Last /= TC_Upper_Case_Sequence'Length or TC_Range_3'Last /= TC_Unordered_Sequence'Length then Report.Failed("Incorrect upper bound returned from To_Range"); end if; end; -- Both function To_Domain and To_Range return the null string -- when provided the Identity character map as an input parameter. if Maps.To_Domain(Maps.Identity) /= Null_Sequence then Report.Failed("Function To_Domain did not return the null " & "string when provided the Identity map as " & "input"); end if; if Maps.To_Range(Maps.Identity) /= Null_Sequence then Report.Failed("Function To_Range did not return the null " & "string when provided the Identity map as " & "input"); end if; exception when others => Report.Failed("Exception raised during the evaluation of " & "Function To_Domain and To_Range"); end; exception when others => Report.Failed ("Exception raised in Test_Block"); end Test_Block; Report.Result; end CXA4024;