is_locked(+Module)

Module

Atom.

This built-in predicate is obsolete!

Description

Modes and Determinism

• is_locked(+) is semidet

Fail Conditions

Exceptions

(4) instantiation fault

Module is not instantiated.

(5) type error

Module is instantiated, but not to an atom.

(80) not a module

Module is not a module.

Examples

Success:
      [eclipse]: create_module(m).
      yes.
      [eclipse]: lock(m, "pass").
      yes.
      [eclipse]: module(m).
      trying to access a locked module in module(m)
      [eclipse]: is_locked(m), unlock(m, "pass").
      yes.
      [eclipse]: is_locked(m).
      no.
      [eclipse]: module(m).
      [m]:
Error:
      is_locked(M).                  (Error 4).
      is_locked(1).                  (Error 5).
      is_locked(not_a_module).       (Error 80).

See Also