+
Point of view
All features
class ITERATOR_ON_RANDOM_GENERATOR
Summary
Direct parents
Inherit list: ITERATOR
Class invariant
Overview
Creation features
{ANY}
Features
{ANY}
  • count: INTEGER_32
    Of the sequence.
  • item: INTEGER_32
    Returns the object at the current position in the sequence.
  • start
    Positions the iterator to the first object in the aggregate to be traversed.
  • next
    Positions the iterator to the next object in the sequence.
  • is_off: BOOLEAN
    Returns True when there are no more objects in the sequence.
{}
Check that the underlying traversable has not changed
{ANY}
{ANY}
Agent-based features:
{ANY}
Invariant on generation` dynamics
{}
count: INTEGER_32
writable attribute
{ANY}
Of the sequence.
item: INTEGER_32
writable attribute
{ANY}
Returns the object at the current position in the sequence.
start
effective procedure
{ANY}
Positions the iterator to the first object in the aggregate to be traversed.
next
effective procedure
{ANY}
Positions the iterator to the next object in the sequence.
is_off: BOOLEAN
effective function
{ANY}
Returns True when there are no more objects in the sequence.
seed: INTEGER_32
is 5555
constant attribute
{}
range: INTEGER_32
is 256
constant attribute
{}
left: INTEGER_32
writable attribute
{}
random_number_generator: MINIMAL_RANDOM_NUMBER_GENERATOR
writable attribute
{}
make (c: INTEGER_32)
effective procedure
{}
iterable_generation: INTEGER_32
is 0
constant attribute
{ANY}
generation: INTEGER_32
is 0
constant attribute
{ANY}
is_valid: BOOLEAN
frozen
effective function
{ANY}
for_each (action: PROCEDURE[TUPLE[TUPLE 1[E_]]])
effective procedure
{ANY}
Apply action to every item of Current.
for_all (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
Do all items satisfy test?
exists (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
Does at least one item satisfy test?
aggregate (action: FUNCTION[TUPLE[TUPLE 2[E_, E_], E_]], initial: E_): E_
effective function
{ANY}
Aggregate all the elements starting from the initial value.
generation_for_invariant: INTEGER_32
writable attribute
{}
generation_only_grows: BOOLEAN
effective function
{}