INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES