PowerFX V1.0 運用説明書 - Microsoft(R) Windows(R) -

3.4.10 eof

機能：

ファイルからすべてのデータが読み込まれたかを判断します。

形式：

eof channelid

オプション：

なし

パラメーター：

channelid
読み込み位置を判断するファイルのチャンネルＩＤを指定します。

復帰値：

1：
ファイルのデータはすべて読み込まれています。

1以外：
ファイルに読み込まれていないデータがあります。

注意事項：

なし

使用例：

ファイルの内容をすべて標準出力に出力します。

#ファイルをオープンします。
if {[catch {set chid [open data.txt r]}]} {
    puts "ファイルが存在しません"
    exit
}

#ファイルからデータを読み込み、出力します。
while { [eof $chid] != 1 } {
     puts [gets $chid]
}

#ファイルをクローズします。
close $chid