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.
25 -- CHECK THAT IF WITH_CLAUSES ARE GIVEN FOR BOTH A SPEC AND A BODY, AND
26 -- THE CLAUSES NAME DIFFERENT LIBRARY UNITS, THE UNITS NAMED IN ALL THE
27 -- CLAUSES ARE VISIBLE IN THE BODY AND IN SUBUNITS OF THE BODY.
34 FUNCTION F
(X
: INTEGER := 1) RETURN INTEGER;
38 PACKAGE BODY FIRST_PKG
IS
40 FUNCTION F
(X
: INTEGER := 1) RETURN INTEGER IS
49 FUNCTION F
(Y
: INTEGER := 2) RETURN INTEGER;
53 PACKAGE BODY LATER_PKG
IS
55 FUNCTION F
(Y
: INTEGER := 2) RETURN INTEGER IS
62 WITH REPORT
, FIRST_PKG
;
64 PRAGMA ELABORATE
(FIRST_PKG
);
65 PACKAGE CA1108B_PKG
IS
69 PROCEDURE CALL_SUBS
(X
, Y
: IN OUT INTEGER);
74 PRAGMA ELABORATE
(LATER_PKG
);
75 PACKAGE BODY CA1108B_PKG
IS
77 PROCEDURE SUB
(X
, Y
: IN OUT INTEGER) IS SEPARATE;
84 FAILED
("FIRST_PKG FUNCTION NOT VISIBLE IN " &
85 "PACKAGE BODY PROCEDURE");
89 FAILED
("LATER_PKG FUNCITON NOT VISIBLE IN " &
90 "PACKAGE BODY PROCEDURE");
94 PROCEDURE CALL_SUBS
(X
, Y
: IN OUT INTEGER) IS
103 FAILED
("FIRST_PKG FUNCTION NOT VISIBLE IN PACKAGE BODY");
107 FAILED
("LATER_PKG FUNCTION NOT VISIBLE IN PACKAGE BODY");
112 WITH REPORT
, CA1108B_PKG
;
113 USE REPORT
, CA1108B_PKG
;
116 VAR1
, VAR2
: INTEGER;
120 TEST
("CA1108B", "IF DIFFERENT WITH_CLAUSES GIVEN FOR PACKAGE " &
121 "SPEC AND BODY, ALL NAMED UNITS ARE VISIBLE " &
122 "IN THE BODY AND ITS SUBUNITS");
128 CALL_SUBS
(VAR1
, VAR2
);
130 FAILED
("FIRST_PKG FUNCTION NOT VISIBLE IN SUBUNIT");
134 FAILED
("LATER_PKG FUNCTION NOT VISIBLE IN SUBUNIT");
142 SEPARATE (CA1108B_PKG
)
143 PROCEDURE SUB
(X
, Y
: IN OUT INTEGER) IS
144 PROCEDURE SUB2
(A
, B
: IN OUT INTEGER) IS SEPARATE;
149 FAILED
("FIRST_PKG FUNCTION NOT VISIBLE IN SUBUNIT " &
153 FAILED
("LATER_PKG FUNCTION NOT VISIBLE IN SUBUNIT " &
161 SEPARATE (CA1108B_PKG
.SUB
)
162 PROCEDURE SUB2
(A
, B
: IN OUT INTEGER) IS