GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
C_SPLITTER_LEGACY_ITERATOR
+
Point of view
All features
ANY
RECYCLING_POOL
STRING_HANDLER
STRING_RECYCLING_POOL
All features
class C_SPLITTER_LEGACY_ITERATOR
Summary
top
Direct parents
Inherit list:
ITERATOR
Class invariant
top
index
.in_range(0,
count
)
index
/= 0 implies not
is_off
generation_only_grows
Overview
top
Creation features
{
C_SPLITTER_LEGACY
}
make
(a_count:
INTEGER_32
)
Features
{
ANY
}
start
Positions the iterator to the first object in the aggregate to be traversed.
is_off
:
BOOLEAN
Returns True when there are no more objects in the sequence.
item
:
STRING
Returns the object at the current position in the sequence.
next
Positions the iterator to the next object in the sequence.
{}
make
(a_count:
INTEGER_32
)
index
:
INTEGER_32
count
:
INTEGER_32
{
ANY
}
generation
:
INTEGER_32
iterable_generation
:
INTEGER_32
not managed
{
ANY
}
is_valid
:
BOOLEAN
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.
Invariant on
generation` dynamics
{}
generation_for_invariant
:
INTEGER_32
generation_only_grows
:
BOOLEAN
start
effective procedure
{
ANY
}
top
Positions the iterator to the first object in the aggregate to be traversed.
ensure
is_valid
is_off
:
BOOLEAN
effective function
{
ANY
}
top
Returns True when there are no more objects in the sequence.
require
is_valid
ensure
generation = old generation
is_valid
item
:
STRING
effective function
{
ANY
}
top
Returns the object at the current position in the sequence.
require
is_valid
not is_off
ensure
generation = old generation
is_valid
next
effective procedure
{
ANY
}
top
Positions the iterator to the next object in the sequence.
require
is_valid
not is_off
ensure
generation = old generation
is_valid
make
(a_count:
INTEGER_32
)
effective procedure
{}
top
require
a_count > 0
index
:
INTEGER_32
writable attribute
{}
top
count
:
INTEGER_32
writable attribute
{}
top
generation
:
INTEGER_32
is 0
constant attribute
{
ANY
}
top
iterable_generation
:
INTEGER_32
is 0
constant attribute
{
ANY
}
top
not managed
is_valid
:
BOOLEAN
frozen
effective function
{
ANY
}
top
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
.
for_all
(test:
FUNCTION
[
TUPLE
[TUPLE 1[E_]]]):
BOOLEAN
effective function
{
ANY
}
top
Do all items satisfy
test
?
See also
for_each
,
exists
,
aggregate
.
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
.
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
.
generation_for_invariant
:
INTEGER_32
writable attribute
{}
top
generation_only_grows
:
BOOLEAN
effective function
{}
top