-- Copyright 2003, Trustees of Indiana University
-- Please see the license in the file ../LICENSE

class HASH_PROPERTY_MAP[KEY->HASHABLE, VALUE]

inherit READ_WRITE_PROPERTY_MAP[KEY, VALUE] end

create make

feature {NONE}
  dict: HASH_TABLE[VALUE, KEY]

feature

   make is
      do
         create dict.make (10)
         -- undeducated guess 10: the number of items in a hash table
      end
   
   put (k: KEY; val: VALUE)
      is
      do
         dict.force(val, k)
      end
   
      
  get (k: KEY): VALUE is
    do
      Result := dict @ k
    end

  
end -- HASH_PROPERTY_MAP