GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
JSON_ARRAY
+
Point of view
All features
ANY
JSON_HANDLER
All features
class JSON_ARRAY
Summary
top
Direct parents
Inherit list:
JSON_TEXT
,
TRAVERSABLE
Class invariant
top
array
/= Void
Overview
top
Creation features
{
JSON_HANDLER
}
make
(a_array:
TRAVERSABLE
[
JSON_VALUE
])
Features
{
ANY
}
lower
:
INTEGER_32
Minimum index.
upper
:
INTEGER_32
Maximum index.
count
:
INTEGER_32
Number of available items in the hoard.
is_empty
:
BOOLEAN
Is the hoard empty ?
See also
count
.
first
:
JSON_VALUE
The very
first
item.
last
:
JSON_VALUE
The
last
item.
item
(index:
INTEGER_32
):
JSON_VALUE
Item at the corresponding index
i
.
new_iterator
:
ITERATOR
[
JSON_VALUE
]
{
ANY
}
accept
(visitor:
VISITOR
)
Accept to be visited by the
visitor
.
is_equal
(other: JSON_ARRAY):
BOOLEAN
Is
other
attached to an object considered equal to current object?
out_in_tagged_out_memory
Append terse printable representation of current object in
tagged_out_memory
.
{
JSON_HANDLER
}
array
:
TRAVERSABLE
[
JSON_VALUE
]
{}
make
(a_array:
TRAVERSABLE
[
JSON_VALUE
])
{
ANY
}
line
:
INTEGER_32
optional line and column; 0 if not set
column
:
INTEGER_32
optional line and column; 0 if not set
{
JSON_HANDLER
}
set_position
(a_line:
INTEGER_32
, a_column:
INTEGER_32
)
{
ANY
}
enumerate
: ENUMERATE[E_]
Other features:
{
ANY
}
get_new_iterator
: ITERATOR[E_]
Agent-based features:
{
ANY
}
for_each
(action:
PROCEDURE
[
TUPLE
[TUPLE 1[E_]]])
Apply
action
to every item of
Current
.
for_all
(test:
FUNCTION
[
TUPLE
[TUPLE 1[E_]]]):
BOOLEAN
Do all items satisfy
test
?
exists
(test:
FUNCTION
[
TUPLE
[TUPLE 1[E_]]]):
BOOLEAN
Does at least one item satisfy
test
?
aggregate
(action:
FUNCTION
[
TUPLE
[TUPLE 2[E_, E_], E_]], initial: E_): E_
Aggregate all the elements starting from the initial value.
{
ANY
}
generation
:
INTEGER_32
{}
next_generation
Agent-based features:
{
ANY
}
do_all
(action:
ROUTINE
[
TUPLE
[TUPLE 1[E_]]])
Apply
action
to every item of
Current
.
{}
_inline_agent1
(a:
ROUTINE
[
TUPLE
[TUPLE 1[E_]]], e: E_)
Indexing:
{
ANY
}
valid_index
(i:
INTEGER_32
):
BOOLEAN
True when
i
is valid (i.e., inside actual bounds).
lower
:
INTEGER_32
effective function
{
ANY
}
top
Minimum index.
See also
upper
,
valid_index
,
item
.
upper
:
INTEGER_32
effective function
{
ANY
}
top
Maximum index.
See also
lower
,
valid_index
,
item
.
count
:
INTEGER_32
effective function
{
ANY
}
top
Number of available items in the hoard.
See also
is_empty
ensure
Result >= 0
is_empty
:
BOOLEAN
effective function
{
ANY
}
top
Is the hoard empty ?
See also
count
.
ensure
definition:
Result = count = 0
first
:
JSON_VALUE
effective function
{
ANY
}
top
The very
first
item.
See also
last
,
item
.
require
not is_empty
ensure
definition:
Result = item(lower)
last
:
JSON_VALUE
effective function
{
ANY
}
top
The
last
item.
See also
first
,
item
.
require
not is_empty
ensure
definition:
Result = item(upper)
item
(index:
INTEGER_32
):
JSON_VALUE
effective function
{
ANY
}
top
Item at the corresponding index
i
.
See also
lower
,
upper
,
valid_index
.
require
valid_index(index)
new_iterator
:
ITERATOR
[
JSON_VALUE
]
effective function
{
ANY
}
top
ensure
Result /= Void
Result.generation = generation
accept
(visitor:
VISITOR
)
effective procedure
{
ANY
}
top
Accept to be visited by the
visitor
.
require
visitor /= Void
is_equal
(other: JSON_ARRAY):
BOOLEAN
effective function
{
ANY
}
top
Is
other
attached to an object considered equal to current object?
require
other /= Void
other /= Void
other /= Void
other /= Void
ensure
commutative:
generating_type = other.generating_type implies Result = other.is_equal(Current)
out_in_tagged_out_memory
effective procedure
{
ANY
}
top
Append terse printable representation of current object in
tagged_out_memory
.
require
locked:
tagged_out_locked
locked:
tagged_out_locked
locked:
tagged_out_locked
locked:
tagged_out_locked
ensure
still_locked:
tagged_out_locked
not_cleared:
tagged_out_memory.count >= old tagged_out_memory.count
append_only:
old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
array
:
TRAVERSABLE
[
JSON_VALUE
]
writable attribute
{
JSON_HANDLER
}
top
make
(a_array:
TRAVERSABLE
[
JSON_VALUE
])
effective procedure
{}
top
require
a_array /= Void
ensure
array
= a_array
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
ensure
line
= a_line
column
= a_column
enumerate
: ENUMERATE[E_]
effective function
{
ANY
}
top
get_new_iterator
: ITERATOR[E_]
frozen
effective function
{
ANY
}
top
This feature is obsolete:
Use `new_iterator' instead. This historical SmartEiffel feature is badly named.
for_each
(action:
PROCEDURE
[
TUPLE
[TUPLE 1[E_]]])
effective procedure
{
ANY
}
top
Apply
action
to every item of
Current
.
See also
for_all
,
exists
,
aggregate
.
require
action /= Void
for_all
(test:
FUNCTION
[
TUPLE
[TUPLE 1[E_]]]):
BOOLEAN
effective function
{
ANY
}
top
Do all items satisfy
test
?
See also
for_each
,
exists
,
aggregate
.
require
test /= Void
exists
(test:
FUNCTION
[
TUPLE
[TUPLE 1[E_]]]):
BOOLEAN
effective function
{
ANY
}
top
Does at least one item satisfy
test
?
See also
for_each
,
for_all
,
aggregate
.
require
test /= Void
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.
See also
for_each
,
for_all
,
exists
.
require
action /= Void
generation
:
INTEGER_32
writable attribute
{
ANY
}
top
next_generation
effective procedure
{}
top
ensure
generation
> old
generation
do_all
(action:
ROUTINE
[
TUPLE
[TUPLE 1[E_]]])
frozen
effective procedure
{
ANY
}
top
Apply
action
to every item of
Current
.
This feature is obsolete:
Use `for_each` instead. This feature is not secure because it accepts a FUNCTION, the result of which is lost.
_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).
See also
lower
,
upper
,
item
.
ensure
definition:
Result =
lower
<= i and i <=
upper