Module Filename


module Filename = struct ... end
Simple values
current_dir_name string
The conventional name for the current directory (e.g. . in Unix).
parent_dir_name string
The conventional name for the parent of the current directory (e.g. .. in Unix).

Functions

concat : string -> string -> string
concat dir file returns a file name that designates file file in directory dir.

is_relative : string -> bool
Return true if the file name is relative to the current directory, false if it is absolute (i.e. in Unix, starts with /.

is_implicit : string -> bool
Return true if the file name is relative and does not start with an explicit reference to the current directory (./ or ../ in Unix), false if it starts with an explicit reference to the root directory or the current directory.

check_suffix : string -> string -> bool
check_suffix name suff returns true if the filename name ends with the suffix suff.

chop_suffix : string -> string -> string
chop_suffix name suff removes the suffix suff from the filename name. The behavior is undefined if name does not end with the suffix suff.

chop_extension : string -> string
Return the given file name without its extension. The extension is the shortest suffix starting with a period, .xyz for instance. Raise Invalid_argument if the given name does not contain a period.

basename : string -> string

dirname : string -> string
Split a file name into directory name / base file name. concat (dirname name) (basename name) returns a file name which is equivalent to name. Moreover, after setting the current directory to dirname name (with Sys.chdir), references to basename name (which is a relative file name) designate the same file as name before the call to Sys.chdir.

temp_file : prefix:string -> suffix:string -> string
temp_file prefix suffix returns the name of a fresh temporary file in the temporary directory. The base name of the temporary file is formed by concatenating prefix, then a suitably chosen integer number, then suffix. The temporary file is created empty, and is guaranteed to be different from any other file that existed when temp_file was called. Under Unix, the temporary directory is /tmp by default; if set, the value of the environment variable TMPDIR is used instead. Under Windows, the name of the temporary directory is the value of the environment variable TEMP, or C:\temp by default. Under MacOS, the name of the temporary directory is given by the environment variable TempFolder; if not set, temporary files are created in the current directory.

quote : string -> string
Return a quoted version of a file name, suitable for use as one argument in a shell command line, escaping any shell meta-characters.