class interface TWO_WAY_LINKED_LIST_NODE[E]
--
-- To implement TWO_WAY_LINKED_LIST[E].
--
creation
make (i: E; p: like Current; n: like Current)
ensure
item = i;
previous = p;
next = n
feature(s) from TWO_WAY_LINKED_LIST_NODE
item: E
previous: like Current
next: like Current
feature(s) from TWO_WAY_LINKED_LIST_NODE
make (i: E; p: like Current; n: like Current)
ensure
item = i;
previous = p;
next = n
feature(s) from TWO_WAY_LINKED_LIST_NODE
set_item (i: E)
ensure
item = i
set_next (n: like Current)
ensure
next = n
set_all_with (v: E)
set_previous (p: like Current)
ensure
previous = p
end of TWO_WAY_LINKED_LIST_NODE[E]