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 -- FOR ALLOCATORS OF THE FORM "NEW T", CHECK THAT CONSTRAINT_ERROR IS
26 -- RAISED IF T IS A CONSTRAINED ARRAY TYPE AND AT LEAST ONE INDEX BOUND
27 -- FOR T DOES NOT EQUAL THE CORRESPONDING VALUE SPECIFIED FOR THE
28 -- ALLOCATOR'S BASE TYPE.
40 TEST
("C48007C","FOR ALLOCATORS OF THE FORM 'NEW T' CHECK " &
41 "THAT CONSTRAINT_ERROR IS RAISED WHEN " &
42 "APPROPRIATE - CONSTRAINED ARRAY TYPE");
46 TYPE UA1
IS ARRAY(INTEGER RANGE <>) OF INTEGER;
47 TYPE UA2
IS ARRAY(INTEGER RANGE <>, INTEGER RANGE <>) OF
49 TYPE UA3
IS ARRAY(INTEGER RANGE <>) OF UA1
(1 .. 2);
51 SUBTYPE CA11
IS UA1
(1 .. 3);
52 SUBTYPE CA12
IS UA1
(3 .. 2);
53 SUBTYPE CA21
IS UA2
(1 .. 2, 1 .. 2);
54 SUBTYPE CA22
IS UA2
(1 .. 2, 2 .. 0);
55 SUBTYPE CA31
IS UA3
(1 .. 2);
56 SUBTYPE CA32
IS UA3
(4 .. 1);
58 TYPE A_UA11
IS ACCESS UA1
(2 .. 4);
59 TYPE A_UA12
IS ACCESS UA1
(4 .. 3);
60 TYPE A_UA21
IS ACCESS UA2
(1 .. 3, 1 .. 2);
61 TYPE A_UA22
IS ACCESS UA2
(1 .. 2, 2 .. 1);
62 TYPE A_UA31
IS ACCESS UA3
(1 .. 3);
63 TYPE A_UA32
IS ACCESS UA3
(3 .. 1);
77 FAILED
("NO EXCEPTION RAISED - V11");
81 WHEN CONSTRAINT_ERROR
=>
84 FAILED
("WRONG EXCEPTION RAISED - V11");
91 FAILED
("NO EXCEPTION RAISED - V12");
95 WHEN CONSTRAINT_ERROR
=>
98 FAILED
("WRONG EXCEPTION RAISED - V12");
105 FAILED
("NO EXCEPTION RAISED - V21");
109 WHEN CONSTRAINT_ERROR
=>
112 FAILED
("WRONG EXCEPTION RAISED - V21");
119 FAILED
("NO EXCEPTION RAISED - V22");
123 WHEN CONSTRAINT_ERROR
=>
126 FAILED
("WRONG EXCEPTION RAISED - V22");
133 FAILED
("NO EXCEPTION RAISED - V31");
137 WHEN CONSTRAINT_ERROR
=>
140 FAILED
("WRONG EXCEPTION RAISED - V31");
147 FAILED
("NO EXCEPTION RAISED - V32");
151 WHEN CONSTRAINT_ERROR
=>
154 FAILED
("WRONG EXCEPTION RAISED - V32");