category
os_types
¶
A set of operating-system related types.
Author: Paulo Moura
Version: 1:2:0
Date: 2018-02-28
Compilation flags:
static
Remarks:
Provided types: This category adds
file
,file(Extensions)
,directory
, andenvironment_variable
types for type-checking when using thetype
library 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 directory: For checking if a term is an atom and an existing directory.
Type environment_variable: For checking if a term is an atom and an existing environment variable.
Inherited public predicates:
(none)
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)