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

class NULL_PROPERTY_MAP[KEY, VALUE]
inherit READ_WRITE_PROPERTY_MAP[KEY, VALUE]
      redefine put, get end
feature
   put (a: KEY; b: VALUE) is do end
   get (a: KEY) : VALUE is do Result := Void end
end -- NULL_PROPERTY_MAP