class LINKED_LIST_NODE [E_]
Summary
To implement LINKED_LIST.
Direct parents
Inherit list: ANY_LINKED_LIST_NODE
Overview
Creation features
{LINKED_LIST}
  • make (i: E_, n: LINKED_LIST_NODE [E_])
Features
{LINKED_LIST_NODE, ITERATOR_ON_LINKED_LIST, LINKED_LIST}
{LINKED_LIST}
  • make (i: E_, n: LINKED_LIST_NODE [E_])
{LINKED_LIST_NODE, LINKED_LIST}
item: E_
writable attribute
next: LINKED_LIST_NODE [E_]
writable attribute
make (i: E_, n: LINKED_LIST_NODE [E_])
effective procedure
ensure
set_item (i: E_)
effective procedure
ensure
set_next (n: LINKED_LIST_NODE [E_])
effective procedure
ensure
set_all_with (v: E_)
effective procedure