From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: Determining size of Standard_Input (when file contents are piped into a program).
Date: Sun, 6 Jan 2019 14:51:12 +0200
Date: 2019-01-06T14:51:12+02:00 [thread overview]
Message-ID: <g9ebtsFkj47U1@mid.individual.net> (raw)
In-Reply-To: <a7817950-7d44-4907-bf04-6c8be81e94dd@googlegroups.com>
On 19-01-06 13:02 , Bojan Bozovic wrote:
> Is there platform independent way to do this? I was unable to find
> anything in RM under Ada.text_IO.
I would say that this is impossible in principle. On some systems, other
concurrent programs can write more data into the input file as your
program is reading the file, so the input file can grow during the
execution of the program, and may not even have any fixed upper bound on
its size (apart from the total space available in the system).
IMO the only robust way is to read all of standard input and store it
within the program, or in a temporary file, and then process the stored
data.
--
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
. @ .
next prev parent reply other threads:[~2019-01-06 12:51 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-01-06 11:02 Determining size of Standard_Input (when file contents are piped into a program) Bojan Bozovic
2019-01-06 12:51 ` Niklas Holsti [this message]
2019-01-06 14:53 ` Bojan Bozovic
2019-01-07 3:05 ` Keith Thompson
2019-01-07 9:32 ` Niklas Holsti
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox