indexing
	description: "Abstract definition of a property backing store"
	project: "Project Goanna <http://sourceforge.net/projects/goanna>"
	library: "preferences"
	date: "$Date$"
	revision: "$Revision$"
	author: "Glenn Maughan <glennmaughan@goanna.info>"
	copyright: "Copyright (c) 2002 Glenn Maughan"
	license: "Eiffel Forum License v1 (see forum.txt)."

deferred class
	GP_PROPERTY_STORE
		
feature -- Basic operations

	read (destination: GP_PROPERTIES) is
			-- Read properties from store and add to 'destination'
		require
			destination_not_void: destination /= Void
		deferred
		end

	write (source: GP_PROPERTIES) is
			-- Write properties in 'source' to store
		require
			source_not_void: source /= Void
		deferred
		end

end -- class GP_PROPERTY_STORE