module Filename: sig endval current_dir_name : string.) 。val parent_dir_name : string..) 。val concat : string -> string -> stringconcat dir file は指定されたディレクトリ dir 中の指定されたファイル file を表すファイル名を返します。val is_relative : string -> booltrue を返します。絶対的なものである場合 (つまり Unix で / で始まるもの) 、false を返します。val is_implicit : string -> bool./ や ../) で始まらない場合 true を返します。ルートディレクトリや現在のディレクトリに対して明示的な参照で始まる場合は false を返します。val check_suffix : string -> string -> boolcheck_suffix name suff はファイル名 name が接尾辞 suff で終わる場合は true を返します。val chop_suffix : string -> string -> stringchop_suffix name suff はファイル名 name から接尾辞 suff を取り除きます。name が suff で終わらない場合の動作は未定義です。val chop_extension : string -> string.xyz) 。
与えられたファイル名の中にピリオドがない場合は例外 Invalid_argument を発生します。
val basename : string -> stringconcat (dirname name) (basename name) で name と同じものを返します。カレントディレクトリを dirname name に (Sys.chdir で) 設定した後、(相対的なファイル名) basename name が示すファイルは Sys.chdir を呼ぶ前 name が示していたファイルと同じです。val dirname : string -> stringFilename.basename を見て下さい。val temp_file : string -> string -> stringtemp_file prefix suffix はテンポラリディレクトリ中の新しい一時ファイルのファイル名を返します。一時ファイルのベースファイル名は prefix で始まり、適当に選ばれた整数が挟まり、suffix で終わっています。一時ファイルは空で、パーミッションは 0o600 (ファイルオーナだけが読み書き可能) になっています。このファイルは temp_file が呼ばれた時点で存在するどのファイルとも異なることが保証されます。Unix 環境では、テンポラリディレクトリはデフォルトで /tmp です。環境変数 TMPDIR が設定されていればそちらを使用します。Windows 環境では、デフォルトで C:\temp で、環境変数 TEMP があればそちらになります。MacOS 環境では、デフォルトでカレントディレクトリで、環境変数 TempFolder があればそちらになります。val open_temp_file : ?mode:Pervasives.open_flag list ->
string -> string -> string * Pervasives.out_channelFilename.temp_file と同じですが、新しい一時ファイル名だけでなく、このファイルを (自動的に) オープンした出力チャンネルも返します。この関数は temp_file よりも安全です。というのは、プログラムが temp_file で作成した一時ファイルをオープンする前に、ファイルを改変される危険がない (例えば、シンボリックリンクと置き換えるなど) からです。オプション引数 mode はファイルオープンのフラグのリストで、Open_append 、Open_binary 、Open_text の 1 つ以上を指定できます。デフォルトでは [Open_text] (テキストモードでのオープン) です。val quote : string -> string