indexing 
	description: "Information on data to be generated"

class 
	WIZARD_ENVIRONMENT

inherit
	WIZARD_OUTPUT_LEVEL

	OPERATING_ENVIRONMENT
		export
			{NONE} all
		end

create
	make

feature {NONE} -- Initialization

	make is
			-- Initialize environment
		do
			in_process_server := True
			use_universal_marshaller := True
			automation := True
			client := True
			output_level := Output_all
			Compile_c := True
			Compile_eiffel := True
			stop_on_error := True
			new_eiffel_project := False
		end

feature -- Access

	eiffel_class_name: STRING
			-- Eiffel class name to generate IDL.

	class_cluster_name: STRING
			-- Cluster to which Eiffel class belongs.

	eiffel_project_name: STRING
			-- Eiffel project name.

	ace_file_name: STRING
			-- Eiffel Ace file.

	in_process_server: BOOLEAN
			-- Should in process server code be generated?
			
	out_of_process_server: BOOLEAN
			-- Should out of process server code be generated?

	idl_file_name: STRING
			-- Path to definition file.
	
	type_library_file_name: STRING
			-- Path to type library.

	destination_folder: STRING
			-- Path to destination folder.
	
	project_name: STRING
			-- Project name.

	new_eiffel_project: BOOLEAN
			-- Is new EiffelCOM project from Eiffel class?

	idl: BOOLEAN
			-- Is definition file an IDL file?

	proxy_stub_file_name: STRING
			-- Path to Proxy/Stub dll.
			
	use_universal_marshaller: BOOLEAN
			-- Should component use universal marshaller?

	server: BOOLEAN
			-- Should code for server be generated?

	client: BOOLEAN
			-- Should code for client be generated?

	automation: BOOLEAN
			-- Should server use automation?

	abort: BOOLEAN
			-- Should code generation be aborted?

	return_code: INTEGER
			-- Last return code.

	output_level: INTEGER
			-- Output level.

	compile_eiffel: BOOLEAN
			-- Should generated eiffel code be compiled?

	compile_c: BOOLEAN
			-- Should generated c code be compiled?

	stop_on_error: BOOLEAN
			-- Should wizard stop on compilation error?

	new_project: BOOLEAN
			-- Is new project selected?

	not_spawn_ebench: BOOLEAN
			-- Shouldn't wizard spawn EiffelBench at the end?

	clean_destination_folder: BOOLEAN
			-- Should wizard clean destination folder before
			-- starting code generation?
	
	no_backup: BOOLEAN
			-- Shouldn't wizard backup existing files?
			
feature -- Element Change

	set_ace_file_name (ace_file: STRING) is
			-- Set 'ace_file_name' to 'ace_file'.
		require
			non_void_file: ace_file /= Void
			valid_ace_file: not ace_file.is_empty
		do
			ace_file_name := clone (ace_file)
		end

	set_in_process_server (a_boolean: BOOLEAN) is
			-- Set `in_process_server' with `a_boolean'.
		do
			in_process_server := a_boolean
		ensure
			in_process_server_set: in_process_server = a_boolean
		end
	
	set_output_level (a_level: INTEGER) is
			-- Set `output_level' with `a_level'.
		do
			output_level := a_level
		ensure
			output_level_set: output_level = Output_warnings or
					output_level = Output_all or
					output_level = Output_none
		end
		
	set_warning_output is
			-- Set `output_level' with `Output_warnings'.
		do
			output_level := Output_warnings
		ensure
			output_level_set: output_level = Output_warnings
		end

	set_all_output is
			-- Set `output_level' with `Output_all'.
		do
			output_level := Output_all
		ensure
			output_level_set: output_level = Output_all
		end

	set_no_output is
			-- Set `output_level' with `Output_none
		do
			output_level := Output_none
		ensure
			output_level_set: output_level = Output_none
		end

	set_out_of_process_server (a_boolean: BOOLEAN) is
			-- Set `out_of_process_server' with `a_boolean'.
		do
			out_of_process_server := a_boolean
		ensure
			out_of_process_server_set: out_of_process_server = a_boolean
		end

	set_eiffel_class_name (c_name: like eiffel_class_name) is
			-- Set 'eiffel_class_name' to 'c_name'.
		require
			non_void_name: c_name /= Void
			valid_name: not c_name.is_empty
		do
			eiffel_class_name := clone (c_name)
			eiffel_class_name.to_upper
		ensure
			name_set: eiffel_class_name /= Void and then not eiffel_class_name.is_empty
		end

	set_class_cluster_name (c_name: like class_cluster_name) is
			-- Set 'class_cluster_name' to 'c_name'.
		require
			non_void_name: c_name /= Void
			valid_name: not c_name.is_empty
		do
			class_cluster_name := clone (c_name)
		ensure
			name_set: class_cluster_name /= Void and then not class_cluster_name.is_empty
		end

	set_eiffel_project_name (p_name: like eiffel_project_name) is
			-- Set 'eiffel_project_name' to 'p_name'.
		require
			non_void_name: p_name /= Void
			valid_name: not p_name.is_empty
		do
			eiffel_project_name := clone (p_name)
		ensure
			name_set: eiffel_project_name.is_equal (p_name)
		end

	set_destination_folder (a_folder: like destination_folder) is
			-- Set `destination_folder' with `a_folder'.
		require
			non_void_folder: a_folder /= Void
			valid_folder: not a_folder.is_empty
		do
			destination_folder := clone (a_folder)
			if not (destination_folder.item (destination_folder.count) = Directory_separator) then
				destination_folder.append_character (Directory_separator)
			end
		end

	set_project_name (a_name: like project_name) is
			-- Set `project_name' with `a_name'.
		require
			non_void_name: a_name /= Void
			valid_name: not a_name.is_empty
		do
			if a_name.index_of ('.', 1) /= 0 then
				project_name := a_name.substring (1, a_name.index_of ('.', 1) - 1)
			else
				project_name := clone (a_name)
			end
		ensure
			project_name_set: (a_name.has ('.') implies project_name.is_equal (a_name.substring (1, a_name.index_of ('.', 1) - 1))) and (not a_name.has ('.') implies project_name.is_equal (a_name))
			valid_project_name: not project_name.has ('.')
		end

	set_proxy_stub_file_name (a_proxy_stub: like proxy_stub_file_name) is
			-- Set `proxy_stub' with `a_proxy_stub'.
		require
			non_void_proxy_stub: a_proxy_stub /= Void
			valid_proxy_stub: not a_proxy_stub.is_empty
		do
			proxy_stub_file_name := clone (a_proxy_stub)
		ensure
			proxy_stub_file_name_set: proxy_stub_file_name.is_equal (a_proxy_stub)
		end
	
	set_idl_file_name (a_idl_file_name: like idl_file_name) is
			-- Set `idl_file_name' with `a_idl_file_name'.
		require
			non_void_idl_file_name: a_idl_file_name /= Void
			valid_idl_file_name: not a_idl_file_name.is_empty
		do
			idl_file_name := clone (a_idl_file_name)
		ensure
			idl_file_name_set: idl_file_name.is_equal (a_idl_file_name)
		end
	
	set_type_library_file_name (a_type_library_file_name: like type_library_file_name) is
			-- Set `type_library_file_name' with `a_type_library_file_name'.
		require
			non_void_type_library_file_name: a_type_library_file_name /= Void
			valid_type_library_file_name: not a_type_library_file_name.is_empty
		do
			type_library_file_name := clone (a_type_library_file_name)
		ensure
			type_library_file_name_set: type_library_file_name.is_equal (a_type_library_file_name)
		end

	set_new_eiffel_project (l_bool: BOOLEAN) is
			-- Set 'new_eiffel_project' to 'l_bool'.
		do
			new_eiffel_project := l_bool
		ensure
			new_eiffel_project_set: new_eiffel_project = l_bool
		end
	
	set_idl (a_boolean: BOOLEAN) is
			-- Set `idl' with `a_boolean'.
		do
			idl := a_boolean
		ensure
			idl_set: idl = a_boolean
		end
	
	set_client_server (a_client, a_server: BOOLEAN) is
			-- Set `client' with `a_client'.
			-- Set `server' with `a_server'.
		require
			server_or_client: a_client xor a_server
		do
			client := a_client
			server := a_server
		ensure
			client_set: client = a_client
			server_set: server = a_server
		end

	set_use_universal_marshaller (a_boolean: BOOLEAN) is
			-- Set `use_universal_marshaller' with `a_boolean'.
		do
			use_universal_marshaller := a_boolean
		ensure
			use_universal_marshaller_set: use_universal_marshaller = a_boolean
		end
	
	set_automation (a_boolean: BOOLEAN) is
			-- Set `automation' with `a_boolean'.
		do
			automation := a_boolean
		ensure
			automation_set: automation = a_boolean
		end
	
	set_abort (a_return_code: like return_code) is
			-- Set `abort' to `True'.
			-- Set `return_code' with `a_return_code'.
		do
			abort := True
			return_code := a_return_code
		ensure
			abort: abort
			return_code_set: return_code = a_return_code
		end

	set_no_abort is
			-- Set `abort' to `False'.
		do
			abort := False
		ensure
			no_abort: not abort
		end

	set_compile_eiffel (a_boolean: like compile_eiffel) is
			-- Set `compile_eiffel' to `a_boolean'.
		do
			compile_eiffel := a_boolean
		ensure
			compile_eiffel_set: compile_eiffel = a_boolean
		end

	set_compile_c (a_boolean: like compile_c) is
			-- Set `compile_c' to `a_boolean'.
		do
			compile_c := a_boolean
		ensure
			compile_c_set: compile_c = a_boolean
		end

	set_stop_on_error (a_boolean: like stop_on_error) is
			-- Set `stop_on_error' to `a_boolean'.
		do
			stop_on_error := a_boolean
		ensure
			stop_on_error_set: stop_on_error = a_boolean
		end

	set_new_project (a_boolean: like new_project) is
			-- Set `new_project' to `a_boolean'.
		do
			new_project := a_boolean
		ensure
			new_project_set: new_project = a_boolean
		end

	set_spawn_ebench (a_boolean: BOOLEAN) is
			-- Set `not_spawn_ebench' with `a_boolean'.
		do
			not_spawn_ebench := a_boolean
		ensure
			not_spawn_ebench_set: not_spawn_ebench = a_boolean
		end

	set_no_backup (a_boolean: BOOLEAN) is
			-- Set `no_backup' with `a_boolean'.
		do
			no_backup := a_boolean
		ensure
			no_backup_set: no_backup = a_boolean
		end

	set_clean_destination_folder (a_boolean: BOOLEAN) is
			-- Set `clean_destination_folder' with `a_boolean'.
		do
			clean_destination_folder := a_boolean
		ensure
			clean_destination_folder_set: clean_destination_folder = a_boolean
		end
		
invariant
	server_or_client: server xor client
	valid_output_level: output_level = Output_warnings or output_level = Output_all or output_level = Output_none
	valid_destination_folder: destination_folder /= Void implies (destination_folder.item (destination_folder.count) = Directory_separator)
	valid_eiffel_compilation_choice: compile_eiffel implies compile_c

end -- class WIZARD_ENVIRONMENT