category
os_types
A set of operating-system related types.
logtalk_load(os(loader))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)
Operators
(none)