[ 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).