|
|
|||||||||
tests whether the inputstream is positioned at the end.
at_end_of_stream
at_end_of_stream(+Stream)
at_end_of_stream succeeds if the position of the current inputstream is at the end. at_end_of_stream(Stream) succeeds if the position of Stream is at the end.
To succeed Stream must be associated with an open stream and must have the property end_of_stream(at) or end_of_stream(past).
Arguments
Stream input stream
Examples
'input_stream' is an input stream which has been completely scanned.
| at_end_of_stream(input_stream). | Succeeds. |
Standard
These predicates are part of the ISO-Prolog Standard.
See also
close/1/2, current_error/1, current_input/1, current_output/1, flush_output/0/1, open/3/4, set_error/1, set_input/1, set_output/1.
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/stream_selection/at_end_of_stream/print_en.html published 2008/9/1 update 1998/8/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
