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 AN ALLOCATOR OF THE FORM "NEW T X" ALLOCATES A NEW OBJECT
26 -- EACH TIME IT IS EXECUTED AND THAT IF T IS AN UNCONSTRAINED RECORD,
27 -- PRIVATE, OR LIMITED TYPE, THE ALLOCATED OBJECT HAS THE DISCRIMINANT
28 -- VALUES SPECIFIED BY X.
40 TEST
("C48005A","CHECK THAT THE FORM 'NEW T X' ALLOCATES A " &
41 "NEW OBJECT AND THAT IF T IS AN UNCONSTRAINED " &
42 "RECORD, PRIVATE, OR LIMITED TYPE, THE " &
43 "ALLOCATED OBJECT HAS THE DISCRIMINANT " &
44 "VALUES SPECIFIED BY X");
48 TYPE UR1
(A
: INTEGER) IS
53 TYPE UR2
(A
: INTEGER) IS
65 TYPE A_UR1
IS ACCESS UR1
;
66 TYPE A_UR2
IS ACCESS UR2
;
69 V1AUR2
, V2AUR2
: A_UR2
;
71 TYPE REC
(A
: INTEGER) IS
76 TYPE A_REC
IS ACCESS REC
;
80 TYPE ARR
IS ARRAY(1 .. 1) OF INTEGER;
88 FUNCTION FUN
(A
: INTEGER) RETURN INTEGER IS
92 FUNCTION FUN
(A
: INTEGER) RETURN RECVAL
IS
94 FAILED
("WRONG OVERLOADED FUNCTION CALLED");
100 V1AUR1
:= NEW UR1
(3);
101 IF ( V1AUR1
.A
/= 3 OR V1AUR1
.B
/= 7 OR
102 V1AUR1
.C
/= IDENT_INT
(4) ) THEN
103 FAILED
("WRONG VALUES - V1UAR1");
106 V1AUR2
:= NEW UR2
(IDENT_INT
(2));
107 IF ( V1AUR2
.A
/= 2 OR V1AUR2
.A2
/= IDENT_INT
(5) ) THEN
108 FAILED
("WRONG VALUES - V1AUR2");
111 V2AUR2
:= NEW UR2
(IDENT_INT
(3));
112 IF ( V2AUR2
.A
/= IDENT_INT
(3) ) THEN
113 FAILED
("WRONG VALUES - V2AUR2");
116 V_A_REC
:= NEW REC
(FUN
(2));