| [ << ] | [ < ] | [上] | [ > ] | [ >> ] | [冒頭] | [目次] | [見出し] | [ ? ] |
圧縮ファイル(zipファイル、gzipファイル)に関連する手続きです。
| [ << ] | [ < ] | [上] | [ > ] | [ >> ] | [冒頭] | [目次] | [見出し] | [ ? ] |
zipファイルを開きます。
与えられたエントリ名に対応するzipファイルのエントリオブジェクトを取得します。
zipファイルにあるエントリを全て取得します。
それぞれzipファイルのコメント、圧縮サイズ、CRC、 圧縮メソッド(シンボルdeflatedまたはstored)、名称、サイズ、 時刻(SRFI-19形式)を取得します。
zipエントリにアクセスする入力ポートを生成します。
buffer-mode、transcoderはそれぞれR6RSのバッファモードとtranscoderを指定します。
trancoderが#fのときはバイナリポートとなります。
| [ << ] | [ < ] | [上] | [ > ] | [ >> ] | [冒頭] | [目次] | [見出し] | [ ? ] |
gzip圧縮されたファイルの入力ポートを生成します。
fileoptions、buffer-mode、transcoderはそれぞれ
R6RSのファイルオプション、バッファモードとtranscoderを指定します。
trancoderが#fのときはバイナリポートとなります。
gzip圧縮されたファイルの出力ポートを生成します。
fileoptions、buffer-mode、transcoderはそれぞれ
R6RSのファイルオプション、バッファモードとtranscoderを指定します。
trancoderが#fのときはバイナリポートとなります。
| [ << ] | [ < ] | [上] | [ > ] | [ >> ] |
この文書は12月 15, 2012にtexi2html 5.0を用いて生成されました。