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 A TASK CAN BE PASSED AS AN ACTUAL IN OR IN OUT PARAMETER
26 -- IN A SUBPROGRAM CALL AND THAT THE ACTUAL AND FORMAL PARAMETERS DENOTE
27 -- THE SAME TASK OBJECT.
30 -- TBN 12/19/85 ADDED IN OUT PARAMETER CASE.
31 -- PWB 8/04/86 ADDED CHECK THAT FORMAL AND ACTUAL PARAMETERS DENOTE
32 -- THE SAME TASK OBJECT.
34 WITH REPORT
; USE REPORT
;
40 TEST
("C92003A", "CHECK TASKS PASSED AS ACTUAL IN OR IN OUT " &
41 "PARAMETERS TO SUBPROGRAMS");
46 ENTRY E
(I
: INTEGER);
56 ACCEPT E
(I
: INTEGER) DO
64 FAILED
("EXPECTED 1, GOT " & INTEGER'IMAGE(SOURCE
));
68 ACCEPT E
(I
: INTEGER) DO
76 FAILED
("EXPECTED 2, GOT " & INTEGER'IMAGE(SOURCE
));
80 ACCEPT E
(I
: INTEGER) DO
88 FAILED
("EXPECTED 3, GOT " & INTEGER'IMAGE(SOURCE
));
93 PROCEDURE P
(T
: TT
) IS
98 PROCEDURE Q
(S
: IN OUT TT
) IS
105 T
.E
(1); -- FIRST CALL TO T.E
106 P
(T
); -- SECOND CALL TO T.E
107 T
.E
(3); -- THIRD CALL TO T.E
109 S
.E
(1); -- FIRST CALL TO S.E
110 Q
(S
); -- SECOND CALL TO S.E
111 S
.E
(3); -- THIRD CALL TO S.E