indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	ECDS_SAVED_SETTINGS

inherit
	CODE_SETTINGS_MANAGER
		rename
			make as manager_make
		end

	ECDS_REGISTRY_KEYS

create
	make

feature {NONE} -- Initialization

	make is
			-- Initialize settings manager.
		do
			manager_make (Serializer_hive_path)
			Default_values.put (50, X_key)
			Default_values.put (50, Y_key)
		end
		
feature -- Access

	start_destination_folder_path: STRING is
			-- Destination folder default path
		do
			Result := text_setting (Start_destination_folder_path_key)
		end

	wsdl_start_directory: STRING is
			-- WSDL file start directory
		do
			Result := text_setting (Wsdl_start_directory_key)
		end

	last_file_title: STRING is
			-- Last serialized codedom tree file title
		do
			Result := text_setting (Last_file_title_key)
		end

	last_wsdl_url: STRING is
			-- Last WSDL URL
		do
			Result := text_setting (Last_wsdl_url_key)
		end

	last_aspnet_url: STRING is
			-- Last ASP.NET URL
		do
			Result := text_setting (Last_aspnet_url_key)
		end

	saved_x: INTEGER is
			-- Saved starting x
		do
			Result := setting (X_key)
		end
		
	saved_y: INTEGER is
			-- Saved starting y
		do
			Result := setting (Y_key)
		end
		
feature -- Basic Implementation

	set_start_destination_folder_path (a_path: STRING) is
			-- Set `start_destination_folder_path' with `a_path'.
		require
			non_void_path: a_path /= Void
			valid_path: not a_path.is_empty
		do
			set_text_setting (Start_destination_folder_path_key, a_path)
		end
		
	set_wsdl_start_directory (a_path: STRING) is
			-- Set `wsdl_start_directory' with `a_path'.
		require
			non_void_path: a_path /= Void
			valid_path: not a_path.is_empty
		do
			set_text_setting (Wsdl_start_directory_key, a_path)
		end
		
	set_last_file_title (a_title: STRING) is
			-- Set `last_file_title' with `a_title'.
		require
			non_void_title: a_title /= Void
			valid_title: not a_title.is_empty
		do
			set_text_setting (Last_file_title_key, a_title)
		end
	
	set_last_wsdl_url (a_url: STRING) is
			-- Set `last_wsdl_url' with `a_url'.
		require
			non_void_url: a_url /= Void
			valid_url: not a_url.is_empty
		do
			set_text_setting (Last_wsdl_url_key, a_url)
		end

	set_last_aspnet_url (a_url: STRING) is
			-- Set `last_aspnet_url' with `a_url'.
		require
			non_void_url: a_url /= Void
			valid_url: not a_url.is_empty
		do
			set_text_setting (Last_aspnet_url_key, a_url)
		end

end -- class ECDS_SAVED_SETTINGS

--+--------------------------------------------------------------------
--| Eiffel CodeDOM Serializer
--| Copyright (C) 2001-2004 Eiffel Software
--| Eiffel Software Confidential
--| All rights reserved. Duplication and distribution prohibited.
--|
--| Eiffel Software
--| 356 Storke Road, Goleta, CA 93117 USA
--| http://www.eiffel.com
--+--------------------------------------------------------------------