indexing
	description: "Resource values read in. %
				% Note: Keep attribute names same as resource value %
				% names so it is easier to document the resource names."
	Id: "$Id$"
	Date: "$Date$"
	Revision: "$Revision$"

class RESOURCES

inherit
	WINDOWS

	EV_BASIC_COLORS

	EV_DEFAULT_COLORS

	ERROR_POPUPER

creation
	initialize

feature {NONE} -- Initilization

	initialize is
			-- Resources specified by the user
		local
			parser: RESOURCE_PARSER
			file_names: RESOURCE_FILES
			file_name: FILE_NAME
			resource_table: RESOURCE_TABLE
		once
			create resource_table.make (20)
			create parser
			create file_names.make ("build")

			file_name := file_names.system_general
			if file_name /= Void and then not file_name.empty then
				parser.parse_file (file_name, resource_table)
			end
			file_name := file_names.user_general
			if file_name /= Void and then not file_name.empty then
				parser.parse_file (file_name, resource_table)
			end
			file_name := file_names.system_specific
			if file_name /= Void and then not file_name.empty then
				parser.parse_file (file_name, resource_table)
			end
			file_name := file_names.user_specific
			if file_name /= Void and then not file_name.empty then
				parser.parse_file (file_name, resource_table)
			end
			debug ("RESOURCES")
				io.error.put_string ("RESOURCE TABLE:")
				io.error.new_line
				from resource_table.start until resource_table.after loop
					io.error.put_string ("%Tname = ")
					io.error.put_string (resource_table.key_for_iteration)
					io.error.put_string (", value = ")
					io.error.put_string (resource_table.item_for_iteration)
					io.error.new_line
					resource_table.forth
				end
			end
			initialize_color_values (resource_table)
			initialize_font_values (resource_table)
			initialize_window_size_values (resource_table)
			initialize_misc_values (resource_table)
			debug ("RESOURCES")
				io.error.put_string ("finished initializing resources")
				io.error.new_line
			end
		end

feature -- Color Resources
	
	background_color: EV_COLOR
			-- Background color for interface

	background_figure_color: EV_COLOR
			-- Background color for all figures

	catalog_background_color: EV_COLOR
			-- Background color for the catalogs

	catalog_foreground_color: EV_COLOR
			-- Foreground color for the catalogs

	foreground_color: EV_COLOR
			-- Foreground color for interface

	foreground_figure_color: EV_COLOR
			-- Foreground color for all figures

	drawing_area_color: EV_COLOR
			-- Drawing area color

	app_dr_area_color: EV_COLOR
			-- Application editor drawing area color

	app_background_figure_color: EV_COLOR
			-- Application editor figures background color

	app_foreground_figure_color: EV_COLOR	
			-- Application editor figures foreground color

	selected_color: EV_COLOR
			-- Selected color when control 
			-- left clicked is done on a context

	second_selected_color: EV_COLOR	
			-- Second selected color just in
			-- case that the current widget
			-- has the selected color

feature {NONE} -- Color initialization

	initialize_color_values (resource: RESOURCE_TABLE) is
		do
			background_color := default_background_color
			background_figure_color := white
			catalog_background_color := color_dialog
			catalog_foreground_color := color_dialog
			foreground_color := default_foreground_color
			foreground_figure_color := blue
			drawing_area_color := white
			app_dr_area_color := white
			app_background_figure_color := white
			app_foreground_figure_color := dark_magenta
			selected_color := dark_grey
			second_selected_color := green

--			background_color := get_color (resource, 
--										"background_color", Void)
--			background_figure_color := get_color (resource, 
--										"background_figure_color", "white")
--			catalog_background_color := get_color (resource, 
--										"catalog_background_color", "DarkGrey")
--			catalog_foreground_color := get_color (resource, 
--										"catalog_foreground_color", "white")
--			foreground_color := get_color (resource, 
--										"foreground_color", Void)
--			foreground_figure_color := get_color (resource, 
--										"foreground_figure_color", "black")
--			drawing_area_color := get_color (resource, 
--										"drawing_area_color", "white")
--			app_dr_area_color := get_color (resource,
--										"app_dr_area_color", "LightYellow")
--			app_background_figure_color := get_color (resource,
--										"app_background_figure_color", "white")
--			app_foreground_figure_color := get_color (resource,
--										"app_foreground_figure_color", "DarkMagenta")
--			selected_color := get_color (resource, 
--										"selected_color", "grey")
--			second_selected_color := get_color (resource, 
--										"second_selected_color", "black")
		end

	get_color (resource: RESOURCE_TABLE; 
			resource_value, default_value: STRING): EV_COLOR is
		require
			valid_resource: resource /= Void
			valid_resource_value: resource_value /= Void
		local
			color_name: STRING
		do
			color_name :=  resource.get_string (resource_value, default_value)
			if color_name /= Void and then not color_name.empty then
				create Result.make
--				Result.set_name (color_name)
			end
		end

feature -- Font values

	focus_label_font: EV_FONT
			-- Font for focus_labels

	default_font: EV_FONT
			-- Font used for text in interface

	check_fonts (widget: EV_WIDGET) is
			-- Check fonts used in system
		do
			focus_label_font := check_font_validity 
								(focus_label_font, widget)
			default_font := check_font_validity 
								(default_font, widget)
		end

feature {NONE} -- Initialize font values

	initialize_font_values (resource: RESOURCE_TABLE) is
		do
			focus_label_font := get_font (resource, "focus_label_font", Void)
			default_font := get_font (resource, "default_font",
				"MS Sans Serif,-9,400,,default,dontcare,ansi,0,0,0,draft,stroke,default")
		end

	check_font_validity (font: EV_FONT; widget: EV_WIDGET): EV_FONT is
			-- Check `font' validity for `widget'. If font
			-- is invalid return VOID
		local
			msg: STRING
		do
			if font /= Void then
				if font /= Void then
					Result := Font	
				else
--					create msg.make (0)
--					msg.append ("Warning: cannot load font ")
--					msg.append (font.name)
--					msg.append ("%N")
--					error_box.popup (Current, msg, Void)
--					error_box.error_d.set_x_y (eb_screen.width // 2 -
--						error_box.error_d.width // 2,
--						eb_screen.height // 2 - error_box.error_d.height // 2)
				end
			end
		ensure
			valid_result: Result /= Void
		end

	get_font (resource: RESOURCE_TABLE; 
			resource_value, default_value: STRING): EV_FONT is
		require
			valid_resource: resource /= Void
			valid_resource_value: resource_value /= Void
		local
			font_name: STRING
		do
			font_name :=  resource.get_string (resource_value, default_value)
			if font_name /= Void and then not font_name.empty then
				create Result.make
				Result.set_name (font_name)
			end
		end

feature -- Integer Misc Values

	history_size: INTEGER
	window_free_list_number: INTEGER
	command_file_name: STRING
	perm_window_file_name: STRING
	temp_window_file_name: STRING
			-- Base file name
	tab_length: INTEGER 
			-- Tab length within error message dialog box
			-- (The error display should be changed to the
			-- command tool window!
	fail_on_rescue: BOOLEAN
			-- Fail when crashing (no rescue).


feature {NONE} -- Integer Values initialization

	initialize_misc_values (resource: RESOURCE_TABLE) is
		do
			history_size 
				:= resource.get_integer ("history_size", 20)
			window_free_list_number 
				:= resource.get_integer ("window_free_list_number", 0)
			command_file_name
				:= resource.get_string ("command_file_name", "command")
			command_file_name.to_lower
			perm_window_file_name
				:= resource.get_string ("perm_window_file_name", "perm_wind")
			perm_window_file_name.to_lower
			temp_window_file_name
				:= resource.get_string ("temp_window_file_name", "temp_wind")
			temp_window_file_name.to_lower
			tab_length 
				:= resource.get_pos_integer ("tab_length", 1)
			fail_on_rescue
				:= resource.get_boolean ("fail_on_rescue", False)
		end

feature -- Window sizes

		-- Application editor
	app_dr_area_width: INTEGER
	app_dr_area_height: INTEGER
	app_ed_width: INTEGER
	app_ed_height: INTEGER
	app_ed_x: INTEGER
	app_ed_y: INTEGER
	app_list_width: INTEGER

		-- Command Catalog
	cmd_catalog_height: INTEGER

		-- Command Tool
	cmd_inst_ed_width: INTEGER
	cmd_inst_ed_height: INTEGER
	cmd_ed_height: INTEGER
	
		-- Context Editor
	cont_ed_width: INTEGER
	cont_ed_height: INTEGER

		-- History Window
	history_wnd_width: INTEGER
	history_wnd_height: INTEGER

		-- Help Window
	help_wnd_width: INTEGER
	help_wnd_height: INTEGER

		-- Main window
	main_window_width: INTEGER
	main_window_height: INTEGER
	main_window_x: INTEGER
	main_window_y: INTEGER

		-- Namer Window
	namer_wnd_width: INTEGER
	namer_wnd_height: INTEGER
	
		-- State Editor
	state_ed_width: INTEGER
	state_ed_height: INTEGER

		-- Translation Editor
	trans_ed_width: INTEGER
	trans_ed_height: INTEGER

		-- Context Tree
 	tree_width: INTEGER

		-- Object tool generator
	object_tool_generator_width: INTEGER
	object_tool_generator_height: INTEGER
	object_tool_generator_x: INTEGER
	object_tool_generator_y: INTEGER

		-- Object command generator
	object_command_generator_width: INTEGER
	object_command_generator_height: INTEGER

		-- Class importer
	class_importer_width: INTEGER
	class_importer_height: INTEGER
	class_importer_x: INTEGER
	class_importer_y: INTEGER

feature {NONE} -- Integer Values initialization

	initialize_window_size_values (resource: RESOURCE_TABLE) is
		do
			app_ed_width := resource.get_pos_integer ("app_ed_width", 600)
			app_ed_height := resource.get_pos_integer ("app_ed_height", 400)
			app_dr_area_width := resource.get_pos_integer ("app_dr_area_width", 500)
			app_dr_area_height := resource.get_pos_integer ("app_dr_area_height", 500)
			app_ed_x := resource.get_integer ("app_ed_x", 200)
			app_ed_y := resource.get_integer ("app_ed_y", 200)
			app_list_width := resource.get_pos_integer ("app_list_width", 100)

			cmd_catalog_height := resource.get_pos_integer ("cmd_catalog_height", 170)
 
			cmd_inst_ed_width := resource.get_pos_integer ("cmd_inst_ed_width", 365)
			cmd_inst_ed_height := resource.get_pos_integer ("cmd_inst_ed_height", 167)

			cmd_ed_height := resource.get_pos_integer ("cmd_ed_height", 400)

			cont_ed_width := resource.get_pos_integer ("cont_ed_width", 310)
			cont_ed_height := resource.get_pos_integer ("cont_ed_height", 410)

			help_wnd_width := resource.get_pos_integer ("help_wnd_width", 450)
			help_wnd_height := resource.get_pos_integer ("help_wnd_height", 500)

			history_wnd_width := resource.get_pos_integer ("history_wnd_width", 200)
			history_wnd_height := resource.get_pos_integer ("history_wnd_height", 300)

			main_window_width := resource.get_pos_integer ("main_window_width", 430)
			main_window_height := resource.get_pos_integer ("main_window_height", 450)
			main_window_x := resource.get_integer ("main_window_x", -1)
			main_window_y := resource.get_integer ("main_window_y", 0)

			namer_wnd_width := resource.get_pos_integer ("namer_wnd_width", 330)
			namer_wnd_height := resource.get_pos_integer ("namer_wnd_height", 70)

			state_ed_width := resource.get_pos_integer ("state_ed_width", 300)
			state_ed_height := resource.get_pos_integer ("state_ed_height", 300)

			trans_ed_width := resource.get_pos_integer ("trans_ed_width", 170)
			trans_ed_height := resource.get_pos_integer ("trans_ed_height", 120)

			tree_width := resource.get_pos_integer ("tree_width", 120)

			object_tool_generator_width := resource.get_pos_integer ("object_tool_generator_width", 505)
			object_tool_generator_height := resource.get_pos_integer ("object_tool_generator_height", 580)
			object_tool_generator_x := resource.get_pos_integer ("object_tool_generator_x", 0)
			object_tool_generator_y := resource.get_pos_integer ("object_tool_generator_y", 0)

			object_command_generator_width := resource.get_pos_integer ("object_command_generator_width", 410)
			object_command_generator_height := resource.get_pos_integer ("object_command_generator_height", 135)

			class_importer_width := resource.get_pos_integer ("class_importer_width", 160)
			class_importer_height := resource.get_pos_integer ("class_importer_height", 300)
			class_importer_x := resource.get_pos_integer ("class_importer_x", 0)
			class_importer_y := resource.get_pos_integer ("class_importer_y", 0)

		end

end -- class RESOURCES