1-- C95087C.ADA 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-- CHECK THAT ASSIGNMENTS TO ENTRY FORMAL PARAMETERS OF UNCONSTRAINED 26-- RECORD, PRIVATE, AND LIMITED PRIVATE TYPES WITH DEFAULT 27-- CONSTRAINTS RAISE CONSTRAINT_ERROR IF THE ACTUAL PARAMETER IS 28-- CONSTRAINED AND THE CONSTRAINT VALUES OF THE OBJECT BEING 29-- ASSIGNED TO DO NOT SATISFY THOSE OF THE ACTUAL PARAMETER. 30 31-- SUBTESTS ARE: 32-- (A) CONSTRAINED ACTUAL PARAMETERS OF RECORD TYPE. 33-- (B) CONSTRAINED ACTUAL PARAMETERS OF PRIVATE TYPE. 34-- (C) CONSTRAINED ACTUAL PARAMETERS OF LIMITED PRIVATE TYPE. 35 36-- RJW 1/15/86 37 38WITH REPORT; USE REPORT; 39PROCEDURE C95087C IS 40 41BEGIN 42 43 TEST ( "C95087C", "CHECK ASSIGNMENTS TO ENTRY FORMAL " & 44 "PARAMETERS OF UNCONSTRAINED TYPES " & 45 "(WITH DEFAULTS)" ); 46 47 -------------------------------------------------- 48 49 DECLARE -- (A) 50 51 PACKAGE PKG IS 52 53 SUBTYPE INTRANGE IS INTEGER RANGE 0..31; 54 55 TYPE RECTYPE (CONSTRAINT : INTRANGE := 15) IS 56 RECORD 57 INTFLD : INTRANGE; 58 STRFLD : STRING(1..CONSTRAINT); 59 END RECORD; 60 61 REC91,REC92,REC93 : RECTYPE(9); 62 REC_OOPS : RECTYPE(4); 63 64 TASK T IS 65 ENTRY E (REC1 : IN RECTYPE; REC2 : IN OUT RECTYPE; 66 REC3 : OUT RECTYPE); 67 END T; 68 69 END PKG; 70 71 PACKAGE BODY PKG IS 72 73 TASK BODY T IS 74 BEGIN 75 ACCEPT E (REC1 : IN RECTYPE; REC2 : IN OUT RECTYPE; 76 REC3 : OUT RECTYPE) DO 77 78 IF (NOT REC1'CONSTRAINED) OR 79 (REC1.CONSTRAINT /= IDENT_INT(9)) THEN 80 FAILED ( "CONSTRAINT ON RECORD TYPE " & 81 "IN PARAMETER NOT RECOGNIZED" ); 82 END IF; 83 84 BEGIN -- ASSIGNMENT TO IN OUT PARAMETER. 85 REC2 := REC_OOPS; 86 FAILED ( "CONSTRAINT_ERROR NOT " & 87 "RAISED - A.1" ); 88 EXCEPTION 89 WHEN CONSTRAINT_ERROR => 90 NULL; 91 WHEN OTHERS => 92 FAILED ( "WRONG EXCEPTION " & 93 "RAISED - A.1" ); 94 END; 95 96 BEGIN -- ASSIGNMENT TO OUT PARAMETER. 97 REC3 := REC_OOPS; 98 FAILED ( "CONSTRAINT_ERROR NOT " & 99 "RAISED - A.2" ); 100 EXCEPTION 101 WHEN CONSTRAINT_ERROR => 102 NULL; 103 WHEN OTHERS => 104 FAILED ( "WRONG EXCEPTION " & 105 "RAISED - A.2" ); 106 END; 107 108 END E; 109 END T; 110 111 BEGIN 112 113 REC91 := (9, 9, "123456789"); 114 REC92 := REC91; 115 REC93 := REC91; 116 117 REC_OOPS := (4, 4, "OOPS"); 118 119 END PKG; 120 121 BEGIN -- (A) 122 123 PKG.T.E (PKG.REC91, PKG.REC92, PKG.REC93); 124 125 END; -- (A) 126 127 -------------------------------------------------- 128 129 DECLARE -- (B) 130 131 PACKAGE PKG IS 132 133 SUBTYPE INTRANGE IS INTEGER RANGE 0..31; 134 135 TYPE RECTYPE (CONSTRAINT : INTRANGE := 15) IS PRIVATE; 136 137 TASK T IS 138 ENTRY E (REC1 : IN RECTYPE; REC2 : IN OUT RECTYPE; 139 REC3 : OUT RECTYPE); 140 END T; 141 142 PRIVATE 143 144 TYPE RECTYPE (CONSTRAINT : INTRANGE := 15) IS 145 RECORD 146 INTFLD : INTRANGE; 147 STRFLD : STRING(1..CONSTRAINT); 148 END RECORD; 149 END PKG; 150 151 REC91, REC92, REC93 : PKG.RECTYPE(9); 152 REC_OOPS : PKG.RECTYPE(4); 153 154 PACKAGE BODY PKG IS 155 156 TASK BODY T IS 157 BEGIN 158 ACCEPT E (REC1 : IN RECTYPE; REC2 : IN OUT RECTYPE; 159 REC3 : OUT RECTYPE) DO 160 161 IF (NOT REC1'CONSTRAINED) OR 162 (REC1.CONSTRAINT /= IDENT_INT(9)) THEN 163 FAILED ( "CONSTRAINT ON PRIVATE TYPE " & 164 "IN PARAMETER NOT RECOGNIZED" ); 165 END IF; 166 167 BEGIN -- ASSIGNMENT TO IN OUT PARAMETER. 168 REC2 := REC_OOPS; 169 FAILED ( "CONSTRAINT_ERROR NOT " & 170 "RAISED - B.1" ); 171 EXCEPTION 172 WHEN CONSTRAINT_ERROR => 173 NULL; 174 WHEN OTHERS => 175 FAILED ( "WRONG EXCEPTION " & 176 "RAISED - B.1" ); 177 END; 178 179 BEGIN -- ASSIGNMENT TO OUT PARAMETER. 180 REC3 := REC_OOPS; 181 FAILED ( "CONSTRAINT_ERROR NOT " & 182 "RAISED - B.2" ); 183 EXCEPTION 184 WHEN CONSTRAINT_ERROR => 185 NULL; 186 WHEN OTHERS => 187 FAILED ( "WRONG EXCEPTION " & 188 "RAISED - B.2" ); 189 END; 190 191 END E; 192 END T; 193 194 BEGIN 195 196 REC91 := (9, 9, "123456789"); 197 REC92 := REC91; 198 REC93 := REC91; 199 200 REC_OOPS := (4, 4, "OOPS"); 201 202 END PKG; 203 204 BEGIN -- (B) 205 206 PKG.T.E (REC91, REC92, REC93); 207 208 END; -- (B) 209 210 -------------------------------------------------- 211 212 DECLARE -- (C) 213 214 PACKAGE PKG IS 215 216 SUBTYPE INTRANGE IS INTEGER RANGE 0..31; 217 218 TYPE RECTYPE (CONSTRAINT : INTRANGE := 15) IS 219 LIMITED PRIVATE; 220 221 TASK T IS 222 ENTRY E (REC1 : IN RECTYPE; REC2 : IN OUT RECTYPE; 223 REC3 : OUT RECTYPE); 224 END T; 225 226 PRIVATE 227 228 TYPE RECTYPE (CONSTRAINT : INTRANGE := 15) IS 229 RECORD 230 INTFLD : INTRANGE; 231 STRFLD : STRING(1..CONSTRAINT); 232 END RECORD; 233 END PKG; 234 235 REC91,REC92,REC93 : PKG.RECTYPE(9); 236 REC_OOPS : PKG.RECTYPE(4); 237 238 PACKAGE BODY PKG IS 239 240 TASK BODY T IS 241 BEGIN 242 ACCEPT E (REC1 : IN RECTYPE; REC2 : IN OUT RECTYPE; 243 REC3 : OUT RECTYPE) DO 244 245 IF (NOT REC1'CONSTRAINED) OR 246 (REC1.CONSTRAINT /= 9) THEN 247 FAILED ( "CONSTRAINT ON LIMITED " & 248 "PRIVATE TYPE IN PARAMETER " & 249 "NOT RECOGNIZED" ); 250 END IF; 251 252 BEGIN -- ASSIGNMENT TO IN OUT PARAMETER. 253 REC2 := REC_OOPS; 254 FAILED ( "CONSTRAINT_ERROR NOT " & 255 "RAISED - C.1" ); 256 EXCEPTION 257 WHEN CONSTRAINT_ERROR => 258 NULL; 259 WHEN OTHERS => 260 FAILED ( "WRONG EXCEPTION " & 261 "RAISED - C.1" ); 262 END; 263 264 BEGIN -- ASSIGNMENT TO OUT PARAMETER. 265 REC3 := REC_OOPS; 266 FAILED ( "CONSTRAINT_ERROR NOT RAISED " & 267 "- C.2" ); 268 EXCEPTION 269 WHEN CONSTRAINT_ERROR => 270 NULL; 271 WHEN OTHERS => 272 FAILED ( "WRONG EXCEPTION " & 273 "RAISED - C.2" ); 274 END; 275 276 END E; 277 END T; 278 279 BEGIN 280 281 REC91 := (9, 9, "123456789"); 282 REC92 := REC91; 283 REC93 := REC91; 284 285 REC_OOPS := (4, 4, "OOPS"); 286 287 END PKG; 288 289 BEGIN -- (C) 290 291 PKG.T.E (REC91, REC92, REC93); 292 293 END; -- (C) 294 295 -------------------------------------------------- 296 297 RESULT; 298 299END C95087C; 300