From: "Pascal Obry" <pascal.obry@der.edfgdf.fr>
Subject: Re: How does one use Ada.Streams.Stream_IO?
Date: 1997/08/01
Date: 1997-08-01T00:00:00+00:00 [thread overview]
Message-ID: <5rs828$s02$1@cf01.edf.fr> (raw)
In-Reply-To: 33DF3D90.155D@mail.connect.usq.edu.au
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1710 bytes --]
Here is a small example :
with Ada.Streams.Stream_IO;
procedure Streams is
use Ada;
Max_Datas : constant := 100_000;
type Datas is array (1 .. Max_Datas) of Integer;
D : Datas := (1 | 2 | 4 | 6 | 8 => 50, others => 1);
procedure Write_Stream is
package Data_IO renames Ada.Streams.Stream_IO;
F : Data_IO.File_Type;
begin
Data_IO.Create (F, Name => "tmp_s.data", Mode => Data_IO.Out_File);
for I in D'Range loop
Integer'Write (Data_IO.Stream (F), D(I));
end loop;
Data_IO.Close (F);
end Write_Stream;
procedure Write_Array_Stream is
package Data_IO renames Ada.Streams.Stream_IO;
F : Data_IO.File_Type;
begin
Data_IO.Create (F, Name => "tmp_a.data", Mode => Data_IO.Out_File);
Datas'Write (Data_IO.Stream (F), D);
Data_IO.Close (F);
end Write_Array_Stream;
begin
null;
end Streams;
Hope this helps,
Pascal.
--
--|------------------------------------------------------------
--| Pascal Obry Team-Ada Member |
--| |
--| EDF-DER-IPN-SID- Ing�nierie des Syst�mes d'Informations |
--| |
--| Bureau G1-010 e-mail: pascal.obry@der.edfgdf.fr |
--| 1 Av G�n�ral de Gaulle voice : +33-1-47.65.50.91 |
--| 92141 Clamart CEDEX fax : +33-1-47.65.50.07 |
--| FRANCE |
--|------------------------------------------------------------
--|
--| http://ourworld.compuserve.com/homepages/pascal_obry
--|
--| "The best way to travel is by means of imagination"
prev parent reply other threads:[~1997-08-01 0:00 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-07-30 0:00 How does one use Ada.Streams.Stream_IO? Matthew Kennedy
1997-07-30 0:00 ` Robert Dewar
1997-07-30 0:00 ` Jon S Anthony
1997-08-01 0:00 ` Pascal Obry [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox