category

os_types

A set of operating-system related types.

Author: Paulo Moura
Version: 1:2:0
Date: 2018-02-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.

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)

Operators

(none)

See also

osp, os, type