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
Mon Dec 15 10:53:26 MET 1997