1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
|
-- CC1304B.ADA
-- Grant of Unlimited Rights
--
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
-- unlimited rights in the software and documentation contained herein.
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
-- this public release, the Government intends to confer upon all
-- recipients unlimited rights equal to those held by the Government.
-- These rights include rights to use, duplicate, release or disclose the
-- released technical data and computer software in whole or in part, in
-- any manner and for any purpose whatsoever, and to have or permit others
-- to do so.
--
-- DISCLAIMER
--
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
-- PARTICULAR PURPOSE OF SAID MATERIAL.
--*
-- OBJECTIVE:
-- CHECK THAT GENERIC FORMAL SUBPROGRAMS MAY HAVE A PARAMETER
-- OF A GENERIC FORMAL TYPE, AND MAY RETURN A GENERIC FORMAL
-- TYPE. CHECK MODES IN OUT AND OUT.
-- HISTORY:
-- BCB 08/04/88 CREATED ORIGINAL TEST.
WITH REPORT; USE REPORT;
PROCEDURE CC1304B IS
BEGIN
TEST ("CC1304B", "GENERIC FORMAL SUBPROGRAMS MAY HAVE A " &
"PARAMETER OF A GENERIC FORMAL TYPE, AND MAY " &
"RETURN A GENERIC FORMAL TYPE. CHECK MODES IN " &
"OUT AND OUT");
DECLARE
GENERIC
TYPE T IS ( <> );
WITH PROCEDURE S (P : OUT T);
WITH PROCEDURE P (P : IN OUT T);
WITH FUNCTION L RETURN T;
PROCEDURE PR (PARM1, PARM2, PARM3 : IN OUT T);
PROCEDURE PR (PARM1, PARM2, PARM3 : IN OUT T) IS
BEGIN
S (P => PARM1);
P (P => PARM2);
PARM3 := L;
END PR;
BEGIN
DECLARE
C : CHARACTER := 'A';
C1 : CHARACTER := 'Y';
C2 : CHARACTER := 'I';
B : BOOLEAN := FALSE;
B1 : BOOLEAN := TRUE;
B2 : BOOLEAN := FALSE;
I : INTEGER := 5;
I1 : INTEGER := 10;
I2 : INTEGER := 0;
TYPE ENUM IS (E1, E2, E3);
F : ENUM := E2;
F1 : ENUM := E1;
F2 : ENUM := E2;
PROCEDURE FC (P : OUT CHARACTER) IS
BEGIN
P := 'B';
END FC;
PROCEDURE FB (P : OUT BOOLEAN) IS
BEGIN
P := NOT B;
END FB;
PROCEDURE FI (P : OUT INTEGER) IS
BEGIN
P := I + 1;
END FI;
PROCEDURE FE (P : OUT ENUM) IS
BEGIN
P := ENUM'SUCC (F);
END FE;
PROCEDURE PC (P : IN OUT CHARACTER) IS
BEGIN
P := 'Z';
END PC;
PROCEDURE PB (P : IN OUT BOOLEAN) IS
BEGIN
P := NOT B1;
END PB;
PROCEDURE PI (P : IN OUT INTEGER) IS
BEGIN
P := I1 + 1;
END PI;
PROCEDURE PE (P : IN OUT ENUM) IS
BEGIN
P := ENUM'SUCC (F1);
END PE;
FUNCTION LC RETURN CHARACTER IS
BEGIN
RETURN 'J';
END LC;
FUNCTION LB RETURN BOOLEAN IS
BEGIN
RETURN TRUE;
END LB;
FUNCTION LI RETURN INTEGER IS
BEGIN
RETURN IDENT_INT(5);
END LI;
FUNCTION LE RETURN ENUM IS
BEGIN
RETURN ENUM'SUCC(F2);
END LE;
PACKAGE PKG2 IS
PROCEDURE P1 IS NEW PR (CHARACTER, FC, PC, LC);
PROCEDURE P2 IS NEW PR (BOOLEAN, FB, PB, LB);
PROCEDURE P3 IS NEW PR (INTEGER, FI, PI, LI);
PROCEDURE P4 IS NEW PR (ENUM, FE, PE, LE);
END PKG2;
PACKAGE BODY PKG2 IS
BEGIN
P1 (C,C1,C2);
P2 (B,B1,B2);
P3 (I,I1,I2);
P4 (F,F1,F2);
END PKG2;
BEGIN
IF C /= 'B' OR B /= TRUE OR I /= 6 OR F /= E3 THEN
FAILED ("SUBPROGRAM PARAMETERS OF FORMAL TYPES - " &
"MODE OUT");
END IF;
IF C1 /= 'Z' OR B1 /= FALSE OR I1 /= 11 OR F1 /= E2 THEN
FAILED ("SUBPROGRAM PARAMETERS OF FORMAL TYPES - " &
"MODE IN OUT");
END IF;
IF C2 /= 'J' OR B2 /= TRUE OR I2 /= 5 OR F2 /= E3 THEN
FAILED ("GENERIC FORMAL SUBPROGRAMS RETURNING A " &
"GENERIC FORMAL TYPE");
END IF;
END;
END;
RESULT;
END CC1304B;
|
