indexing
	description	: "System's root class"
	note		: "Initial version automatically generated"

class
	ROOT_CLASS

creation
	make

feature {NONE} -- Initialization

	make (args: ARRAY [STRING]) is
			-- Creation procedure.
		require
			--valid_count: args.count >= 5
			--valid_separators: merged_string (args).occurrences (separator) = 6
		do
			create exec_env
			parse_arguments (args)
		ensure
			initialized: initialized
		end

	parse_arguments (args: ARRAY [STRING]) is
			-- Parse the arguments of the command line.
		do
			create precompilation_params.make (10)
			if args.count = 3 then
				check
					remove_argument: args.item (1).is_equal ("remove")
				end
				remove_files (args.item (2))
			elseif args.count >= 5 then
				precompilation_params.append (args @ 1)
				precompilation_params.append_character (' ')
				precompilation_params.append (args @ 2)
				c_compiler := args @ 3
				install_dir := args @ 4
				project_directory := args @ 5

				execute_configure_all
			end
		ensure
			initialized: initialized
		end

	execute_configure_all is
			-- performs operations, after argument parsing.
		do
			update_registry
			initialize_borland
			create_project_directory
			shell_name := exec_env.get ("COMSPEC")
			exec_env.change_working_directory (short_path)
			precompile_libraries
			exec_env.change_working_directory (short_path)
			update_registry
		end

	remove_files (a_directory_path: STRING) is
			-- delete recursively directory located in `a_directory_path'.
		require
			valid_dirctory_path: a_directory_path /= Void and not a_directory_path.is_empty
		local
			l_eiffel_dir: DIRECTORY
			retried: BOOLEAN
		do
			if not retried then
				create l_eiffel_dir.make (a_directory_path)
				l_eiffel_dir.delete_content
				l_eiffel_dir.delete
			end
		rescue
			retried := True
			retry
		end
		
feature -- Actions

	initialize_borland is
			-- Create the bcc32.cfg and ilink32.cfg files needed by the Borland compiler, if needed.
		local
			f: PLAIN_TEXT_FILE
			fn1, fn2: FILE_NAME
			txt: STRING
			retried: BOOLEAN
		do
			if not retried and then c_compiler.is_equal ("bcb") then
				debug
					io.put_string ("Configuring the Borland compiler%N")
				end
				create fn1.make_from_string (install_dir)
				fn1.extend ("BCC55")
				fn1.extend ("Bin")
				if (create {DIRECTORY}.make (fn1)).exists then
						-- bcc32.cfg file.
					fn2 := clone (fn1)
					fn2.set_file_name ("bcc32.cfg")
					txt := "-D_WIN32_WINDOWS=0x0410 -DWINVER=0x400 %
						%-I$(ISE_EIFFEL)\BCC55\include -L$(ISE_EIFFEL)\BCC55\lib %
						%-L$(ISE_EIFFEL)\BCC55\lib\PSDK"
					txt.replace_substring_all ("$(ISE_EIFFEL)", short_path)
					create f.make_open_write (fn2)
					f.put_string (txt)
					f.close

						-- ilink32.cfg file.
					fn2 := clone (fn1)
					fn2.set_file_name ("ilink32.cfg")
					txt := "-L$(ISE_EIFFEL)\BCC55\lib -L$(ISE_EIFFEL)\BCC55\lib\PSDK"
					txt.replace_substring_all ("$(ISE_EIFFEL)", short_path)
					create f.make_open_write (fn2)
					f.put_string (txt)
					f.close
				end
			end
		rescue
			retried := True
			retry
		end

	create_project_directory is
			-- Create the new project directory.
		require
			valid_project_dir: initialized
		local
			retried: BOOLEAN
			l_dir: DIRECTORY
		do
				--| FIXME XR: allow recursive creation.
			if not retried then
				debug
					io.putstring ("Creating the project directory%N")
				end
				create l_dir.make (project_directory)
				if not l_dir.exists then
					l_dir.create_dir
				end
			end
		rescue
			retried := True
			retry
		end

	precompile_libraries is
			-- Invoke the batch file that precompiles the selected libraries.
		require
			initialized: initialized
		local
			lib: STRING
		do
			lib := clone (precompilation_params)
			lib.keep_tail (4)
			if not lib.is_equal ("none") then
				debug
					io.putstring ("Precompiling the libraries%N")
				end
				exec_env.launch (shell_name + " /c call " + short_path + "\precompile_install.bat " + precompilation_params)
			end
		end

	update_registry is
			-- Update ISE_EIFFEL in registry so that last `\' character is
			-- removed. And change long path names into short ones.
		require
			initialized: initialized
		local
			reg: WEL_REGISTRY
			p: POINTER
			key: WEL_REGISTRY_KEY_VALUE
			new_key_val: STRING
			changed: BOOLEAN
		do
			new_key_val := clone (short_path)
			if new_key_val.item (new_key_val.count) = '\' then
				new_key_val.remove (new_key_val.count)
				changed := True
			end
				
			create key.make (feature {WEL_REGISTRY_KEY_VALUE_TYPE}.Reg_sz, new_key_val)
			create reg
			p := reg.open_key_with_access ("hkey_local_machine\Software\ISE\Eiffel54\ec",
				feature {WEL_REGISTRY_ACCESS_MODE}.key_all_access)
			reg.set_key_value (p, "ISE_EIFFEL", key)
			reg.close_key (p)

--			if changed or not new_key_val.is_equal (install_dir) then

				p := reg.open_key_with_access (
					"hkey_local_machine\Software\ISE\Eiffel54\finish_freezing",
					feature {WEL_REGISTRY_ACCESS_MODE}.key_all_access)
				reg.set_key_value (p, "ISE_EIFFEL", key)
				reg.close_key (p)

				p := reg.open_key_with_access ("hkey_local_machine\Software\ISE\Eiffel54\wizard",
					feature {WEL_REGISTRY_ACCESS_MODE}.key_all_access)
				reg.set_key_value (p, "ISE_EIFFEL", key)
				reg.close_key (p)

				p := reg.open_key_with_access ("hkey_local_machine\Software\ISE\Eiffel54\build",
					feature {WEL_REGISTRY_ACCESS_MODE}.key_all_access)
				reg.set_key_value (p, "ISE_EIFFEL", key)
				reg.close_key (p)

				p := reg.open_key_with_access ("hkey_local_machine\Software\ISE\Eiffel54\emitter",
					feature {WEL_REGISTRY_ACCESS_MODE}.key_all_access)
				reg.set_key_value (p, "ISE_EIFFEL", key)
				reg.close_key (p)
--			end
		end
		
feature -- Status report

	initialized: BOOLEAN is
			-- Has the command line been parsed successfully?
		do
			Result := install_dir /= Void and
						project_directory /= Void and
						precompilation_params /= Void and
						c_compiler /= Void
		end

feature {NONE} -- Implementation

	exec_env: EXECUTION_ENVIRONMENT
			-- Environment used to perform calls and get/set environment variables.

	internal_short_path: STRING
			-- Short path name corresponding to install_dir.

	short_path: STRING is
			-- Short path name corresponding to install_dir.
		require
			install_dir_initialized: install_dir /= Void
		local
			p: POINTER
			a1, a2: ANY
			buf: STRING
			ret: INTEGER
		do
			if internal_short_path = Void then
				create buf.make (1024)
				a1 := install_dir.to_c
				a2 := buf.to_c
				p := $a2
				ret := convert_path ($a1, p, 1024)
				if ret > 0 and ret <= 1024 then
					create internal_short_path.make_from_c (p)
				else
					internal_short_path := install_dir
				end
			end
			Result := internal_short_path
		end

	install_dir: STRING
			-- Installation directory.
	
	shell_name: STRING
			-- Name of the command that must be invoked to launch batch files.
	
	project_directory: STRING
			-- Name of the directory that should receive the new projects.
	
	dotnet_cmd_line: STRING
			-- Command line that should be called to initialize .NET.

	precompilation_params: STRING
			-- Parameters linked to the precompilations.

	c_compiler: STRING
			-- C compiler used by Eiffel (msc or bcb).

	separator: CHARACTER is '"'
			-- Character used to separate command line arguments.

	merged_string (args: ARRAY [STRING]): STRING is
			-- Concatenates all strings in `args'.
		require
			valid_params: args /= Void
		local
			i: INTEGER
		do
			create Result.make (200)
			from
				i := 1
			until
				i > args.count
			loop
				Result.append (args @ i)
				Result.append_character (' ')
			end
		end

	convert_path (a1, a2: POINTER; sz: INTEGER): INTEGER is
			-- Convert a long path name to a short path name.
		external
			"C | <windows.h>"
		alias
			"GetShortPathName"
		end

end -- class ROOT_CLASS