3 -- Grant of Unlimited Rights
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
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.
26 -- CHECK THAT WITHIN A GENERIC SUBPROGRAM BODY, NO SUBPROGRAM
27 -- DECLARED IN AN OUTER DECLARATIVE REGION IS HIDDEN (UNLESS THE
28 -- SUBPROGRAM IS A HOMOGRAPH OF THE GENERIC SUBPROGRAM).
31 -- TBN 08/03/88 CREATED ORIGINAL TEST.
33 WITH REPORT
; USE REPORT
;
36 GLOBAL
: INTEGER := IDENT_INT
(INTEGER'FIRST);
37 SWITCH1
: BOOLEAN := TRUE;
41 GLOBAL
:= IDENT_INT
(1);
44 PROCEDURE P
(X
: INTEGER) IS
46 GLOBAL
:= IDENT_INT
(X
);
50 TEST
("C83030A", "CHECK THAT WITHIN A GENERIC SUBPROGRAM BODY, " &
51 "NO SUBPROGRAM DECLARED IN AN OUTER " &
52 "DECLARATIVE REGION IS HIDDEN " &
53 "(UNLESS THE SUBPROGRAM IS A HOMOGRAPH OF THE " &
54 "GENERIC SUBPROGRAM)");
62 A
: INTEGER := IDENT_INT
(2);
67 IF GLOBAL
/= IDENT_INT
(3) THEN
68 FAILED
("INCORRECT VALUE FOR PROCEDURE CALL " &
73 IF GLOBAL
/= IDENT_INT
(2) THEN
74 FAILED
("INCORRECT VALUE FOR PROCEDURE CALL - 2");
76 GLOBAL
:= IDENT_INT
(3);
79 PROCEDURE NEW_P
IS NEW P
;
82 IF GLOBAL
/= IDENT_INT
(INTEGER'FIRST) THEN
83 FAILED
("INCORRECT VALUE FOR START OF TEST ONE");
86 IF GLOBAL
/= IDENT_INT
(3) THEN
87 FAILED
("INCORRECT VALUE FOR END OF TEST ONE");
94 GLOBAL
: INTEGER := IDENT_INT
(INTEGER'FIRST);
95 SWITCH
: BOOLEAN := TRUE;
101 PROCEDURE P
(X
: T
) IS
107 IF GLOBAL
/= IDENT_INT
(2) THEN
108 FAILED
("INCORRECT VALUE FOR PROCEDURE CALL " &
111 GLOBAL
:= IDENT_INT
(3);
113 GLOBAL
:= IDENT_INT
(2);
117 PROCEDURE NEW_P
IS NEW P
(INTEGER);
120 IF GLOBAL
/= IDENT_INT
(INTEGER'FIRST) THEN
121 FAILED
("INCORRECT VALUE FOR START OF TEST TWO");
124 IF GLOBAL
/= IDENT_INT
(3) THEN
125 FAILED
("INCORRECT VALUE FOR END OF TEST TWO");
132 SWITCH
: BOOLEAN := TRUE;
134 FUNCTION F
RETURN INTEGER IS
139 FUNCTION F
RETURN BOOLEAN IS
141 RETURN IDENT_BOOL
(FALSE);
144 FUNCTION F
(X
: INTEGER) RETURN INTEGER IS
152 FUNCTION F
RETURN INTEGER;
154 FUNCTION F
RETURN INTEGER IS
155 A
: INTEGER := INTEGER'LAST;
159 IF F
/= IDENT_INT
(3) THEN
160 FAILED
("INCORRECT VALUE FROM FUNCTION " &
164 IF F
(A
) /= IDENT_INT
(INTEGER'LAST) THEN
165 FAILED
("INCORRECT VALUE FROM FUNCTION CALL " &
169 FAILED
("INCORRECT VALUE FROM FUNCTION CALL " &
175 FUNCTION NEW_F
IS NEW F
;
178 IF NEW_F
/= IDENT_INT
(3) THEN
179 FAILED
("INCORRECT VALUE FOR END OF TEST THREE");
187 SWITCH
: BOOLEAN := TRUE;
189 FUNCTION F
RETURN INTEGER IS
194 FUNCTION F
RETURN BOOLEAN IS
196 RETURN IDENT_BOOL
(FALSE);
205 FUNCTION F
RETURN T
IS
211 FAILED
("INCORRECT VALUE FROM FUNCTION " &
217 FAILED
("INCORRECT VALUE FROM FUNCTION " &
224 FUNCTION NEW_F
IS NEW F
(INTEGER);
227 IF NEW_F
/= IDENT_INT
(INTEGER'FIRST) THEN
228 FAILED
("INCORRECT VALUE FOR END OF TEST FOUR");