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 CONSTRAINT_ERROR IS NOT RAISED FOR ACCESS PARAMETERS
26 -- BEFORE OR AFTER THE ENTRY CALL, WHEN AN UNCONSTRAINED ACTUAL
27 -- OUT ACCESS PARAMETER DESIGNATES AN OBJECT (PRIOR TO THE
28 -- ENTRY CALL) WITH CONSTRAINTS DIFFERENT FROM THE FORMAL
32 -- (A) STATIC LIMITED PRIVATE DISCRIMINANT.
33 -- (B) DYNAMIC ONE DIMENSIONAL BOUNDS.
37 WITH REPORT
; USE REPORT
;
41 TEST
("C95086D", "CHECK THAT CONSTRAINT_ERROR IS NOT RAISED " &
42 "BEFORE AND AFTER THE ENTRY CALL, WHEN AN UNCONSTRAINED " &
43 "ACTUAL OUT ACCESS PARAMETER DESIGNATES AN OBJECT (PRIOR " &
44 "TO THE ENTRY CALL) WITH CONSTRAINTS DIFFERENT FROM THE " &
47 --------------------------------------------------
52 SUBTYPE INT
IS INTEGER RANGE 0..5;
53 TYPE T
(I
: INT
:= 0) IS LIMITED PRIVATE;
55 TYPE ARR
IS ARRAY (INTEGER RANGE <>) OF INTEGER;
56 TYPE T
(I
: INT
:= 0) IS
68 CALLED
: BOOLEAN := FALSE;
76 ACCEPT P
(X
: OUT SA
) DO
82 FAILED
("EXCEPTION RAISED IN TASK - (A)");
90 WHEN CONSTRAINT_ERROR
=>
92 FAILED
("EXCEPTION RAISED BEFORE ENTRY CALL - (A)");
94 FAILED
("EXCEPTION RAISED ON RETURN - (A)");
97 FAILED
("EXCEPTION RAISED - (A)");
100 --------------------------------------------------
104 TYPE A
IS ACCESS STRING;
105 SUBTYPE SA
IS A
(1..2);
106 V
: A
:= NEW STRING (IDENT_INT
(5) .. IDENT_INT
(7));
107 CALLED
: BOOLEAN := FALSE;
110 ENTRY P
(X
: OUT SA
);
115 ACCEPT P
(X
: OUT SA
) DO
117 X
:= NEW STRING (IDENT_INT
(1) .. IDENT_INT
(2));
121 FAILED
("EXCEPTION RAISED IN TASK - (B)");
129 WHEN CONSTRAINT_ERROR
=>
131 FAILED
("EXCEPTION RAISED BEFORE ENTRY CALL - (B)");
133 FAILED
("EXCEPTION RAISED ON RETURN - (B)");
136 FAILED
("EXCEPTION RAISED - (B)");
139 --------------------------------------------------