category
os_types¶
A set of operating-system related types.
static
Provided types: This category adds
file,file(Extensions),file(Extensions,Permissions),directory,directory(Permissions), andenvironment_variabletypes for type-checking when using thetypelibrary object.Type
file: For checking if a term is an atom and an existing file.Type
file(Extensions): For checking if a term is an atom and an existing file with one of the listed extensions (specified as'.ext').Type
file(Extensions,Permissions): For checking if a term is an atom and an existing file with one of the listed extensions (specified as'.ext') and listed permissions ({read,write,execute}).Type
directory: For checking if a term is an atom and an existing directory.Type
directory(Permissions): For checking if a term is an atom and an existing directory with the listed permissions ({read,write,execute}).Type
environment_variable: For checking if a term is an atom and an existing environment variable.
Public predicates¶
(no local declarations; see entity ancestors if any)
Protected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)