Next: File Output Functions, Previous: Byte Data File Input Functions, Up: The File Library [Index]
integer f_look(file f, text c);
reads the f file for as long as the read characters do not belong to the c character set (read result is discarded). The next read will start with the met in c character.
is the number of read (discarded) characters (bytes), -1 if end of file was reached before reading any character.
integer f_side(file f, text c);
reads the f file for as long as the read characters belong to the c character set (read result is discarded). The next read will start with the met not in c character.
is the number of read (discarded) characters (bytes), -1 if end of file was reached before reading any character.
integer f_skip(file f, integer n);
reads away n bytes from the f file. No I/O operation is attempted if enough bytes are cached.
is the number of read (discarded) characters (bytes), -1 if end of file was reached before reading any character.
integer f_slip(file f);
reads the f file until the next new line character or until the files expires (read result is discarded). The next read will start with the character just after the met new line.
is the number of read (discarded) characters (bytes), not including the new line character, -1 if end of file was reached before reading any character (including new line).
Next: File Output Functions, Previous: Byte Data File Input Functions, Up: The File Library [Index]