module LargeFile:ラージファイルに対するファイル操作。sig
..end
このサブモジュールでは以下の関数の 64 ビット版を提供します。
Unix.lseek
(ファイル記述子の位置の設定)、
Unix.truncate
と Unix.ftruncate
(ファイルサイズの変更)、
Unix.stat
、 Unix.lstat
、 Unix.fstat
(ファイル情報の取得)。
これらの関数ではファイルの位置とサイズを通常の int
型の整数ではなく int64
型の 64 ビット整数で表します。そのため、
max_int
を越えるサイズを扱うことができます。
val lseek : Unix.file_descr -> int64 -> Unix.seek_command -> int64
val truncate : string -> int64 -> unit
val ftruncate : Unix.file_descr -> int64 -> unit
type
stats = {
|
st_dev : |
(* | デバイス番号 | *) |
|
st_ino : |
(* | inode 番号 | *) |
|
st_kind : |
(* | ファイルの種類 | *) |
|
st_perm : |
(* | ファイルのパーミッション | *) |
|
st_nlink : |
(* | リンクの数 | *) |
|
st_uid : |
(* | 所有者のユーザー ID | *) |
|
st_gid : |
(* | ファイルのグループ ID | *) |
|
st_rdev : |
(* | デバイスのマイナ番号 | *) |
|
st_size : |
(* | バイト単位での大きさ | *) |
|
st_atime : |
(* | 最終アクセス時刻 | *) |
|
st_mtime : |
(* | 最終修正時刻 | *) |
|
st_ctime : |
(* | 最後に状態を変更した時刻 | *) |
val stat : string -> stats
val lstat : string -> stats
val fstat : Unix.file_descr -> stats