+
Point of view
All features
class JSON_ARRAY
Summary
top
Direct parents
Inherit list: JSON_TEXT, TRAVERSABLE
Class invariant
top
Overview
top
Creation features
{JSON_HANDLER}
Features
{ANY}
{ANY}
{JSON_HANDLER}
{}
{ANY}
{JSON_HANDLER}
{ANY}
Other features:
{ANY}
Agent-based features:
{ANY}
{ANY}
{}
Agent-based features:
{ANY}
{}
Indexing:
{ANY}
lower: INTEGER_32
effective function
{ANY}
top
Minimum index.
upper: INTEGER_32
effective function
{ANY}
top
Maximum index.
count: INTEGER_32
effective function
{ANY}
top
Number of available items in the hoard.
is_empty: BOOLEAN
effective function
{ANY}
top
Is the hoard empty ?
See also count.
first: JSON_VALUE
effective function
{ANY}
top
The very first item.
last: JSON_VALUE
effective function
{ANY}
top
The last item.
item (index: INTEGER_32): JSON_VALUE
effective function
{ANY}
top
Item at the corresponding index i.
new_iterator: ITERATOR[JSON_VALUE]
effective function
{ANY}
top
accept (visitor: VISITOR)
effective procedure
{ANY}
top
Accept to be visited by the visitor.
is_equal (other: JSON_ARRAY): BOOLEAN
effective function
{ANY}
top
Is other attached to an object considered equal to current object?
out_in_tagged_out_memory
effective procedure
{ANY}
top
Append terse printable representation of current object in tagged_out_memory.
writable attribute
{JSON_HANDLER}
top
make (a_array: TRAVERSABLE[JSON_VALUE])
effective procedure
{}
top
line: INTEGER_32
writable attribute
{ANY}
top
optional line and column; 0 if not set
column: INTEGER_32
writable attribute
{ANY}
top
optional line and column; 0 if not set
set_position (a_line: INTEGER_32, a_column: INTEGER_32)
effective procedure
{JSON_HANDLER}
top
enumerate: ENUMERATE[E_]
effective function
{ANY}
top
get_new_iterator: ITERATOR[E_]
frozen
effective function
{ANY}
top
for_each (action: PROCEDURE[TUPLE[TUPLE 1[E_]]])
effective procedure
{ANY}
top
Apply action to every item of Current.
for_all (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
top
Do all items satisfy test?
exists (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
top
Does at least one item satisfy test?
aggregate (action: FUNCTION[TUPLE[TUPLE 2[E_, E_], E_]], initial: E_): E_
effective function
{ANY}
top
Aggregate all the elements starting from the initial value.
generation: INTEGER_32
writable attribute
{ANY}
top
next_generation
effective procedure
{}
top
do_all (action: ROUTINE[TUPLE[TUPLE 1[E_]]])
frozen
effective procedure
{ANY}
top
Apply action to every item of Current.
_inline_agent1 (a: ROUTINE[TUPLE[TUPLE 1[E_]]], e: E_)
frozen
effective procedure
{}
top
valid_index (i: INTEGER_32): BOOLEAN
effective function
{ANY}
top
True when i is valid (i.e., inside actual bounds).