/src/lib/storage/internal/hashed_set_node.e
Specman e | 57 lines | 23 code | 7 blank | 27 comment | 0 complexity | 6a0964f08bf0808e06df2e36869163f8 MD5 | raw file
1-- This file is part of a Liberty Eiffel library. 2-- See the full copyright at the end. 3-- 4class HASHED_SET_NODE[E_] 5 -- 6 -- Auxiliary class to implement HASHED_SET. 7 -- 8 9inherit 10 ANY_HASHED_SET_NODE 11 12create {ABSTRACT_HASHED_SET} 13 make 14 15feature {ABSTRACT_HASHED_SET} 16 item: E_ 17 18 next: like Current 19 -- The `next' one when some clash occurs. 20 21 set_next (n: like next) 22 do 23 next := n 24 ensure 25 next = n 26 end 27 28 make (i: like item; n: like next) 29 do 30 item := i 31 next := n 32 ensure 33 item = i 34 next = n 35 end 36 37end -- class HASHED_SET_NODE 38-- 39-- Copyright (C) 2009-2017: by all the people cited in the AUTHORS file. 40-- 41-- Permission is hereby granted, free of charge, to any person obtaining a copy 42-- of this software and associated documentation files (the "Software"), to deal 43-- in the Software without restriction, including without limitation the rights 44-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 45-- copies of the Software, and to permit persons to whom the Software is 46-- furnished to do so, subject to the following conditions: 47-- 48-- The above copyright notice and this permission notice shall be included in 49-- all copies or substantial portions of the Software. 50-- 51-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 52-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 53-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 54-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 55-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 56-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 57-- THE SOFTWARE.