[ Obsolete | Reference Manual | Alphabetic Index ]

# local_record(++Key)

Declare the record with key Key to be local to the context module

Key
  Key specification of the form Name/Arity or just Name.

### This built-in predicate is obsolete!

## Description

Declare the record with key Key to be local to the context module.

Key is equal to Key/0.

### Modes and Determinism

- local_record(++) is det

### Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

### Exceptions

(4) instantiation fault
  Key is not instantiated.
(5) type error
  Key is not of the form Atom or Atom/Integer.
(44) named object already exists
  Key is already the key of a local record.

## Examples

    Success:
          [eclipse]: module(numbers).
          [numbers]: local_record(type/0).
          yes
          [numbers]: record(type, integer),
                  record(type, real),
                  record(type, fractional).
          yes.
          [numbers]: module(beer).
          [beer]: local_record(type),
                  record(type, lager),
                  record(type, stout).
          yes.
          [beer]: recorded(type, Type).
          Type = lager     More? (;)
          Type = stout     More? (;)
          no (more) solution.
          [beer]: module(numbers).
          [numbers]: recorded(type, Type).
          Type = integer     More? (;)
          Type = real     More? (;)
          Type = fractional     More? (;)
          no (more) solution.
          [numbers]: module(other).
          [other]: recorded(type, Type).
          no (more) solution.

    Error:
          local_record(X).               (Error 4).
          local_record(123).             (Error 5).
          local_record(key/3),
              local_record(key/3).       (Error 44).

## See Also

record / 1, abolish_record / 1, erase / 2, erase_all / 1, record / 2, recorded / 2