|
|
|||||||||
入力ストリームが終了位置にあるかどうかを検査する。
at_end_of_stream
at_end_of_stream(+ストリーム)
at_end_of_streamは、現在入力ストリームが終了位置にあれば、成功する。at_end_of_stream(ストリーム)は、ストリーム が終了位置にあれば、成功する。
成功するために、ストリーム は、オープンストリームと関連づけられていなければならず、end_of_stream(at) あるいは、end_of_stream(past)の特性をもたなければならない。
引数
ストリーム 入力ストリーム
例
'input_stream' は、完全に読取られた入力ストリームとする。
| at_end_of_stream(input_stream). | 成功. |
標準
これらの述語は、ISO-Prolog 標準に含まれる。
関連
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_jp.html published 2012/5/21 update 1998/8/7 (c) 1996-2009 IF Computer Japan | ||||||||
|
