diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cxa/cxa4024.a')
-rw-r--r-- | gcc/testsuite/ada/acats/tests/cxa/cxa4024.a | 350 |
1 files changed, 0 insertions, 350 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cxa/cxa4024.a b/gcc/testsuite/ada/acats/tests/cxa/cxa4024.a deleted file mode 100644 index 1b0af9ce978..00000000000 --- a/gcc/testsuite/ada/acats/tests/cxa/cxa4024.a +++ /dev/null @@ -1,350 +0,0 @@ --- 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; |