eof


Name:
eof - check eof status of a stream
Synopsis:
streamhandle eof -> streamhandle true  
-> streamhandle false
Description:
 
This function provides a direct interface to
the C++ stream::eof() member function.
Author:
Diesmann, Hehl  
FirstVersion:
19.4.1999  
SeeAlso: Source:
/home/nest/work/nest-2.14.0/lib/sli/typeinit.sli