[ Obsolete | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

is_locked(+Module)

Succeeds if the module Module is locked.
Module
Atom.

This built-in predicate is obsolete!

Description

Used to test whether the module Module is locked.

Modes and Determinism

Fail Conditions

Fails if the module Module is not locked

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

lock / 1, lock / 2, unlock / 2, get_module_info / 3