Re: Truncating Direct IO files

["Randy Brukardt" <randy@rrsoftware.com>]

"tonyg" <tonythegair@gmail.com> wrote in message 
news:8323246f-eb13-49e8-9e0c-5c5ec1002060@googlegroups.com...
>
>
> I am recording records to disk. Sometimes I replace thes records with a 
> smaller set of records.
>    I could delete the file each time but would prefer to truncate the 
> file. I can't see a way of doing this, can you?

Ada doesn't provide that, mainly because not all popular operating systems 
provide a truncation mechanism for files, and we don't want implementations 
to have to fall back on the very expensive copy the whole file and replace 
mechanism (obviously, if that is acceptable to you, you can write that 
yourself).

It appears that Ada 95 stream files provide truncation on Close and Reset 
(and thus some implementations do implement that, but all surveyed 
implementations did it wrong), but many implementations don't truncate and 
Ada 2005 and later removed the wording that appeared to require it. So one 
cannot depend on that.

                                           Randy.