category
os_types
¶
A set of operating-system related types.
Author: Paulo Moura
Version: 1.2
Date: 2018/2/28
Compilation flags:
static
Provides:
Public interface¶
(see related entities)
Protected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)
Remarks¶
Provided types: This category adds “file”, “file(Extensions)”, “directory”, and “environment_variable” types for type-checking when using the “type” 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.