ReadFile は、ファイルを開いてすべてのデータを読み込み、解凍して閉じるという処理をすべて行う一体型のコマンドです。

2 番目のパラメータに "string" を指定した場合は、ファイルのコンテンツを取得するために StringTools[FromByteArray] が呼び出されます。それ以外の場合、データ型 integer[1] の配列が返されます。

FileTools[Compressed][ReadFile] コマンドは Maple 16 で導入されました。

Maple 16 における変更点についての詳細は、Maple 16 の新機能 を参照してください。

file := FileTools[TemporaryFilename](cat(FileTools[TemporaryDirectory](),kernelopts(dirsep),"GZtest-"));

FileTools[Compressed][WriteFile](file, "This is a test");

FileTools[Compressed][ReadFile](file, "string");

FileTools[Compressed][WriteFile](file, Array(1..50, 0, datatype=integer[1]));

FileTools[Compressed][ReadFile](file);

FileTools[Remove](file);