Re: xor

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

On 12-03-29 02:25 , Randy Brukardt wrote:
> "Niklas Holsti"<niklas.holsti@tidorum.invalid>  wrote in message
> news:9tgqomFflrU1@mid.individual.net...
>> On 12-03-28 18:23 , Michael Moeller wrote:
> ...
>>> I don't want to push your helpfulness to far, but I still don't
>>> know whether there is any means to determine the size of a file
>>> from within Ada other than using a C subroutine calling fstat.
>>
>> Two ways:
>>
>> - Ada.Directories.Size, given the file name.
>> - Ada.Direct_IO.Size, given an open (Direct_IO) file.
>
> Actually, three ways:

Ok, I showed two ways, but did not mean that there aren't other ways.

> Ada.Stream_IO.Size, given an open (Stream_IO) file.

If "positioning is not supported" for the stream file, the result of 
Ada.Stream_IO.Size is implementation defined. Positioning is probably 
supported for the kinds of files the OP uses now, but it is a bit of 
trap for possible future uses of the program, for example if the program 
is later used in a shell pipeline. A pipe probably does not support 
positioning.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .