- indexing
- description: "Linkable cells with a reference to the left and right ", "neighbors "
- title: "EiffelBase: library of reusable components for Eiffel. ", "Based on EiffelBase library for ISE Eiffel, ", "used with permission. "
- project: "EiffelBase Library"
- copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
- key: bi_linkable, cell
- cluster: eiffelbase
class BI_LINKABLE [G]
- inherit
-
LINKABLE
[G]
-
- redefine
- forget_right,
- put_right
- end
- feature -- Access
-
left: like Current
- invariant
-
right_symmetry:
(right /= void) implies (right.left = Current)
-
left_symmetry:
(left /= void) implies (left.right = Current)
end -- class BI_LINKABLE