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
|
-- CC51008.A
--
-- Grant of Unlimited Rights
--
-- The Ada Conformity Assessment Authority (ACAA) holds unlimited
-- rights in the software and documentation contained herein. Unlimited
-- rights are the same as those granted by the U.S. Government for older
-- parts of the Ada Conformity Assessment Test Suite, and are defined
-- in DFAR 252.227-7013(a)(19). By making this public release, the ACAA
-- intends to confer upon all recipients unlimited rights equal to those
-- held by the ACAA. 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 ACAA 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 operations are inherited for a formal derived type whose
-- ancestor is also a formal type as described in the corrigendum.
-- (Defect Report 8652/0038, as reflected in Technical Corrigendum 1,
-- RM95 12.5.1(21/1)).
--
-- CHANGE HISTORY:
-- 29 Jan 2001 PHL Initial version.
-- 30 Apr 2002 RLB Readied for release.
--
--!
package CC51008_0 is
type R0 is
record
C : Float;
end record;
procedure S (X : R0);
end CC51008_0;
with Report;
use Report;
package body CC51008_0 is
procedure S (X : R0) is
begin
Comment ("CC51008_0.S called");
end S;
end CC51008_0;
with CC51008_0;
generic
type F1 is new CC51008_0.R0;
type F2 is new F1;
package CC51008_1 is
procedure G (O1 : F1; O2 : F2);
end CC51008_1;
package body CC51008_1 is
procedure G (O1 : F1; O2 : F2) is
begin
S (O1);
S (O2);
end G;
end CC51008_1;
with CC51008_0;
package CC51008_2 is
type R2 is new CC51008_0.R0;
procedure S (X : out R2);
end CC51008_2;
with Report;
use Report;
package body CC51008_2 is
procedure S (X : out R2) is
begin
Failed ("CC51008_2.S called");
end S;
end CC51008_2;
with CC51008_2;
package CC51008_3 is
type R3 is new CC51008_2.R2;
procedure S (X : R3);
end CC51008_3;
with Report;
use Report;
package body CC51008_3 is
procedure S (X : R3) is
begin
Failed ("CC51008_3.S called");
end S;
end CC51008_3;
with CC51008_1;
with CC51008_2;
with CC51008_3;
with Report;
use Report;
procedure CC51008 is
package Inst is new CC51008_1 (CC51008_2.R2,
CC51008_3.R3);
X2 : constant CC51008_2.R2 := (C => 2.0);
X3 : constant CC51008_3.R3 := (C => 3.0);
begin
Test ("CC51008",
"Check that operations are inherited for a formal derived " &
"type whose ancestor is also a formal type as described in " &
"RM95 12.5.1(21/1)");
Inst.G (X2, X3);
Result;
end CC51008;
|
