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:35 -0700 (PDT) [thread overview]
Message-ID: <9f034eef-dc90-4c92-be32-41be4ba1c302n@googlegroups.com> (raw)
In-Reply-To: <dc31d424-9528-4bae-9b7a-1ff379a9945cn@googlegroups.com>
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.
next 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 [this message]
2021-07-05 4:06 ` zac brown
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox