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_filename
val is_current_dir : unix_filename -> bool
val parent_dir_name : unix_filename
val concat : unix_filename ->
unix_filename -> unix_filename
concat fn1 fn2
Concatenate fn1 and fn2, i.e. fn1^'/'^fn2
.val make : unix_filename list -> unix_filename
make lst
Concatenate all filename components of lst
.val dirname : unix_filename -> unix_filename
dirname fn
Return directory name of fn
or current_dir_name
if no
directory name is defined.val basename : unix_filename -> unix_filename
basename fn
Return filename without its directory name.val chop_extension : unix_filename -> unix_filename
chop_extension fn
Remove the last part of the filename, after a '.',
return fn
if there is no extension.val check_extension : unix_filename -> string -> bool
check_extension fn ext
Check that the filen fn
has the extension ext
.
Not exportedval add_extension : unix_filename -> string -> unix_filename
add_extension fn ext
Add the extension ext
to the filename fn
.
Not exportedval replace_extension : unix_filename -> string -> unix_filename
replace_extension fn ext
Add the extension ext
to the filename fn
.
Not exportedval capitalize_file : unix_filename -> unix_filename
capitalize_file fn
Return filename capitalized.val uncapitalize_file : unix_filename -> unix_filename
uncapitalize_file fn
Return filename uncapitalized.val reduce : unix_filename -> unix_filename
val make_relative : unix_filename ->
unix_filename -> unix_filename
make_relative fn_root fn
Make fn
relative to fn_root
.
Not exportedval is_current : unix_filename -> bool
module Set:OASISUtils.SetExt.S
with type elt = unix_filename