module OASISUnixPath:sig..end
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.
Author(s): Sylvain Le Gall
typeunix_filename =string
typeunix_dirname =unix_filename
typehost_filename =string
typehost_dirname =host_filename
val current_dir_name : unix_filenameval is_current_dir : unix_filename -> boolval parent_dir_name : unix_filenameval 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 exportedval add_extension : unix_filename -> string -> unix_filenameadd_extension fn ext Add the extension ext to the filename fn.
Not exportedval replace_extension : unix_filename -> string -> unix_filenamereplace_extension fn ext Add the extension ext to the filename fn.
Not exportedval 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_filenameval make_relative : unix_filename ->
unix_filename -> unix_filenamemake_relative fn_root fn Make fn relative to fn_root.
Not exportedval is_current : unix_filename -> boolmodule Set:OASISUtils.SetExt.Swith type elt = unix_filename