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
|
-- CDD1001.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 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 components of Stream_Element_Array are aliased. (Defect
-- Report 8652/0044).
--
-- APPLICABILITY CRITERIA:
-- All implementations must attempt to compile this test.
--
-- For implementations for which Stream_Element'Size is a multiple of
-- System.Storage_Unit, this test must execute.
--
-- For other implementations, if this test compiles without error messages
-- at compilation, it must bind and execute.
--
-- PASS/FAIL CRITERIA:
-- For implementations for which Stream_Element'Size is a multiple of
-- System.Storage_Unit, this test must execute, report PASSED, and
-- complete normally, otherwise the test FAILS.
--
-- For other implementations:
-- PASSING behavior is:
-- this test executes, reports PASSED, and completes normally
-- or
-- this test produces at least one error message at compilation, and
-- the error message is associated with one of the items marked:
-- -- N/A => ERROR.
--
-- All other behaviors are FAILING.
--
--
-- CHANGE HISTORY:
-- 12 FEB 2001 PHL Initial version
-- 15 MAR 2001 RLB Readied for release.
--!
with Ada.Streams;
use Ada.Streams;
with Report;
use Report;
procedure CDD1001 is
type Acc is access all Stream_Element;
A : Stream_Element_Array
(Stream_Element_Offset (Ident_Int (1)) ..
Stream_Element_Offset (Ident_Int (10)));
B : array (A'Range) of Acc;
begin
Test ("CDD1001",
"Check that components of Stream_Element_Array are aliased");
for I in A'Range loop
A (I) := Stream_Element (Ident_Int (Integer (I)) * Ident_Int (3));
end loop;
for I in B'Range loop
B (I) := A (I)'Access; -- N/A => ERROR.
end loop;
for I in B'Range loop
if B (I).all /= Stream_Element
(Ident_Int (Integer (I)) * Ident_Int (3)) then
Failed ("Unable to build access values desginating elements " &
"of a Stream_Element_Array");
end if;
end loop;
Result;
end CDD1001;
|
