@ciao-lang/ts-ciao-interface

<!DOCTYPE HTML><html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><meta name="theme-color" content="#273f79"/><link rel="stylesheet" href="lpdoc.css" type="text/css"/><script type="text/javascript" src="lpdoc.js"></script><title>File path names — The Ciao System v1.22</title></head><body><div class="lpdoc-page fixleftbar"><a href="#" id="sidebar-toggle-button" class="lpdoc-navbutton">☰</a><div id="sidebar" class="lpdoc-sidebar"><div style="height: 40px; margin-left: auto; margin-right: auto"><img src="ciao-logo_autofig.png" width=auto height=100%></div><div class="lpdoc-nav"><a class="lpdoc-navbutton" href="StdLibs.html">↑</a><a class="lpdoc-navbutton" href="system.html">←</a><a class="lpdoc-navbutton" href="process.html">→</a><a class="lpdoc-navbutton" href="ciaosearch.html">🔍</a><a href="ciaofulltoc.html">TOC</a></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciao.html">The Ciao System</a> » </li><li><a href="StdLibs.html">PART VII - Standard libraries</a> » </li><li><a href="">File path names</a></li></ul><hr></hr>ON THIS PAGE<ul><li><a href="#Usage and interface">Usage and interface</a></li><li><a href="#Documentation on exports">Documentation on exports</a></li><li><a href="#Documentation on imports">Documentation on imports</a></li></ul></div><div class="lpdoc-main"><div id=""><h1>File path names</h1><a class="lpdoc-idx-anchor" href="ciaosearch.html#pathnames"></a> Author(s): <a class="lpdoc-idx-anchor" id="Jose F. Morales" href="ciaosearch.html#Jose F. Morales">Jose F. Morales</a>. A <a class="lpdoc-idx-anchor" id="0" href="ciaosearch.html#pathname">pathname</a> is an symbolic identifier that locates a file in a filesystem (e.g., <tt>foo/bar/baz.txt</tt>). This module provides predicates to manipulate pathnames, encoded as atoms. No file system access is required for pathname manipulation. <div id="Usage and interface"><h2>Usage and interface</h2><div class="lpdoc-cartouche"><ul><li>Library usage: <tt>:- use_module(library(pathnames)).</tt><li>Exports: <ul class="lpdoc-itemize-minus"><li>Predicates: <a class="lpdoc-idx-anchor" id="1" href="#path_is_absolute/1"><tt>path_is_absolute/1</tt></a>, <a class="lpdoc-idx-anchor" id="2" href="#path_is_relative/1"><tt>path_is_relative/1</tt></a>, <a class="lpdoc-idx-anchor" id="3" href="#path_is_basename/1"><tt>path_is_basename/1</tt></a>, <a class="lpdoc-idx-anchor" id="4" href="#path_is_root/1"><tt>path_is_root/1</tt></a>, <a class="lpdoc-idx-anchor" id="5" href="#path_concat/3"><tt>path_concat/3</tt></a>, <a class="lpdoc-idx-anchor" id="6" href="#path_split/3"><tt>path_split/3</tt></a>, <a class="lpdoc-idx-anchor" id="7" href="#path_norm/2"><tt>path_norm/2</tt></a>, <a class="lpdoc-idx-anchor" id="8" href="#path_splitext/3"><tt>path_splitext/3</tt></a>, <a class="lpdoc-idx-anchor" id="9" href="#path_basename/2"><tt>path_basename/2</tt></a>, <a class="lpdoc-idx-anchor" id="10" href="#path_dirname/2"><tt>path_dirname/2</tt></a>, <a class="lpdoc-idx-anchor" id="11" href="#path_relocate/4"><tt>path_relocate/4</tt></a>, <a class="lpdoc-idx-anchor" id="12" href="#path_get_relative/3"><tt>path_get_relative/3</tt></a>, <a class="lpdoc-idx-anchor" id="13" href="#path_split_list/2"><tt>path_split_list/2</tt></a>, <a class="lpdoc-idx-anchor" id="14" href="#path_concat_list/2"><tt>path_concat_list/2</tt></a>. <li>Regular Types: <a class="lpdoc-idx-anchor" id="15" href="#pathname/1"><tt>pathname/1</tt></a>. </ul></ul></div></div><div id="Documentation on exports"><h2>Documentation on exports</h2><div><div class="lpdoc-defname">REGTYPE<a class="lpdoc-idx-anchor" id="pathname/1" href="ciaosearch.html#pathname/1">pathname/1</a></div><div class="lpdoc-deftext">Usage:<tt>pathname(X)</tt> X is a pathname (encoded as an atom)<ul class="lpdoc-itemize-minus"></ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_is_absolute/1" href="ciaosearch.html#path_is_absolute/1">path_is_absolute/1</a></div><div class="lpdoc-deftext">Usage:<tt>path_is_absolute(Path)</tt> Path is an absolute pathname<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="16" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="17" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Path is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_is_relative/1" href="ciaosearch.html#path_is_relative/1">path_is_relative/1</a></div><div class="lpdoc-deftext">Usage:<tt>path_is_relative(Path)</tt> Path is a relative pathname<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="18" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="19" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Path is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_is_basename/1" href="ciaosearch.html#path_is_basename/1">path_is_basename/1</a></div><div class="lpdoc-deftext">Usage:<tt>path_is_basename(Path)</tt> Path is a basename (empty directory part) (equivalent to <tt>path_split(Path, '', _)</tt><ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="20" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="21" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Path is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_is_root/1" href="ciaosearch.html#path_is_root/1">path_is_root/1</a></div><div class="lpdoc-deftext">Usage:<tt>path_is_root(Path)</tt> Path is a root directory (normalized into <tt>/</tt> or <tt>//</tt>) (equivalent to <tt>+ Path = '', path_split(Path, Path, '')</tt><ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="22" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="23" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Path is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_concat/3" href="ciaosearch.html#path_concat/3">path_concat/3</a></div><div class="lpdoc-deftext">Usage:<tt>path_concat(PathA,PathB,Path)</tt> Concatenate pathnames PathA and PathB in a new path Path, adding a <tt>/</tt> separator if needed. If PathB is <tt>''</tt>, then Path is a <tt>/</tt> ended path. If PathB is an absolute pathname, Path is PathB. No pathname normalization is performed in any case.<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="24" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)PathA is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="25" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)PathB is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="26" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="27" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)PathA is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="28" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)PathB is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_split/3" href="ciaosearch.html#path_split/3">path_split/3</a></div><div class="lpdoc-deftext"><tt>path_split(Path,Dir,Base)</tt> Given a pathname Path, Base is the last component of the path and Dir is the rest of the path. The following rules must hold:<ul> <li>All trailing slashes from Dir are removed (except if it is a root directory containing one or more slashes, e.g., <tt>'/'</tt>, <tt>'//'</tt>). <li>If Path ends in a slash (<tt>'</tt>...<tt>/'</tt>, Base is empty (<tt>''</tt>). <li>If Path is empty, both Dir and Base are empty. <li>Concatenating Dir and Base results in pathname that is equivalent (modulo normalization) to Path. That is, for all A, B, C: <pre class="lpdoc-codeblock"> path_split(A,B,C), path_concat(B,C,D), path_norm(A,An), path_norm(D,Dn), An = Dn. </pre> </ul>Usage:<tt>path_split(Path,Dir,Base)</tt> Split Path into the directory part Dir and the basename part Base.<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="29" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="30" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Dir is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="31" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Base is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="32" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Path is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="33" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Dir is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_norm/2" href="ciaosearch.html#path_norm/2">path_norm/2</a></div><div class="lpdoc-deftext"><tt>path_norm(Path,NormPath)</tt> NormPath is the normalized pathname version of Path. Normalization removes redundant separators (<tt>//</tt> into <tt>/</tt>), and collapses references to the parent (<tt>..</tt>) and current (<tt>.</tt>) level. The parent of a root path (<tt>/</tt> or <tt>//</tt>) is itself. Empty paths (<tt>''</tt>) or relative paths where all parent references are collapsed are normalized as <tt>'.'</tt>.For compatibility, leading double-slashes are preserved in normalization (the POSIX.2 standard states that "a pathname that begins with two successive slashes may be interpreted in an implementation-defined manner, although more than two leading slashes shall be treated as a single slash."). Some systems (like Linux) ignore double-slashes while others (like Cygwin for <tt>//hostname/path</tt> SMB network drives) do not.Note that <a class="lpdoc-idx-anchor" id="34" href="#path_norm/2"><tt>path_norm/2</tt></a> does not access the filesystem, which may affect the semantics when symbolic links are used (and no path normalization is involved). E.g., the following query obtain different values for S1 and S2:<pre class="lpdoc-codeblock">?- P = '/usr/donotexists/..', path_norm(P, N), process_call(path(test), ['-e', P], [status(S1)]), process_call(path(test), ['-e', N], [status(S2)]). N = '/usr', P = '/usr/donotexists/..', S1 = 1, S2 = 0 ? ?- use_module(library(process)). ?- copy_file('/usr', 'u', [symlink]), P = 'u/../u', path_norm(P, N), process_call(path(test), ['-e', P], [status(S1)]), process_call(path(test), ['-e', N], [status(S2)]), delete_file('u'). N = u, P = 'u/../u', S1 = 1, S2 = 0 ? yes </pre> Usage:<tt>path_norm(Path,NormPath)</tt> NormPath is the normalized pathname version of Path.<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="35" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="36" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)NormPath is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="37" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Path is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_splitext/3" href="ciaosearch.html#path_splitext/3">path_splitext/3</a></div><div class="lpdoc-deftext"><tt>path_splitext(Path,NoExt,Ext)</tt> The extension Ext is the shortest suffix that begins with <tt>'.'</tt> of Path. The rest of the pathname is NoExt, which cannot be empty (<tt>''</tt>). The extension is <tt>''</tt> if the pathname has no extension.In this example, all the following goals succeed: <pre class="lpdoc-codeblock">path_splitext('a/foo.', 'a/foo', '.') path_splitext('a/foo.c', 'a/foo', '.c') path_splitext('a/foo.c.d', 'a/foo.c', '.d') path_splitext('a/.foo.', 'a/.foo', '.') path_splitext('a/.foo.c', 'a/.foo', '.c') path_splitext('a/.foo.c.d', 'a/.foo.c', '.d') </pre>Usage 1:<tt>path_splitext(Path,NoExt,Ext)</tt> Split Path into its extension Ext and the rest of the pathname NoExt.<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="38" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="39" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)NoExt is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="40" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Ext is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="41" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Path is currently a term which is not a free variable. </ul>Usage 2:<tt>path_splitext(Path,NoExt,Ext)</tt> Compose Path by concatenating the extension Ext to NoExt pathname.<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="42" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="43" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)NoExt is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="44" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Ext is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="45" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)NoExt is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="46" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Ext is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_basename/2" href="ciaosearch.html#path_basename/2">path_basename/2</a></div><div class="lpdoc-deftext">Usage:<tt>path_basename(Path,Base)</tt> Base is the basename corresponding to the Path (equivalent to <tt>path_split(Path,_,Base)</tt>).<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="47" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="48" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Base is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="49" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Path is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_dirname/2" href="ciaosearch.html#path_dirname/2">path_dirname/2</a></div><div class="lpdoc-deftext">Usage:<tt>path_dirname(Path,Dir)</tt> Dir is the directory part corresponding to the Path (equivalent to <tt>path_split(Path,Dir,_)</tt>).<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="50" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="51" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Dir is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="52" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Path is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_relocate/4" href="ciaosearch.html#path_relocate/4">path_relocate/4</a></div><div class="lpdoc-deftext">Usage:<tt>path_relocate(FromDir,ToDir,FromPath,ToPath)</tt> Replace FromDir prefix by DestDir in FromDir to generate ToDir<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="53" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)FromDir is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="54" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)ToDir is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="55" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)FromPath is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="56" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)ToPath is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="57" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)FromDir is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="58" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)ToDir is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="59" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)FromPath is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="60" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)ToPath is a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_get_relative/3" href="ciaosearch.html#path_get_relative/3">path_get_relative/3</a></div><div class="lpdoc-deftext">Usage:<tt>path_get_relative(BaseDir,Path,RelPath)</tt> Obtain path RelPath such that <tt>path_concat(BaseDir, RelPath, Path)</tt> RelPath will not contain any trailing <tt>'/'</tt><ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="61" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)BaseDir is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="62" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="63" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)RelPath is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="64" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)BaseDir is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="65" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Path is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="66" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)RelPath is a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_split_list/2" href="ciaosearch.html#path_split_list/2">path_split_list/2</a></div><div class="lpdoc-deftext">Usage:<tt>path_split_list(Path,Bases)</tt> Split Path into its components Bases, calling <a class="lpdoc-idx-anchor" id="67" href="#path_split/3"><tt>path_split/3</tt></a> recursively.<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="68" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) (<a class="lpdoc-idx-anchor" id="69" href="basic_props.html#list/2"><tt>basic_props:list/2</tt></a>)Bases is a list of pathnames. <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="70" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Path is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="path_concat_list/2" href="ciaosearch.html#path_concat_list/2">path_concat_list/2</a></div><div class="lpdoc-deftext">Usage:<tt>path_concat_list(Bases,Path)</tt> Concatenate all components in Bases a new path Path, calling <a class="lpdoc-idx-anchor" id="71" href="#path_concat/3"><tt>path_concat/3</tt></a> recursively. <ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="72" href="basic_props.html#list/2"><tt>basic_props:list/2</tt></a>)Bases is a list of pathnames. (<a class="lpdoc-idx-anchor" id="73" href="#pathname/1"><tt>pathnames:pathname/1</tt></a>)Path is a pathname (encoded as an atom) <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="74" href="term_typing.html#nonvar/1"><tt>term_typing:nonvar/1</tt></a>)Bases is currently a term which is not a free variable. </ul></div></div> </div><div id="Documentation on imports"><h2>Documentation on imports</h2>This module has the following direct dependencies:<ul class="lpdoc-itemize-minus"><li>System library modules: <a class="lpdoc-idx-anchor" id="75" href="ciaosearch.html#native_props"><tt>native_props</tt></a>, <a class="lpdoc-idx-anchor" id="76" href="lists.html"><tt>lists</tt></a>, <a class="lpdoc-idx-anchor" id="77" href="system.html"><tt>system</tt></a>. <li>Packages: <a class="lpdoc-idx-anchor" id="78" href="ciaosearch.html#prelude"><tt>prelude</tt></a>, <a class="lpdoc-idx-anchor" id="79" href="ciaosearch.html#initial"><tt>initial</tt></a>, <a class="lpdoc-idx-anchor" id="80" href="condcomp_doc.html"><tt>condcomp</tt></a>, <a class="lpdoc-idx-anchor" id="81" href="assertions_doc.html"><tt>assertions</tt></a>, <a class="lpdoc-idx-anchor" id="82" href="ciaosearch.html#assertions/assertions_basic"><tt>assertions/assertions_basic</tt></a>, <a class="lpdoc-idx-anchor" id="83" href="isomodes_doc.html"><tt>isomodes</tt></a>, <a class="lpdoc-idx-anchor" id="84" href="ciaosearch.html#nativeprops"><tt>nativeprops</tt></a>. </ul></div></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>