From: DrPi <314@drpi.fr>
Subject: Usage of Stream Set_Index() function
Date: Fri, 14 Jan 2022 19:30:25 +0100 [thread overview]
Message-ID: <61e1c144$0$6478$426a74cc@news.free.fr> (raw)
Hi,
I'm writing an application where I read a file with a complex structure.
For this, I use Ada.Streams.Stream_IO package.
To read the file, I need to position the file pointer to the correct
location. I do this using Set_Index().
In ARM A.12.1, it is stated :
For Read and Write with a Positive_Count parameter, the value of the
current index is set to the value of the Positive_Count parameter plus
the number of stream elements read or written.
I don't understand the "plus the number of stream elements read or written".
Does this mean one can't go back to beginning of file once data have
been read ?
Nicolas
next reply other threads:[~2022-01-14 18:30 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-01-14 18:30 DrPi [this message]
2022-01-14 20:35 ` Usage of Stream Set_Index() function Niklas Holsti
2022-01-15 10:36 ` DrPi
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox