使用'Write类型的流和流属性String.该属性表示将输出字符串对象的裸数据的过程.
with Ada.Streams.Stream_IO;
procedure Write_Appending is
use Ada.Streams.Stream_IO;
F : File_Type;
procedure Write_Hello is
begin
String'Write (Stream (F), "Hello, ");
end Write_Hello;
procedure Write_World is
begin
String'Write (Stream (F), "World");
end Write_World;
begin
Create (F, Name => "Hello.txt");
Write_Hello;
Write_World;
Close (F);
-- forgot "!", append it at the end of the file.
Open (F, Mode => Append_File, Name => "Hello.txt");
Character'Write (Stream (F), '!');
Close (F);
end Write_Appending;
Run Code Online (Sandbox Code Playgroud)
$ cat Hello.txt
Hello, World!$
Run Code Online (Sandbox Code Playgroud)
请注意文件的最后一行如何不以行终止符结束.写作时Current_Output,请考虑Ada.Text_IO.Text_Streams(LRM A.12.2).
| 归档时间: |
|
| 查看次数: |
90 次 |
| 最近记录: |