next up previous contents index
Next: at_end_of_file Up: About position Previous: current_position

end_of_file

  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