indexing
	description: "Linkable cells containing a reference to their right neighbor"
	names: linkable, cell
	representation: linked
	contents: generic

class interface
	LINKABLE [G]

feature -- Access

	right: like Current
			-- Right neighbor
	
feature {ANY} -- Access

	item: G
			-- Content of cell.
			-- (from CELL)
	
feature -- Element change

	replace (v: like item)
			-- Make v the cell's item.
			-- Was declared in CELL as synonym of put and replace.
			-- (from CELL)
		ensure -- from CELL
			item_inserted: item = v
	
invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class LINKABLE