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
|
-- CXAA019.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 Standard_Output can be flushed. Check that 'in' parameters of
-- types Ada.Text_IO.File_Type and Ada.Streams.Stream_IO.File_Type can be
-- flushed. (Defect Report 8652/0051).
--
-- CHANGE HISTORY:
-- 12 FEB 2001 PHL Initial version
-- 16 MAR 2001 RLB Readied for release; fixed Not_Applicable check
-- to terminate test gracefully.
--
--!
with Ada.Streams.Stream_Io;
use Ada.Streams;
with Ada.Text_Io;
with Ada.Wide_Text_Io;
with Report;
use Report;
procedure CXAA019 is
procedure Check (File : in Ada.Text_Io.File_Type) is
begin
Ada.Text_Io.Put_Line
(File, " - CXAA019 About to flush a Text_IO file passed " &
"as 'in' parameter");
Ada.Text_Io.Flush (File);
end Check;
procedure Check (File : in Ada.Wide_Text_Io.File_Type) is
begin
Ada.Wide_Text_Io.Put_Line
(File, " - CXAA019 About to flush a Wide_Text_IO file passed " &
"as 'in' parameter");
Ada.Wide_Text_Io.Flush (File);
end Check;
procedure Check (File : in Stream_Io.File_Type) is
S : Stream_Element_Array (1 .. 10);
begin
for I in S'Range loop
S (I) := Stream_Element (Character'Pos ('A') + I);
end loop;
Stream_Io.Write (File, S);
Comment ("About to flush a Stream_IO file passed as 'in' parameter");
Stream_Io.Flush (File);
end Check;
begin
Test ("CXAA019",
"Check that Standard_Output can be flushed; check that " &
"'in' Ada.Text_IO.File_Type and Ada.Streams.Stream_IO.File_Type" &
"parameters can be flushed");
Ada.Text_Io.Put_Line (Ada.Text_Io.Standard_Output,
" - CXAA019 About to flush Standard_Output");
Ada.Text_Io.Flush (Ada.Text_Io.Standard_Output);
Check (Ada.Text_Io.Current_Output);
declare
TC_OK : Boolean := False;
F : Ada.Text_Io.File_Type;
begin
begin
Ada.Text_Io.Create (F, Name => Legal_File_Name (X => 1));
TC_OK := True;
exception
when others =>
Not_Applicable ("Unable to create Out mode Text_IO file");
end;
if TC_OK then
Check (F);
Ada.Text_Io.Delete (F);
end if;
end;
declare
TC_OK : Boolean := False;
F : Ada.Wide_Text_Io.File_Type;
begin
begin
Ada.Wide_Text_Io.Create (F, Name => Legal_File_Name (X => 2));
TC_OK := True;
exception
when others =>
Not_Applicable ("Unable to create Out mode Wide_Text_IO file");
end;
if TC_OK then
Check (F);
Ada.Wide_Text_Io.Delete (F);
end if;
end;
declare
TC_OK : Boolean := False;
F : Stream_Io.File_Type;
begin
begin
Stream_Io.Create (F, Name => Legal_File_Name (X => 3));
TC_OK := True;
exception
when others =>
Not_Applicable ("Unable to create Out mode Stream_IO file");
end;
if TC_OK then
Check (F);
Stream_Io.Delete (F);
end if;
end;
Result;
end CXAA019;
|
