Re: KI_FILE count precondition
Eric Bezault <ericb-D6Qt/9opevxWk0Htik3J/[email protected]>
| Newsgroups | gmane.comp.lang.eiffel.gobo.general |
|---|---|
| Message-ID | <[email protected]> |
Bernd Schoeller wrote: > Can anybody motivate for me the reason of the 'is_closed' precondition in > KI_FILE? If the file is not closed, then we might be writing to it. The new characters may still be in the buffer or already on disk. What does `count' means in that case? If you want to know the size of a file on disk, use KL_SHARED_FILE_SYSTEM.file_system.file_count. -- Eric Bezault mailto:ericb-D6Qt/9opevxWk0Htik3J/[email protected] http://www.gobosoft.com