1-- CXB5002.A 2-- 3-- Grant of Unlimited Rights 4-- 5-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, 6-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 7-- unlimited rights in the software and documentation contained herein. 8-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making 9-- this public release, the Government intends to confer upon all 10-- recipients unlimited rights equal to those held by the Government. 11-- These rights include rights to use, duplicate, release or disclose the 12-- released technical data and computer software in whole or in part, in 13-- any manner and for any purpose whatsoever, and to have or permit others 14-- to do so. 15-- 16-- DISCLAIMER 17-- 18-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR 19-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 20-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE 21-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 22-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A 23-- PARTICULAR PURPOSE OF SAID MATERIAL. 24--* 25-- 26-- OBJECTIVE: 27-- Check that the Function To_Fortran with a Character parameter will 28-- return the corresponding Fortran Character_Set value. 29-- 30-- Check that the Function To_Ada with a Character_Set parameter will 31-- return the corresponding Ada Character value. 32-- 33-- Check that the Function To_Fortran with a String parameter will 34-- return the corresponding Fortran_Character value. 35-- 36-- Check that the Function To_Ada with a Fortran_Character parameter 37-- will return the corresponding Ada String value. 38-- 39-- TEST DESCRIPTION: 40-- This test checks that the functions To_Fortran and To_Ada produce 41-- the correct results, based on a variety of parameter input values. 42-- 43-- In the first series of subtests, the results of the function 44-- To_Fortran are compared against expected Character_Set type results. 45-- In the second series of subtests, the results of the function To_Ada 46-- are compared against expected String type results, and the length of 47-- the String result is also verified against the Fortran_Character type 48-- parameter. 49-- 50-- This test uses Fixed, Bounded, and Unbounded_Strings in combination 51-- with the functions under validation. 52-- 53-- This test assumes that the following characters are all included 54-- in the implementation defined type Interfaces.Fortran.Character_Set: 55-- ' ', 'a'..'z', 'A'..'Z', '1'..'9', '-', '_', '$', '#', and '*'. 56-- 57-- APPLICABILITY CRITERIA: 58-- This test is applicable to all implementations that provide 59-- package Interfaces.Fortran. If an implementation provides 60-- package Interfaces.Fortran, this test must compile, execute, and 61-- report "PASSED". 62-- 63-- This test does not apply to an implementation in which the Fortran 64-- character set ranges are not contiguous (e.g., EBCDIC). 65-- 66-- 67-- 68-- CHANGE HISTORY: 69-- 11 Mar 96 SAIC Initial release for 2.1. 70-- 10 Jun 96 SAIC Incorporated reviewer comments for ACVC 2.1. 71-- 27 Oct 96 SAIC Incorporated reviewer comments. 72-- 73--! 74 75with Ada.Characters.Latin_1; 76with Ada.Exceptions; 77with Ada.Strings.Bounded; 78with Ada.Strings.Unbounded; 79with Ada.Unchecked_Conversion; 80with Interfaces.Fortran; -- N/A => ERROR 81with Report; 82 83procedure CXB5002 is 84begin 85 86 Report.Test ("CXB5002", "Check that functions To_Fortran and To_Ada " & 87 "produce correct results"); 88 89 Test_Block: 90 declare 91 92 package ACL renames Ada.Characters.Latin_1; 93 package Bnd is new Ada.Strings.Bounded.Generic_Bounded_Length(10); 94 package Unb renames Ada.Strings.Unbounded; 95 96 use Bnd, Unb; 97 use Interfaces.Fortran; 98 use Ada.Exceptions; 99 100 Null_Fortran_Character : constant Fortran_Character := ""; 101 Fortran_Character_1 : Fortran_Character(1..1) := " "; 102 Fortran_Character_5 : Fortran_Character(1..5) := " "; 103 Fortran_Character_10 : Fortran_Character(1..10) := " "; 104 Fortran_Character_20 : Fortran_Character(1..20) := 105 " "; 106 TC_Fortran_Character_1 : Fortran_Character(1..1) := "A"; 107 TC_Fortran_Character_5 : Fortran_Character(1..5) := "ab*de"; 108 TC_Fortran_Character_10 : Fortran_Character(1..10) := "$1a2b3C4D5"; 109 TC_Fortran_Character_20 : Fortran_Character(1..20) := 110 "1234-ABCD_6789#fghij"; 111 112 Bnd_String : Bnd.Bounded_String := 113 Bnd.To_Bounded_String(" "); 114 TC_Bnd_String : Bounded_String := 115 To_Bounded_String("$1a2b3C4D5"); 116 117 Unb_String : Unb.Unbounded_String := 118 Unb.To_Unbounded_String(" "); 119 TC_Unb_String : Unbounded_String := 120 To_Unbounded_String("ab*de"); 121 122 String_1 : String(1..1) := " "; 123 String_5 : String(1..5) := " "; 124 String_10 : String(1..10) := " "; 125 String_20 : String(1..20) := " "; 126 TC_String_1 : String(1..1) := "A"; 127 TC_String_20 : String(1..20) := "1234-ABCD_6789#fghij"; 128 Null_String : constant String := ""; 129 130 Null_Character : constant Character := ACL.Nul; 131 Character_A : constant Character := Character'Val(65); 132 Character_Z : constant Character := Character'Val(90); 133 TC_Character : Character := Character'First; 134 135 Null_Character_Set : Character_Set := To_Fortran(ACL.Nul); 136 TC_Character_Set, 137 TC_Low_Character_Set, 138 TC_High_Character_Set : Character_Set := Character_Set'First; 139 140 141 -- The following procedure checks the results of function To_Ada. 142 143 procedure Check_Length (Str : in String; 144 Ftn : in Fortran_Character; 145 Num : in Natural) is 146 begin 147 if Str'Length /= Ftn'Length or 148 Str'Length /= Num 149 then 150 Report.Failed("Incorrect result from Function To_Ada " & 151 "with string length " & Integer'Image(Num)); 152 end if; 153 end Check_Length; 154 155 -- To facilitate the conversion of Character-Character_Set data, the 156 -- following functions have been instantiated. 157 158 function Character_to_Character_Set is 159 new Ada.Unchecked_Conversion(Character, Character_Set); 160 161 function Character_Set_to_Character is 162 new Ada.Unchecked_Conversion(Character_Set, Character); 163 164 begin 165 166 -- Check that the Function To_Fortran with a Character parameter 167 -- will return the corresponding Fortran Character_Set value. 168 169 for TC_Character in ACL.LC_A..ACL.LC_Z loop 170 if To_Fortran(Item => TC_Character) /= 171 Character_to_Character_Set(TC_Character) 172 then 173 Report.Failed("Incorrect result from To_Fortran with lower " & 174 "case alphabetic character input"); 175 end if; 176 end loop; 177 178 for TC_Character in Character_A..Character_Z loop 179 if To_Fortran(TC_Character) /= 180 Character_to_Character_Set(TC_Character) 181 then 182 Report.Failed("Incorrect result from To_Fortran with upper " & 183 "case alphabetic character input"); 184 end if; 185 end loop; 186 187 if To_Fortran(Null_Character) /= 188 Character_to_Character_Set(Null_Character) 189 then 190 Report.Failed 191 ("Incorrect result from To_Fortran with null character input"); 192 end if; 193 194 195 -- Check that the Function To_Ada with a Character_Set parameter 196 -- will return the corresponding Ada Character value. 197 198 TC_Low_Character_Set := Character_to_Character_Set('a'); 199 TC_High_Character_Set := Character_to_Character_Set('z'); 200 for TC_Character_Set in TC_Low_Character_Set..TC_High_Character_Set loop 201 if To_Ada(Item => TC_Character_Set) /= 202 Character_Set_to_Character(TC_Character_Set) 203 then 204 Report.Failed("Incorrect result from To_Ada with lower case " & 205 "alphabetic Character_Set input"); 206 end if; 207 end loop; 208 209 TC_Low_Character_Set := Character_to_Character_Set('A'); 210 TC_High_Character_Set := Character_to_Character_Set('Z'); 211 for TC_Character_Set in TC_Low_Character_Set..TC_High_Character_Set loop 212 if To_Ada(TC_Character_Set) /= 213 Character_Set_to_Character(TC_Character_Set) 214 then 215 Report.Failed("Incorrect result from To_Ada with upper case " & 216 "alphabetic Character_Set input"); 217 end if; 218 end loop; 219 220 if To_Ada(Character_to_Character_Set(Null_Character)) /= 221 Null_Character 222 then 223 Report.Failed("Incorrect result from To_Ada with a null " & 224 "Character_Set input"); 225 end if; 226 227 228 -- Check that the Function To_Fortran with a String parameter 229 -- will return the corresponding Fortran_Character value. 230 -- Note: The type Fortran_Character is a character array type that 231 -- corresponds to Ada type String. 232 233 Fortran_Character_1 := To_Fortran(Item => TC_String_1); 234 235 if Fortran_Character_1 /= TC_Fortran_Character_1 then 236 Report.Failed("Incorrect result from procedure To_Fortran - 1"); 237 end if; 238 239 Fortran_Character_5 := To_Fortran(To_String(TC_Unb_String)); 240 241 if Fortran_Character_5 /= TC_Fortran_Character_5 then 242 Report.Failed("Incorrect result from procedure To_Fortran - 2"); 243 end if; 244 245 Fortran_Character_10 := To_Fortran(To_String(TC_Bnd_String)); 246 247 if Fortran_Character_10 /= TC_Fortran_Character_10 then 248 Report.Failed("Incorrect result from procedure To_Fortran - 3"); 249 end if; 250 251 Fortran_Character_20 := To_Fortran(Item => TC_String_20); 252 253 if Fortran_Character_20 /= TC_Fortran_Character_20 then 254 Report.Failed("Incorrect result from procedure To_Fortran - 4"); 255 end if; 256 257 if To_Fortran(Null_String) /= Null_Fortran_Character then 258 Report.Failed("Incorrect result from procedure To_Fortran - 5"); 259 end if; 260 261 262 -- Check that the Function To_Ada with a Fortran_Character parameter 263 -- will return the corresponding Ada String value. 264 265 String_1 := To_Ada(TC_Fortran_Character_1); 266 267 if String_1 /= TC_String_1 then 268 Report.Failed("Incorrect value returned from function To_Ada - 1"); 269 end if; 270 271 Check_Length(To_Ada(TC_Fortran_Character_1), 272 TC_Fortran_Character_1, 273 Num => 1); 274 275 276 Unb_String := Unb.To_Unbounded_String(To_Ada(TC_Fortran_Character_5)); 277 278 if Unb_String /= TC_Unb_String then 279 Report.Failed("Incorrect value returned from function To_Ada - 2"); 280 end if; 281 282 Check_Length(To_Ada(TC_Fortran_Character_5), 283 TC_Fortran_Character_5, 284 Num => 5); 285 286 287 Bnd_String := Bnd.To_Bounded_String 288 (To_Ada(TC_Fortran_Character_10)); 289 290 if Bnd_String /= TC_Bnd_String then 291 Report.Failed("Incorrect value returned from function To_Ada - 3"); 292 end if; 293 294 Check_Length(To_Ada(TC_Fortran_Character_10), 295 TC_Fortran_Character_10, 296 Num => 10); 297 298 299 String_20 := To_Ada(TC_Fortran_Character_20); 300 301 if String_20 /= TC_String_20 then 302 Report.Failed("Incorrect value returned from function To_Ada - 4"); 303 end if; 304 305 Check_Length(To_Ada(TC_Fortran_Character_20), 306 TC_Fortran_Character_20, 307 Num => 20); 308 309 if To_Ada(Null_Character_Set) /= Null_Character then 310 Report.Failed("Incorrect value returned from function To_Ada - 5"); 311 end if; 312 313 314 -- Check the two functions when used in combination. 315 316 if To_Ada(Item => To_Fortran("This is a test")) /= 317 "This is a test" or 318 To_Ada(To_Fortran("1234567890abcdeFGHIJ")) /= 319 Report.Ident_Str("1234567890abcdeFGHIJ") 320 then 321 Report.Failed("Incorrect result returned when using the " & 322 "functions To_Ada and To_Fortran in combination"); 323 end if; 324 325 326 exception 327 when The_Error : others => 328 Report.Failed("The following exception was raised in the " & 329 "Test_Block: " & Exception_Name(The_Error)); 330 end Test_Block; 331 332 Report.Result; 333 334end CXB5002; 335