Sophie

Sophie

distrib > Fedora > 15 > i386 > by-pkgid > ee20b853417d05e895bb39af877e8913 > files > 80

ocaml-fileutils-devel-0.4.0-5.fc15.i686.rpm

<html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="FileUtil" rel="Chapter" href="FileUtil.html">
<link title="FileUtilStr" rel="Chapter" href="FileUtilStr.html">
<link title="FilePath" rel="Chapter" href="FilePath.html"><title>FilePath</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;filename&nbsp;=&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;extension&nbsp;=&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">exception</span>&nbsp;<span class="constructor">BaseFilenameRelative</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">exception</span>&nbsp;<span class="constructor">UnrecognizedOS</span>&nbsp;<span class="keyword">of</span>&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">exception</span>&nbsp;<span class="constructor">EmptyFilename</span><br>
&nbsp;&nbsp;<span class="keyword">exception</span>&nbsp;<span class="constructor">NoExtension</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">exception</span>&nbsp;<span class="constructor">InvalidFilename</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_subdir&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_updir&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;compare&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;current_dir&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;parent_dir&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_filename&nbsp;:&nbsp;string&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;basename&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;dirname&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;concat&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;reduce&nbsp;:&nbsp;?no_symlink:bool&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_absolute&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_relative&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;reparent&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;identity&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_valid&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_relative&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_current&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_parent&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;chop_extension&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_extension&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.extension<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;check_extension&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.extension&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;add_extension&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.extension&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;replace_extension&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.extension&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;string_of_path&nbsp;:&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;path_of_string&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.filename&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="keyword">type</span>&nbsp;<span class="constructor">PATH_SPECIFICATION</span>&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;extension<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;string_of_filename&nbsp;:&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;filename_of_string&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;extension_of_string&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.extension<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;string_of_extension&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.extension&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_filename&nbsp;:&nbsp;string&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_subdir&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_updir&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;compare&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;basename&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;dirname&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;concat&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;reduce&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;?no_symlink:bool&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_absolute&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_relative&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;reparent&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;identity&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_valid&nbsp;:&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_relative&nbsp;:&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_current&nbsp;:&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_parent&nbsp;:&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;chop_extension&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_extension&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.extension<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;check_extension&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.extension&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;add_extension&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.extension&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;replace_extension&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.extension&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;string_of_path&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;path_of_string&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename&nbsp;list<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;current_dir&nbsp;:&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;parent_dir&nbsp;:&nbsp;<span class="constructor">FilePath</span>.<span class="constructor">PATH_SPECIFICATION</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="keyword">type</span>&nbsp;<span class="constructor">PATH_STRING_SPECIFICATION</span>&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">Abstract</span>&nbsp;:&nbsp;<span class="constructor">PATH_SPECIFICATION</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;filename&nbsp;=&nbsp;string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;extension&nbsp;=&nbsp;string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;string_of_filename&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;filename_of_string&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;extension_of_string&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;extension<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;string_of_extension&nbsp;:&nbsp;extension&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_filename&nbsp;:&nbsp;string&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_subdir&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_updir&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;compare&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;basename&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;dirname&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;concat&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;reduce&nbsp;:&nbsp;?no_symlink:bool&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_absolute&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_relative&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;reparent&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;identity&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_valid&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_relative&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_current&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_parent&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;chop_extension&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_extension&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;extension<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;check_extension&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;extension&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;add_extension&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;extension&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;replace_extension&nbsp;:&nbsp;filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;extension&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;string_of_path&nbsp;:&nbsp;filename&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;path_of_string&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;filename&nbsp;list<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;current_dir&nbsp;:&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;parent_dir&nbsp;:&nbsp;filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">DefaultPath</span>&nbsp;:&nbsp;<span class="constructor">PATH_STRING_SPECIFICATION</span><br>
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">UnixPath</span>&nbsp;:&nbsp;<span class="constructor">PATH_STRING_SPECIFICATION</span><br>
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">MacOSPath</span>&nbsp;:&nbsp;<span class="constructor">PATH_STRING_SPECIFICATION</span><br>
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">Win32Path</span>&nbsp;:&nbsp;<span class="constructor">PATH_STRING_SPECIFICATION</span><br>
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">CygwinPath</span>&nbsp;:&nbsp;<span class="constructor">PATH_STRING_SPECIFICATION</span><br>
<span class="keyword">end</span></code></body></html>