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 ALL (UNINITIALIZED) ACCESS OBJECTS ARE INITIALIZED
26 -- TO NULL BY DEFAULT. VARIABLES, ARRAYS, RECORDS, ARRAYS OF RECORDS,
27 -- ARRAYS OF ARRAYS, RECORDS WITH ARRAYS AND RECORD COMPONENTS
29 -- FUNCTION RESULTS (I.E. RETURNED FROM IMPLICIT FUNCTION RETURN)
36 WITH REPORT
; USE REPORT
;
41 TYPE ACC_REC
IS ACCESS REC
;
42 TYPE VECTOR
IS ARRAY ( NATURAL RANGE <> ) OF ACC_REC
;
44 VECT
: VECTOR
(3 .. 5);
47 TYPE ACC_VECT
IS ACCESS VECTOR
;
48 TYPE ARR_REC
IS ARRAY (1 .. 2) OF REC
;
50 TYPE ACC_REC2
IS ACCESS REC2
;
61 N_VEC
: VECTOR
(3 .. IDENT_INT
(5));
62 N_ACC_VECT
: ACC_VECT
;
65 N_ACC_REC2
: ACC_REC2
;
66 N_ARR
: ARRAY (1..2) OF VECTOR
(1..2);
69 C2
=> NEW VECTOR
'(NEW REC, NEW REC'(N_REC
)),
70 C3
=> (1 |
2 => (VECT
=>(3|
4=> NEW REC
,
74 C5
=> NEW REC2
'(N_REC2));
77 TEST ("C38005A", "DEFAULT VALUE FOR ACCESS OBJECTS IS NULL");
79 IF N_REC /= REC'(VECT
=> (3..5 => NULL))
81 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 1");
86 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 2");
89 IF N_VEC
/= N_REC
.VECT
91 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 3");
94 IF N_ARR
/= ((NULL, NULL), (NULL, NULL))
96 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 4");
101 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 5");
104 IF N_ARR_REC
/= (N_REC
, N_REC
)
106 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 6");
109 IF N_REC2
/= (NULL, NULL, N_ARR_REC
, N_REC
, NULL)
111 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 7");
114 IF N_ACC_REC2
/= NULL
116 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 8");
119 IF Q
/= (Q
.C1
, Q
.C2
, (Q
.C3
(1), Q
.C3
(2)), N_REC
, Q
.C5
)
121 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 9");
126 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 10");
129 IF Q
.C2
.ALL(0).ALL /= N_REC
131 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 11");
134 IF Q
.C2
(1).VECT
/= N_VEC
136 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 12");
139 IF Q
.C3
(2).VECT
/= (3 => Q
.C3
(2).VECT
(3),
140 4 => Q
.C3
(2).VECT
(4),
143 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 13");
146 IF Q
.C3
(2).VECT
(3).ALL /= N_REC
148 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 14");
151 IF Q
.C5
.ALL /= N_REC2
153 FAILED
("INCORRECT ACCESS TYPE INITIALIZATION - 15");
157 PROCEDURE T
(R
: OUT REC2
) IS
165 FAILED
("INCORRECT OUT PARM INIT 2");