1-- CC3012A.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 GENERIC INSTANCES MAY BE OVERLOADED. 26 27-- CHECK THAT THEY MAY OVERLOAD PREVIOUSLY DECLARED SUBPROGRAMS AND 28-- ENUMERATION LITERALS. 29 30-- DAT 9/16/81 31-- SPS 10/19/82 32-- SPS 2/8/83 33-- PWN 11/30/94 REMOVED PART OF TEST INVALID FOR ADA 9X. 34 35 36WITH REPORT; USE REPORT; 37 38PROCEDURE CC3012A IS 39BEGIN 40 TEST ("CC3012A", "CHECK THAT GENERIC INSTANCES MAY OVERLOAD " & 41 "OTHER IDENTIFIERS"); 42 43 DECLARE 44 GENERIC 45 TYPE T IS ( <> ); 46 V : IN T; 47 PROCEDURE GP (X : IN OUT T); 48 49 GENERIC 50 TYPE T IS ( <> ); 51 FUNCTION LESS (X, Y : T) RETURN BOOLEAN; 52 53 GENERIC 54 TYPE T IS ( <> ); 55 FUNCTION PLUS (X, Y : T) RETURN T; 56 57 GENERIC 58 TYPE T IS PRIVATE; 59 Z : T; 60 FUNCTION F1 RETURN T; 61 62 TYPE DC IS NEW CHARACTER RANGE IDENT_CHAR ('A') .. 'Z'; 63 TYPE DI IS NEW INTEGER; 64 TYPE ENUM IS (E1, E2, E3, E4); 65 66 VC : CHARACTER := 'A'; 67 VI : INTEGER := 5; 68 VB : BOOLEAN := TRUE; 69 VE : ENUM := E2; 70 71 TYPE DENUM IS NEW ENUM RANGE E2 .. ENUM'LAST; 72 73 VDE : DENUM := E4; 74 VDC : DC := 'A'; 75 VDI : DI := 7; 76 77 PROCEDURE GP (X : IN OUT T) IS 78 BEGIN 79 X := V; 80 END GP; 81 82 FUNCTION LESS (X, Y : T) RETURN BOOLEAN IS 83 BEGIN 84 RETURN FALSE; 85 END LESS; 86 87 FUNCTION PLUS (X, Y : T) RETURN T IS 88 BEGIN 89 RETURN T'FIRST; 90 END PLUS; 91 92 FUNCTION F1 RETURN T IS 93 BEGIN 94 RETURN Z; 95 END F1; 96 97 FUNCTION E5 RETURN INTEGER IS 98 BEGIN 99 RETURN 1; 100 END E5; 101 102 PACKAGE PKG IS 103 104 PROCEDURE P IS NEW GP (CHARACTER, 'Q'); 105 PROCEDURE P IS NEW GP (INTEGER, -14); 106 PROCEDURE P IS NEW GP (BOOLEAN, FALSE); 107 PROCEDURE P IS NEW GP (ENUM, E4); 108 PROCEDURE P IS NEW GP (DC, 'W'); 109 PROCEDURE P IS NEW GP (DI, -33); 110 PROCEDURE P IS NEW GP (DENUM, E2); 111 112 FUNCTION "<" IS NEW LESS (CHARACTER); 113 FUNCTION "<" IS NEW LESS (INTEGER); 114 FUNCTION "<" IS NEW LESS (BOOLEAN); 115 FUNCTION "<" IS NEW LESS (ENUM); 116 FUNCTION "<" IS NEW LESS (DC); 117 FUNCTION "<" IS NEW LESS (DI); 118 -- NOT FOR DENUM. 119 120 FUNCTION "+" IS NEW PLUS (CHARACTER); 121 FUNCTION "+" IS NEW PLUS (INTEGER); 122 FUNCTION "+" IS NEW PLUS (BOOLEAN); 123 FUNCTION "+" IS NEW PLUS (ENUM); 124 FUNCTION "+" IS NEW PLUS (DC); 125 -- NOT FOR DI. 126 FUNCTION "+" IS NEW PLUS (DENUM); 127 128 FUNCTION E2 IS NEW F1 (BOOLEAN, FALSE); 129 FUNCTION E5 IS NEW F1 (DC, 'M'); 130 131 END PKG; 132 133 PACKAGE BODY PKG IS 134 BEGIN 135 P (VC); 136 P (VI); 137 P (VB); 138 P (VE); 139 P (X => VDE); 140 P (X => VDC); 141 P (X => VDI); 142 143 IF VC /= 'Q' THEN 144 FAILED ("OVERLOADED PROCEDURE - 1"); 145 END IF; 146 147 IF VI /= -14 THEN 148 FAILED ("OVERLOADED PROCEDURE - 2"); 149 END IF; 150 151 IF VB /= FALSE THEN 152 FAILED ("OVERLOADED PROCEDURE - 3"); 153 END IF; 154 155 IF VE /= E4 THEN 156 FAILED ("OVERLOADED PROCEDURE - 4"); 157 END IF; 158 159 IF VDE /= E2 THEN 160 FAILED ("OVERLOADED PROCEDURE - 5"); 161 END IF; 162 163 IF VDC /= 'W' THEN 164 FAILED ("OVERLOADED PROCEDURE - 6"); 165 END IF; 166 167 IF VDI /= -33 THEN 168 FAILED ("OVERLOADED PROCEDURE - 7"); 169 END IF; 170 171 IF VC < ASCII.DEL THEN 172 FAILED ("OVERLOADED LESS THAN - 1"); 173 END IF; 174 175 IF VI < 1E3 THEN 176 FAILED ("OVERLOADED LESS THAN - 2"); 177 END IF; 178 179 IF FALSE < TRUE THEN 180 FAILED ("OVERLOADED LESS THAN - 3"); 181 END IF; 182 183 IF E1 < VE THEN 184 FAILED ("OVERLOADED LESS THAN - 4"); 185 END IF; 186 187 IF VDC < 'Z' THEN 188 FAILED ("OVERLOADED LESS THAN - 5"); 189 END IF; 190 191 IF VDI < 0 THEN 192 FAILED ("OVERLOADED LESS THAN - 6"); 193 END IF; 194 195 196 IF -14 + 5 /= -9 THEN 197 FAILED ("OVERLOADED PLUS - 2"); 198 END IF; 199 200 IF VI + 5 /= INTEGER'FIRST THEN 201 FAILED ("OVERLOADED PLUS - 3"); 202 END IF; 203 204 IF VB + TRUE /= FALSE THEN 205 FAILED ("OVERLOADED PLUS - 4"); 206 END IF; 207 208 IF VE + E2 /= E1 THEN 209 FAILED ("OVERLOADED PLUS - 5"); 210 END IF; 211 212 IF DENUM'(E3) + E2 /= E2 THEN 213 FAILED ("OVERLOADED PLUS - 6"); 214 END IF; 215 216 IF VDC + 'B' /= 'A' THEN 217 FAILED ("OVERLOADED PLUS - 7"); 218 END IF; 219 220 IF VDI + 14 /= -19 THEN -- -33 + 14 221 FAILED ("OVERLOADED PLUS - 8"); 222 END IF; 223 224 VI := E5; 225 VDC := E5; 226 VE := E2; 227 VB := E2; 228 IF VI /= 1 OR 229 VDC /= 'M' OR 230 VE /= ENUM'VAL(IDENT_INT(1)) OR 231 VB /= FALSE THEN 232 FAILED ("OVERLOADING OF ENUMERATION LITERALS " & 233 "AND PREDEFINED SUBPROGRAMS"); 234 END IF; 235 END PKG; 236 BEGIN 237 DECLARE 238 USE PKG; 239 BEGIN 240 IF NOT (VI + 5 < 11) THEN 241 FAILED ("INCORRECT VISIBILITY OF GENERIC OVERLOADING"); 242 END IF; 243 END; 244 END; 245 246 RESULT; 247END CC3012A; 248