Next: at_end_of_file
Up: About position
Previous: current_position
int end_of_file();
Returns the end of file position, thus the number of characters
in the buffer. For an empty file end_of_file
returns 0.
Lionel Fournigault
Fri Nov 6 17:00:30 MET 1998