6.11 入出力

6.11.1 end, quit

end, quit

:: 現在読み込み中のファイルを閉じる. トップレベルにおいてはセッションを終了することになる.

• end, quit ともに無引数の函数であるが, ‘()’ なしで 呼び出すことができる. いずれも現在読み込み中のファイルを閉じる. これは, トップレベルにおいてはセッションを終了させることになる.
• ファイルの場合, ファイルの終端まで読めば, 自動的にファイルは閉じられる が, トップレベルの場合プロンプトが出ないまま, 入力待ちになるので, ファイルの終端には end$ を書くのが望ましい.

[6] quit;
%

参照

load.

6.11.2 load

load("filename")

:: filename を読み込む.

return

(1|0)

filename

ファイル名 (パス名)

• 実際のプログラムの書き方は, see section ユーザ言語 Asir. テキストファイルを読み込む場合, cpp を通すので, C のプログラム同様 #include, #define を使うことができる. unix 版では, システムにインストールされている cpp を利用している. Windows 版では mcpp http://mcpp.sourceforge.net を用いている. これには行の長さに制限があるので注意. unix/OpenXM 版(Mac 用 cfep/asir を含む)では OpenXM/bin/ox_cpp を用いている. これは Portable C compiler http://pcc.ludd.ltu.se に附属する cpp である.
• 指定したファイルが存在した時には 1 を返し, 存在しなかった時は 0 を返す.
• ファイル名が ‘/’ で始まる場合は絶対パス, ‘.’ で始まる場合は カレントディレクトリからの相対パスと見なされる. それ以外の場合, 環境変数 ASIRLOADPATH に設定されているディレクトリを左から順に サーチする. それらに該当するファイルが存在しない場合, 標準ライブラリ ディレクトリ (あるいは環境変数 ASIR_LIBDIR に設定されている ディレクトリ) もサーチする. Windows 版の場合, ASIR_LIBDIR が設定されていない場合には, get_rootdir()/lib をサーチする.
• 読み込むファイルの最後に, end$ がないと load() 終了後にプロンプトがでないが, 実際には入力を受け付ける. しかし, 混乱を招くおそれがあるのでファイルの最後に end$ を書いておくこと が望ましい. (end; でもよいが, end が返す値 0 が表示される ため, end$ をお勧めする. )
• Windows 版もディレクトリのセパレータとして ‘/’ を用いる.

参照

end, quit, which, get_rootdir.

6.11.3 which

which("filename")

:: 引数 filename に対し, load() が読み込むパス名を返す.

return

パス名

filename

ファイル名 (パス名) または 0

• load() がファイルをサーチする手順に従ってサーチし, ファイルが存在する場合にはパス名を文字列として, 存在しない場合 には 0 を返す.
• サーチの手順については load() を参照.
• Windows 版もディレクトリのセパレータとして ‘/’ を用いる.

[0] which("gr");               
./gb/gr
[1] which("/usr/local/lib/gr");
0
[2] which("/usr/local/lib/asir/gr");
/usr/local/lib/asir/gr

参照

load.

6.11.4 output

output(["filename"])

:: 以降の出力先を filenameまたは標準出力に切替える.

return

1

filename

ファイル名

• Asir の出力を標準出力から, ファイルへの出力に切替える. なお, ファイル出力の間は, 標準出力にはキーボードからの入力以外, 出力されない.
• 別のファイル出力に切替える時には, 再び output("filename") を実行する. 又, ファイル出力を終了し標準出力に戻りたい時には, 引数なしで output() を実行する.
• 指定したファイル filename が存在した時は, そのファイルの末尾に 追書きされ, 存在しなかった時には, 新たにファイルを作成し, そこに書き込まれる.
• ファイルネームを "" ダブルクォートなしで指定をしたり, ユーザが, 書き込めないファイルを指定したりすると, エラーによりトップレベルに戻る.
• 入力したものも込めてファイルに出力したい場合には, ctrl("echo",1) を実行した後でファイル出力に切替えれば良い.
• 計算時間など, 標準エラー出力に書き出されるものはファイルには書き出されない.
• 函数形式, 未定係数 (vtype() 参照) を含まない数式のファイルへの読み書きは, bload(), bsave() を使うのが, 時間, 空間ともに効率がよい.
• Windows 版もディレクトリのセパレータとして ‘/’ を用いる.

[83] output("afo");
fctr(x^2-y^2);
print("afo");
output();
1
[87] quit;
% cat afo
1
[84] [[1,1],[x+y,1],[x-y,1]]
[85] afo
0
[86]

参照

ctrl, bsave, bload.

6.11.5 bsave, bload

bsave(obj,"filename")

:: filename に obj をバイナリ形式で書き込む.

bload("filename")

:: filename から数式をバイナリ形式で読み込む.

return

bsave() : 1, bload() : 読み込んだ数式

obj

函数形式, 未定係数を含まない任意の数式

filename

ファイル名

• bsave() は内部形式をほぼそのままバイナリ形式でファイルに書き込む. bload() は, bsave() で書き込んだ数式を読み込んで内部形式 に変換する. 現在のインプリメンテーションの制限により, 函数形式, 未定係数 (vtype() 参照) を含まないリスト, 配列などを含む任意の数式をファ イルに保存することができる.
• output() などで保存した場合, 読み込み時にパーザが起動されるが, bsave() で保存したものを bload() で読む場合, 直接 内部形式が構成できるため, 時間的, 空間的に効率がよい.
• 多項式の場合, 書き込み時と読み込み時で変数順序が異なる場合があるが, その場合には, 自動的に現在の変数順序における内部形式に変換される.
• Windows 版もディレクトリのセパレータとして ‘/’ を用いる.

[0] A=(x+y+z+u+v+w)^20$
[1] bsave(A,"afo");
1
[2] B = bload("afo")$
[3] A == B;
1
[4] X=(x+y)^2; 
x^2+2*y*x+y^2
[5] bsave(X,"afo")$
[6] quit;
% asir
[0] ord([y,x])$    
[1] bload("afo");
y^2+2*x*y+x^2

参照

output.

6.11.6 bload27

bload27("filename")

:: 旧版で作られた bsave file の読み込み

return

読み込んだ数式

filename

ファイル名

• 旧版では, 多倍長整数が, 1 ワード 27 bit で表現されていたが, 新版では 1 ワード 32 bit に変更された. このため, 旧版で bsave されたバイナリファイルはそのままでは 読み込めない. このようなファイルを読み込むために bload27 を用いる.
• Windows 版もディレクトリのセパレータとして ‘/’ を用いる.

参照

bsave, bload.

6.11.7 print

print(obj [,nl])

:: obj を表示する.

return

0

obj

任意

nl

フラグ (任意)

• obj を評価して表示する.
• 第 2 引数がないか, または 0, 2 以外の場合, 改行する. 第 2 引数が 0 の場合, 改行せず, 出力はバッファに書き込まれ, バッファはフラッシュされない. 第 2 引数が 2 の場合, 改行しないがバッファはフラッシュされる.
• この函数の戻り値は 0 であるから, print(); で実行すると, 出力の後に 0 が返される. print()$ とすれば, 最後の 0 は出力されない.
• 複数の obj を同時に出力したい時は obj をリストにするとよい.

[8] def cat(L) { while ( L != [] ) { print(car(L),0); L = cdr(L);}
print(""); }
[9] cat([xyz,123,"gahaha"])$
xyz123gahaha

6.11.8 access

access(file)

:: file の存在をテストする.

return

(1|0)

file

ファイル名

• file が存在すれば 1, 存在しなければ 0 を返す.

6.11.9 remove_file

remove_file(file)

:: file を消去する.

return

1

file

ファイル名

6.11.10 open_file, close_file, get_line, get_byte, put_byte, purge_stdin

open_file("filename"[,"mode"])

:: filename をオープンする.

close_file(num)

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

get_line([num])

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

get_byte(num)

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

put_byte(num,c)

:: 識別子 num のファイルに 1 バイト c を書く.

purge_stdin()

:: 標準入力のバッファをクリアする.

return

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

filename

ファイル名 (パス名)

mode

文字列

num

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

• open_file() はファイルをオープンする. mode 指定が ない場合読み出し用, mode 指定がある場合には, C の標準入出力 関数 fopen() に対するモード指定とみなす. たとえば新規書き込み 用の場合 "w", 末尾追加の場合 "a" など. 成功した場合, ファイル識別子として非負整数を返す. 失敗の場合エラーとなる. 不要になったファイルは close_file() でクローズする. 特別なファイル名 unix://stdin, unix://stdout, unix://stderr を与えると それぞれ標準入力, 標準出力, 標準エラー出力をオープンする. この場合モード指定は無視される.
• get_line() は現在オープンしているファイルから 1 行読み, 文字列として返す. 引数がない場合, 標準入力から 1 行読む.
• get_byte() は現在オープンしているファイルから 1 バイト読み 整数として返す.
• put_byte() は現在オープンしているファイルに 1 バイト書き, そのバイトを整数として返す.
• ファイルの終りまで読んだ後に get_line() が呼ばれた場合, 整数の 0 を返す.
• 読み出した文字列は, 必要があれば sub_str() などの文字列処理 関数で加工したのち eval_str() により内部形式に変換できる.
• purge_stdin() は, 標準入力バッファを空にする. 関数内で get_line() により標準入力から文字列を受け取る場合, 既にバッファ内に存在する文字列による誤動作を防ぐためにあらかじめ 呼び出す.

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

[187] get_line(Id);
67890

[188] get_line(Id);
0
[189] type(@@);
0
[190] close_file(Id);
1
[191] open_file("test");
1
[192] get_line(1);   
12345

[193] get_byte(1);
54                   /* the ASCII code of '6' */
[194] get_line(1);
7890                 /* the rest of the last line */
[195] def test() { return get_line(); }
[196] def test1() { purge_stdin(); return get_line(); }
[197] test();
                     /* a remaining newline character has been read */
                     /* returns immediately */
[198] test1();
123;                 /* input from a keyboard */
123;                 /* returned value */

[199] 

参照

eval_str, str_len, str_chr, sub_str.

この文書は12月 21, 2024にtexi2html 5.0を用いて生成されました。