Next: , Previous: , Up: The File Library   [Index]


13.7.10 Miscellaneous File Functions

f_d

integer f_d(file f);

is the file descriptor corresponding the f file

f_datasync

void f_datasync(file f);

flushes the f file data to disk (i.e. calls fdatasync(2) for f) if f is an opened system file, does nothing otherwise

f_kate

void f_kate(file f, integer s);

truncates the (write opened) f file to a size of s bytes

f_seek

void f_seek(file f, integer offset, integer whence);

repositions the f file to offset according to the whence directive

See File Seek Definitions.

f_set

file f_set(file &f, file h);

is h, sets the f file object as a reference of the h file object

f_stored

integer f_stored(file f);

is the number of read but not yet consumed bytes for the f file if f is opened for reading, 0 otherwise

f_sync

void f_sync(file f);

flushes the f file to disk (i.e. calls fsync(2) for f) if f is an opened system file, does nothing otherwise

f_tell

integer f_tell(file f);

is the f file position