category

os_types

A set of operating-system related types.

Author: Paulo Moura
Version: 1.2
Date: 2018/2/28
Compilation flags:
static
Provides:
Uses:
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.

Public predicates

(see entity ancestors)

Protected predicates

(see entity ancestors)

Private predicates

(see entity ancestors)

Operators

(none)

See also

osp, os, type