From: zac brown <zacbrown690@gmail.com>
Subject: Re: Hi! How I can make _indexed_ stream file Input/Output ? Thanks.
Date: Sun, 4 Jul 2021 21:06:57 -0700 (PDT) [thread overview]
Message-ID: <dca2cef8-1366-4941-a273-a82dcdcec846n@googlegroups.com> (raw)
In-Reply-To: <9f034eef-dc90-4c92-be32-41be4ba1c302n@googlegroups.com>
On Monday, July 5, 2021 at 2:06:36 PM UTC+10, zac brown wrote:
> On Saturday, July 3, 2021 at 6:57:31 AM UTC+10, Shark8 wrote:
> > On Sunday, June 27, 2021 at 1:33:28 PM UTC-6, daniel wrote:
> > > How I can make _indexed_ stream file Input/Output ?
> > >
> > > For 'indexed' i mean manually setting file position:
> > > => 'from' in $type'input() and
> > > => 'to' in $type'output()
> > >
> > > Actually I use Ada.Streams.Stream_IO.
> > >
> > > My main need is examples.
> > >
> > > Thanks!
> > > Best Whishes,
> > > Dani.
> > Streams are a bit different than files; you see, streams are an abstraction on input/output and therefore different than files. Consider, for example, an output stream that controls a radio transmitter. There's no possible way to "unsend" the data: it's a write-only device.
> >
> > If you're using Ada's standard library, with the XXX_IO packages, I believe what you want is Ada.Direct_IO.
prev parent reply other threads:[~2021-07-05 4:06 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-06-27 19:33 Hi! How I can make _indexed_ stream file Input/Output ? Thanks Daniel Norte Moraes
2021-06-28 1:36 ` Dennis Lee Bieber
2021-07-02 20:57 ` Shark8
2021-07-05 4:06 ` zac brown
2021-07-05 4:06 ` zac brown [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