indexing description: "Cells containing an item" library: "Gobo Eiffel Structure Library" author: "Eric Bezault <ericb@gobo.demon.co.uk>" copyright: "Copyright (c) 1997, Eric Bezault" class interface DS_CELL [G] create make (v: G) -- Insert v in cell. -- Was declared in DS_CELL as synonym of make and put. ensure inserted: item = v feature -- Access item: G -- Content of cell feature -- Element change make (v: G) -- Insert v in cell. -- Was declared in DS_CELL as synonym of make and put. ensure inserted: item = v put (v: G) -- Insert v in cell. -- Was declared in DS_CELL as synonym of make and put. ensure inserted: item = v invariant -- from GENERAL reflexive_equality: standard_is_equal (Current); reflexive_conformance: conforms_to (Current); end -- class DS_CELL