open_file, close_file, get_line

open_file("filename")

:: filename を読み出し用にオープンする.

close_file(num)

:: 識別子 num のファイルをクローズする.

get_line(num)

:: 識別子 num のファイルから 1 行読む.

return

open_file() : 整数 (識別子); close_file() : 1; get_line() : 文字列

filename

ファイル名 (パス名)

num

非負整数 (ファイル識別子)

• open_file() は読み出し用にファイルをオープンする. 成功した 場合, ファイル識別子として非負整数を返す. 失敗の場合エラーとなる. 不要になったファイルは close_file() でクローズする.
• get_line() は現在オープンしているファイルから 1 行読み, 文字列として返す.
• ファイルの終りまで読んだ後に get_line() が呼ばれた場合, 整数の 0 を返す.
• 読み出した文字列は, 必要があれば sub_str() などの文字列処理 関数で加工したのち eval_str() により内部形式に変換できる.

[185] Id = open_file("test");
0
[186] get_line(Id);
12345

[187] get_line(Id);
67890

[188] get_line(Id);
0
[189] type(@@);
0

参照

section eval_str, section str_len, str_chr, sub_str.

Go to the first, previous, next, last section, table of contents.