GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
TWO_WAY_LINKED_LIST_NODE
+
Point of view
All features
ANY
ITERATOR_ON_TWO_WAY_LINKED_LIST
TWO_WAY_LINKED_LIST
TWO_WAY_LINKED_LIST_NODE
All features
class TWO_WAY_LINKED_LIST_NODE [E_]
Summary
top
To implement
TWO_WAY_LINKED_LIST
.
Direct parents
Inherit list:
ANY_TWO_WAY_LINKED_LIST_NODE
Overview
top
Creation features
{
TWO_WAY_LINKED_LIST
}
make
(i: E_, p: TWO_WAY_LINKED_LIST_NODE [E_], n: TWO_WAY_LINKED_LIST_NODE [E_])
Features
{
ITERATOR_ON_TWO_WAY_LINKED_LIST
,
TWO_WAY_LINKED_LIST
,
TWO_WAY_LINKED_LIST_NODE
}
item
: E_
previous
: TWO_WAY_LINKED_LIST_NODE [E_]
next
: TWO_WAY_LINKED_LIST_NODE [E_]
{
TWO_WAY_LINKED_LIST
}
make
(i: E_, p: TWO_WAY_LINKED_LIST_NODE [E_], n: TWO_WAY_LINKED_LIST_NODE [E_])
{
TWO_WAY_LINKED_LIST
,
TWO_WAY_LINKED_LIST_NODE
}
set_item
(i: E_)
set_next
(n: TWO_WAY_LINKED_LIST_NODE [E_])
set_all_with
(v: E_)
set_previous
(p: TWO_WAY_LINKED_LIST_NODE [E_])
item
: E_
writable attribute
{
ITERATOR_ON_TWO_WAY_LINKED_LIST
,
TWO_WAY_LINKED_LIST
,
TWO_WAY_LINKED_LIST_NODE
}
top
previous
: TWO_WAY_LINKED_LIST_NODE [E_]
writable attribute
{
ITERATOR_ON_TWO_WAY_LINKED_LIST
,
TWO_WAY_LINKED_LIST
,
TWO_WAY_LINKED_LIST_NODE
}
top
next
: TWO_WAY_LINKED_LIST_NODE [E_]
writable attribute
{
ITERATOR_ON_TWO_WAY_LINKED_LIST
,
TWO_WAY_LINKED_LIST
,
TWO_WAY_LINKED_LIST_NODE
}
top
make
(i: E_, p: TWO_WAY_LINKED_LIST_NODE [E_], n: TWO_WAY_LINKED_LIST_NODE [E_])
effective procedure
{
TWO_WAY_LINKED_LIST
}
top
ensure
item
= i
previous
= p
next
= n
set_item
(i: E_)
effective procedure
{
TWO_WAY_LINKED_LIST
,
TWO_WAY_LINKED_LIST_NODE
}
top
ensure
item
= i
set_next
(n: TWO_WAY_LINKED_LIST_NODE [E_])
effective procedure
{
TWO_WAY_LINKED_LIST
,
TWO_WAY_LINKED_LIST_NODE
}
top
ensure
next
= n
set_all_with
(v: E_)
effective procedure
{
TWO_WAY_LINKED_LIST
,
TWO_WAY_LINKED_LIST_NODE
}
top
set_previous
(p: TWO_WAY_LINKED_LIST_NODE [E_])
effective procedure
{
TWO_WAY_LINKED_LIST
,
TWO_WAY_LINKED_LIST_NODE
}
top
ensure
previous
= p