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 INSTANTIATION IS LEGAL IF A FORMAL
27 -- PARAMETER HAVING A LIMITED PRIVATE TYPE WITHOUT
28 -- A DISCRIMINANT IS USED TO DECLARE AN ACCESS
29 -- TYPE IN A BLOCK THAT CONTAINS A SELECTIVE WAIT
30 -- WITH A TERMINATE ALTERNATIVE, AND ACTUAL
31 -- PARAMETER'S BASE IS A TASK TYPE OR TYPE WITH A
32 -- SUBCOMPONENT OF A TASK TYPE.
35 -- LDC 06/24/88 CREATED ORIGINAL TEST.
42 TEST
("CC3207B","CHECK THAT INSTANTIATION IS LEGAL IF A " &
43 "FORMAL PARAMETER HAVING A LIMITED PRIVATE " &
44 "TYPE WITHOUT A DISCRIMINANT IS USED TO " &
45 "DECLARE AN ACCESS TYPE IN A BLOCK THAT " &
46 "CONTAINS A SELECTIVE WAIT WITH A TERMINATE " &
47 "ALTERNATIVE, AND ACTUAL PARAMETER'S BASE " &
48 "A TASK TYPE OR TYPE WITH A SUBCOMPONENT OF " &
56 TYPE TT_ARR
IS ARRAY (1..2) OF TT
;
63 TYPE T
IS LIMITED PRIVATE;
66 ENTRY ENT
(A
: OUT INTEGER);
85 TYPE ACC_T
IS ACCESS T
;
89 ACCEPT ENT
(A
: OUT INTEGER) DO
99 PACKAGE GEN_TSK
IS NEW GEN
(TT
);
100 PACKAGE GEN_TSK_SUB
IS NEW GEN
(TT_REC
);
103 GEN_TSK
.TSK
.ENT
(INT
);
105 IF INT
/= IDENT_INT
(7) THEN
106 FAILED
("THE WRONG VALUE WAS RETURNED BY THE TASK");
110 GEN_TSK_SUB
.TSK
.ENT
(INT
);
112 IF INT
/= IDENT_INT
(7) THEN
113 FAILED
("THE WRONG VALUE WAS RETURNED BY THE TASK, " &
114 "WITH ACTUAL PARAMETER'S BASE IS A SUB" &
115 "COMPONENT OF A TASK TYPE");