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 CONSTRAINT_ERROR IS RAISED FOR OUT OF RANGE SCALAR
27 -- ARGUMENTS. SUBTESTS ARE:
28 -- (A) STATIC IN ARGUMENT.
29 -- (B) DYNAMIC IN ARGUMENT.
30 -- (C) IN OUT, OUT OF RANGE ON CALL.
31 -- (D) OUT, OUT OF RANGE ON RETURN.
32 -- (E) IN OUT, OUT OF RANGE ON RETURN.
37 -- LB 11/20/86 ADDED CODE TO ENSURE IN SUBTESTS WHICH CHECK
38 -- RETURNED VALUES, THAT SUBPROGRAMS ARE ACTUALLY
40 -- JET 08/04/87 FIXED HEADER FOR STANDARD FORMAT.
42 WITH REPORT
; USE REPORT
;
45 SUBTYPE DIGIT
IS INTEGER RANGE 0..9;
50 M1
: CONSTANT INTEGER := IDENT_INT
(-1);
52 SUBTYPE SI
IS INTEGER RANGE M1
.. 10;
54 PROCEDURE P1
(PIN
: IN DIGIT
; WHO
: STRING) IS -- (A), (B)
56 FAILED
("EXCEPTION NOT RAISED BEFORE CALL - P1 " & WHO
);
59 FAILED
("EXCEPTION RAISED IN P1 FOR " & WHO
);
62 PROCEDURE P2
(PINOUT
: IN OUT DIGIT
; WHO
: STRING) IS -- (C)
64 FAILED
("EXCEPTION NOT RAISED BEFORE CALL - P2 " & WHO
);
67 FAILED
("EXCEPTION RAISED IN P2 FOR " & WHO
);
70 PROCEDURE P3
(POUT
: OUT SI
; WHO
: STRING) IS -- (D)
73 POUT
:= IDENT_INT
(10); -- (10 IS NOT A DIGIT)
80 FAILED
("EXCEPTION RAISED IN P3 FOR " & WHO
);
83 PROCEDURE P4
(PINOUT
: IN OUT INTEGER; WHO
: STRING) IS -- (E)
86 PINOUT
:= 10; -- (10 IS NOT A DIGIT)
88 PINOUT
:= IDENT_INT
(-1);
93 FAILED
("EXCEPTION RAISED IN P4 FOR" & WHO
);
98 TEST
("C64104A", "CHECK THAT CONSTRAINT_ERROR IS RAISED " &
99 "FOR OUT OF RANGE SCALAR ARGUMENTS");
103 FAILED
("CONSTRAINT_ERROR NOT RAISED FOR P1 (10)");
105 WHEN CONSTRAINT_ERROR
=>
108 FAILED
("WRONG EXCEPTION RAISED FOR P1 (10)");
112 P1
(IDENT_INT
(-1), "-1");
113 FAILED
("CONSTRAINT_ERROR NOT RAISED FOR P1 (" &
116 WHEN CONSTRAINT_ERROR
=>
119 FAILED
("WRONG EXCEPTION RAISED FOR P1 (" &
126 FAILED
("CONSTRAINT_ERROR NOT RAISED FOR P2 (10)");
128 WHEN CONSTRAINT_ERROR
=>
131 FAILED
("WRONG EXCEPTION RAISED FOR P2 (10)");
137 FAILED
("CONSTRAINT_ERROR NOT RAISED FOR P2 (-1)");
139 WHEN CONSTRAINT_ERROR
=>
142 FAILED
("WRONG EXCEPTION RAISED FOR P2 (-1)");
149 FAILED
("CONSTRAINT_ERROR NOT RAISED ON RETURN FROM" &
152 WHEN CONSTRAINT_ERROR
=>
155 FAILED
("SUBPROGRAM P3 WAS NOT CALLED");
158 FAILED
("WRONG EXCEPTION RAISED FOR P3 (10)");
165 FAILED
("CONSTRAINT_ERROR NOT RAISED ON RETURN FROM" &
168 WHEN CONSTRAINT_ERROR
=>
171 FAILED
("SUBPROGRAM P3 WAS NOT CALLED");
174 FAILED
("WRONG EXCEPTION RAISED FOR P3 (-1)");
181 FAILED
("CONSTRAINT_ERROR NOT RAISED ON RETURN FROM" &
184 WHEN CONSTRAINT_ERROR
=>
187 FAILED
("SUBPROGRAM P4 WAS NOT CALLED");
190 FAILED
("WRONG EXCEPTION RAISED FOR P4 (10)");
197 FAILED
("CONSTRAINT_ERROR NOT RAISED ON RETURN FROM" &
200 WHEN CONSTRAINT_ERROR
=>
203 FAILED
("SUBPROGRAM P4 WAS NOT CALLED");
206 FAILED
("WRONG EXCEPTION RAISED FOR P4 (-1)");
210 FAILED
("INCORRECT NUMBER OF CONSTRAINT_ERRORS RAISED");