[ Obsolete | 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

- is_locked(+) is semidet

### 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