class EIFFEL_LIST_NODE_IMPL
Summary
Direct parents
Inherit list: EIFFEL_LIST_NODE
Insert list: TRAVERSABLE
Overview
Creation features
{EIFFEL_NODE_FACTORY}
Features
{ANY}
{EIFFEL_GRAMMAR}
{EIFFEL_NODE_HANDLER}
{}
{ANY}
{ANY}
{EIFFEL_GRAMMAR}
{EIFFEL_NODE_HANDLER}
{EIFFEL_NON_TERMINAL_NODE, EIFFEL_LIST_NODE}
{}
{ANY}
Other features:
{ANY}
Agent-based features:
{ANY}
Printing:
{ANY}
{ANY}
{}
Agent-based features:
{ANY}
{}
Indexing:
{ANY}
writable attribute
{ANY}
the name of the node in the grammar
accept (visitor: VISITOR)
effective procedure
{ANY}
Accept to be visited by the visitor.
effective function
{ANY}
Item at the corresponding index i.
lower: INTEGER_32
effective function
{ANY}
Minimum index.
upper: INTEGER_32
effective function
{ANY}
Maximum index.
count: INTEGER_32
effective function
{ANY}
Number of available items in the hoard.
first: EIFFEL_NODE
effective function
{ANY}
The very first item.
effective function
{ANY}
The last item.
is_empty: BOOLEAN
effective function
{ANY}
Is the hoard empty ?
See also count.
add (a_child: EIFFEL_NODE)
effective procedure
display (output: OUTPUT_STREAM, indent: INTEGER_32, p: STRING)
effective procedure
Display the node in a tree fashion in the provided output stream
generate (o: OUTPUT_STREAM)
effective procedure
Generate the node exactly as it was written, including blanks and forgotten nodes, onto the provided output stream
make (a_name: FIXED_STRING)
effective procedure
{}
writable attribute
{}
new_iterator: ITERATOR[EIFFEL_NODE]
frozen
effective function
{ANY}
source_line: INTEGER_32
effective function
{ANY}
source_column: INTEGER_32
effective function
{ANY}
source_index: INTEGER_32
effective function
{ANY}
parent: EIFFEL_NODE
writable attribute
{ANY}
the parent node
forgotten: FAST_ARRAY[EIFFEL_NODE]
writable attribute
{ANY}
used when this node is in a EIFFEL_LIST_NODE and nodes are between this node and the next one
set_forgotten (a_forgotten: FAST_ARRAY[EIFFEL_NODE])
effective procedure
generate_forgotten (o: OUTPUT_STREAM)
effective procedure
set_parent (a_parent: EIFFEL_NODE)
effective procedure
do_indent (output: OUTPUT_STREAM, indent: INTEGER_32, p: STRING)
effective procedure
{}
enumerate: ENUMERATE[E_]
effective function
{ANY}
get_new_iterator: ITERATOR[E_]
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.
out_in_tagged_out_memory
effective procedure
{ANY}
Append terse printable representation of current object in tagged_out_memory.
generation: INTEGER_32
writable attribute
{ANY}
next_generation
effective procedure
{}
do_all (action: ROUTINE[TUPLE[TUPLE 1[E_]]])
frozen
effective procedure
{ANY}
Apply action to every item of Current.
_inline_agent1 (a: ROUTINE[TUPLE[TUPLE 1[E_]]], e: E_)
frozen
effective procedure
{}
valid_index (i: INTEGER_32): BOOLEAN
effective function
{ANY}
True when i is valid (i.e., inside actual bounds).