indexing description: "Name value property collection." project: "Project Goanna " library: "preferences" date: "$Date$" revision: "$Revision$" author: "Glenn Maughan " copyright: "Copyright (c) 2002 Glenn Maughan" license: "Eiffel Forum License v1 (see forum.txt)." class GP_PROPERTIES inherit DS_HASH_TABLE [STRING, STRING] export {NONE} make, make_equal, make_default, make_map, make_map_default redefine default_create end create default_create, load feature -- Initialization default_create is -- Initialise with default property collection size do make_equal (Default_capacity) end load (store: GP_PROPERTY_STORE) is -- Initialise and load properties from backing 'store' require store_not_void: store /= Void do store.read (Current) end save (store: GP_PROPERTY_STORE) is -- Save properties to backing 'store' require store_not_void: store /= Void do store.write (Current) end end -- class GP_PROPERTIES