[ Obsolete | Reference Manual | Alphabetic Index ]

errno_id(+N, -Message)

Message is bound to the message string that corresponds to the UNIX message for a system call error when the UNIX errno has the value N.
N
Positive integer.
Message
Variable.

This built-in predicate is obsolete!

Description

This predicate unifies Message with the string that corresponds to the UNIX message for a system call error when errno has the value N.

The errors are system dependent. In SunOS 4.0, there are 89 defined UNIX system call errors.

Modes and Determinism

Exceptions

(4) instantiation fault
N is not instantiated.
(5) type error
N is instantiated, but not to an integer.
(5) type error
Message is instantiated.

Examples

Success:
        % the following sample errors are for SunOS 4.0
      errno_id(1,M).  (gives M = "Not owner").
      errno_id(2,M).  (gives M = "No such file or directory").
      errno_id(3,M).  (gives M = "No such process").
      errno_id(4,M).  (gives M = "Interrupted system call").
      errno_id(5,M).  (gives M = "I/O error").
      errno_id(6,M).  (gives M = "No such device or address").
      errno_id(89,M). (gives M = "Remote address changed").
      errno_id(90,M). (gives M = "Unknown system error").
        % the latter occurs for all errors greater than 89.
Error:
      errno_id(N,M).         (Error 4).
      errno_id(1.0,M).       (Error 5).
      errno_id(1,"message"). (Error 5).


See Also

errno_id / 1