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 THE BASE TYPE OF THE FORMAL PARAMETER AND THE RESULT
27 -- TYPE ARE USED TO DETERMINE WHICH SUBPROGRAM OR ENTRY IS BEING
31 -- JET 03/24/88 CREATED ORIGINAL TEST.
33 WITH REPORT
; USE REPORT
;
36 TYPE INT
IS NEW INTEGER;
37 SUBTYPE SUBINT0
IS INT
RANGE 0..INT
'LAST;
38 SUBTYPE SUBINT1
IS INT
RANGE 1..INT
'LAST;
41 ENTRY ENTER
(I1
: IN OUT INTEGER);
46 ENTRY ENTER
(I1
: IN OUT INT
);
53 FUNCTION F
RETURN T1
IS
58 FUNCTION F
RETURN T2
IS
63 PROCEDURE PROC
(I1
: IN OUT INTEGER) IS
68 PROCEDURE PROC
(I1
: IN OUT INT
) IS
73 FUNCTION FUNK
(I1
: INTEGER) RETURN INTEGER IS
78 FUNCTION FUNK
(I1
: INTEGER) RETURN INT
IS
83 FUNCTION FUNKX
(N
: NATURAL) RETURN POSITIVE IS
88 FUNCTION FUNKX
(N
: SUBINT0
) RETURN SUBINT1
IS
94 ACCEPTING_ENTRIES
: BOOLEAN := TRUE;
96 WHILE ACCEPTING_ENTRIES
LOOP
98 ACCEPT ENTER
(I1
: IN OUT INTEGER) DO
103 ACCEPTING_ENTRIES
:= FALSE;
110 ACCEPTING_ENTRIES
: BOOLEAN := TRUE;
112 WHILE ACCEPTING_ENTRIES
LOOP
114 ACCEPT ENTER
(I1
: IN OUT INT
) DO
119 ACCEPTING_ENTRIES
:= FALSE;
126 TEST
("C85014B", "CHECK THAT THE BASE TYPE OF THE FORMAL " &
127 "PARAMETER AND THE RESULT TYPE ARE USED TO " &
128 "DETERMINE WHICH SUBPROGRAM OR ENTRY IS BEING " &
132 PROCEDURE PROC1
(J1
: IN OUT INTEGER) RENAMES PROC
;
133 PROCEDURE PROC2
(J1
: IN OUT INT
) RENAMES PROC
;
135 FUNCTION FUNK1
(J1
: INTEGER) RETURN INTEGER RENAMES FUNK
;
136 FUNCTION FUNK2
(J1
: INTEGER) RETURN INT
RENAMES FUNK
;
138 PROCEDURE ENTRY1
(J1
: IN OUT INTEGER) RENAMES F
.ENTER
;
139 PROCEDURE ENTRY2
(J1
: IN OUT INT
) RENAMES F
.ENTER
;
141 FUNCTION FUNK3
(J1
: POSITIVE) RETURN NATURAL RENAMES FUNKX
;
142 FUNCTION FUNK4
(J1
: SUBINT1
) RETURN SUBINT0
RENAMES FUNKX
;
148 IF K1
/= IDENT_INT
(1) THEN
149 FAILED
("INCORRECT RETURN VALUE FROM PROC1");
153 IF K1
/= IDENT_INT
(2) THEN
154 FAILED
("INCORRECT RETURN VALUE FROM FUNK1");
158 IF K1
/= IDENT_INT
(3) THEN
159 FAILED
("INCORRECT RETURN VALUE FROM ENTRY1");
163 IF K1
/= IDENT_INT
(4) THEN
164 FAILED
("INCORRECT RETURN VALUE FROM FUNK3");
168 IF INTEGER(K2
) /= IDENT_INT
(2) THEN
169 FAILED
("INCORRECT RETURN VALUE FROM PROC2");
172 K2
:= FUNK2
(INTEGER(K2
));
173 IF INTEGER(K2
) /= IDENT_INT
(4) THEN
174 FAILED
("INCORRECT RETURN VALUE FROM FUNK2");
178 IF INTEGER(K2
) /= IDENT_INT
(6) THEN
179 FAILED
("INCORRECT RETURN VALUE FROM ENTRY2");
183 IF INTEGER(K2
) /= IDENT_INT
(8) THEN
184 FAILED
("INCORRECT RETURN VALUE FROM FUNK4");