[ Non-logical Variables, Arrays, Bags, Shelves and Stores | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

current_array(?Array, ?Options)

Succeeds if there exists an array as denoted by Array and with type and visibility as given in the list Options.
?Array
Atom or compound term.
?Options
Variable or list.

Description

current_array/2 is used to retrieve information about existing visible arrays, non-logical variables and references. Array is a term denoting the array's name and dimensions and Options is a list describing the array's type (prolog, float, integer or byte) and visibility.

Fail Conditions

Fails if there is no (further) array whose name unifies with ArrayName, dimension list with ListOfBounds and type with Type.

Resatisfiable

Yes.

Exceptions

(5) type error
Array is neither variable, atom nor compound term.
(5) type error
Options is neither a list nor a variable.

Examples

[eclipse 1]: local array(a(2)), array(b(2,3,4), float).

yes.
[eclipse 2]: current_array(a(Size), [Type,Vis|_]).

Size = 2
Type = prolog
Vis = local
yes.
[eclipse 3]: current_array(Array, Props).

Array = a(2)
Props = [prolog, local]     More? (;)

Array = b(2, 3, 4)
Props = [float, local]     More? (;)

no (more) solution.

Error:
      current_array("a", L).    (Error 5).
      current_array(a, 9).      (Error 5).

See Also

array / 1, array / 2, variable / 1