[ Obsolete | Reference Manual | Alphabetic Index ]

current_struct(?Struct)

Succeeds if Struct is a currently visible structure specification.

Struct: Variable or structure.

This built-in predicate is obsolete!

Description

Used to retrieve the definition of a defined structure, or to enumerate all visible structure definitions.

Modes and Determinism

current_struct(+) is semidet
current_struct(-) is nondet

Modules

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

Fail Conditions

There is no declared structure with Struct's functor

Exceptions

(5) type error: Struct is neither variable nor structure.

Examples

    [eclipse 1]: local struct(employee(name,age,salary)).
    yes.

    [eclipse 2]: current_struct(employee(A,B,C)).
    A = name
    B = age
    C = salary
    yes.

    [eclipse 3]: Emp = employee{}, current_struct(Emp).
    Emp = employee(name, age, salary)
    yes.

    [eclipse 4]: current_struct(S).
    S = employee(name, age, salary)     More? (;) 
    S = suspend(inst, constrained, bound)
    yes.

Error:
   current_struct(a).             (Error 5).