Unix path manipulation
The filename and dirname used in '_oasis' file and OASISTypes.package are always encoded as Unix path. They are changed when using it on the target system.
type unix_dirname = unix_filenametype host_dirname = host_filenameval current_dir_name : unix_filename'.' on Unix.
val is_current_dir : unix_filename -> boolTest if the filename is current dir (either '.' or '') on Unix.
val parent_dir_name : unix_filename'..' on Unix.
val concat : unix_filename -> unix_filename -> unix_filenameconcat fn1 fn2 Concatenate fn1 and fn2, i.e. fn1^'/'^fn2.
val make : unix_filename list -> unix_filenamemake lst Concatenate all filename components of lst.
val dirname : unix_filename -> unix_filenamedirname fn Return directory name of fn or current_dir_name if no directory name is defined.
val basename : unix_filename -> unix_filenamebasename fn Return filename without its directory name.
val chop_extension : unix_filename -> unix_filenamechop_extension fn Remove the last part of the filename, after a '.', return fn if there is no extension.
val check_extension : unix_filename -> string -> boolcheck_extension fn ext Check that the filen fn has the extension ext. Not exported
val add_extension : unix_filename -> string -> unix_filenameadd_extension fn ext Add the extension ext to the filename fn. Not exported
val replace_extension : unix_filename -> string -> unix_filenamereplace_extension fn ext Add the extension ext to the filename fn. Not exported
val capitalize_file : unix_filename -> unix_filenamecapitalize_file fn Return filename capitalized.
val uncapitalize_file : unix_filename -> unix_filenameuncapitalize_file fn Return filename uncapitalized.
val reduce : unix_filename -> unix_filenameTry to compress the filename by removing '.' and collapsing '..'. Not exported
val make_relative : unix_filename -> unix_filename -> unix_filenamemake_relative fn_root fn Make fn relative to fn_root. Not exported
val is_current : unix_filename -> boolTest if the filename is the current directory. Not exported
module Set : OASISUtils.SetExt.S with type elt = unix_filenameSet for Unix path. Not exported