indexing
	description: "Constants for warning messages."
	conventions: "w_: Warning message"
	date: "$Date$"
	revision: "$Revision$"

class
	WARNING_MESSAGES

inherit
	PRODUCT_NAMES
		export
			{NONE} workbench_name
		end

feature -- Project file/directory warnings

	w_Select_project_to_load: STRING is
		"Please select a project in the list or Click%N%
		%on the %"Browse%" button to open a project."

	w_Select_project_to_create: STRING is
		"Please select the kind of project you want to create."

	w_Cannot_open_project: STRING is 
		"Project is not readable. Check permissions."

	w_Cannot_create_project_directory (dir_name: STRING): STRING is
		require
			dir_name_not_void: dir_name /= Void
		do
			create Result.make (128)
			Result.append ("Cannot create project directory in: ")
			Result.append (dir_name)
			Result.append ("%NYou may try again after fixing the permissions.")
		end

	w_Project_directory_not_exist (file_name, dir_name: STRING): STRING is
			-- Error message when something is missing in the Project directory.
		require
			dir_name_not_void: dir_name /= Void
		do
			create Result.make (256)
			Result.append ("%NCannot open project `")
			Result.append (file_name)
			Result.append ("'.%N%NMake sure you have a complete EIFGEN directory in `")
			Result.append (dir_name)
			Result.append ("'.")
		end

	w_Cannot_compile: STRING is "Read-only project: cannot compile."

	w_Project_exists (dir_name: STRING): STRING is
		require
			dir_name_not_void: dir_name /= Void
		do
			create Result.make (128)
			Result.append ("In `")
			Result.append (dir_name)
			Result.append ("' an Eiffel project already exists.%N")
			Result.append ("Do you wish to overwrite it?")
		end

	w_Project_corrupted (dir_name: STRING): STRING is
		require
			dir_name_not_void: dir_name /= Void
		do
			create Result.make (30)
			Result.append ("Project in: ")
			Result.append (dir_name)
			Result.append ("%Nis corrupted. Cannot continue.")
		end
		
	w_Project_incompatible (dir_name: STRING; comp_version, incomp_version: STRING): STRING is
		require
			dir_name_not_void: dir_name /= Void
			valid_version: comp_version /= Void and then incomp_version /= Void
		do
			if incomp_version.is_empty then
				create Result.make (30)
				Result.append ("No version information about project found in:%N")
				Result.append (dir_name)
				Result.append (".")
			else
				create Result.make (30)
				Result.append ("Incompatible version for project: ")
				Result.append (dir_name)
				Result.append (".%N")
				Result.append (Workbench_name)
				Result.append (" version is ")
				Result.append (comp_version)
				Result.append (".%NProject was compiled with version ")
				Result.append (incomp_version)
				Result.append (".")
			end
		end
		
	w_Project_incompatible_version (dir_name: STRING; comp_version, incomp_version: STRING): STRING is
		require
			dir_name_not_void: dir_name /= Void and then not dir_name.is_empty
			valid_comp_version: comp_version /= Void and then not comp_version.is_empty
			valid_incomp_version: incomp_version /= Void and then not incomp_version.is_empty
		do
			create Result.make (30)
			Result.append ("Incompatible version for project: ")
			Result.append (dir_name)
			Result.append (".%N")
			Result.append (Workbench_name)
			Result.append (" version is ")
			Result.append (comp_version)
			Result.append (".%NProject was compiled with version ")
			Result.append (incomp_version)
			Result.append (".%N%N")
			Result.append ("Click OK to convert this project to version ")
			Result.append (comp_version)
			Result.append (".%N")
		end
		
	w_Project_interrupted (dir_name: STRING): STRING is
		require
			dir_name_not_void: dir_name /= Void
		do
			create Result.make (30)
			Result.append ("Retrieving project in: ")
			Result.append (dir_name)
			Result.append ("%Nwas interrupted. Cannot continue.")
		end
		
	w_None_system: STRING is "A system whose root class is NONE is not runnable."

feature -- File warnings

	w_Cannot_create_file (file_name: STRING): STRING is
		require
			file_name_not_void: file_name /= Void
		do
			create Result.make (30)
			Result.append ("Cannot create file:%N")
			Result.append (file_name)
			Result.append (".")
		end

	w_Cannot_create_directory (file_name: STRING): STRING is
		require
			file_name_not_void: file_name /= Void
		do
			create Result.make (30)
			Result.append ("Cannot create directory:%N")
			Result.append (file_name)
			Result.append (".")
		end

	w_Cannot_read_file (file_name: STRING): STRING is
		require
			file_name_not_void: file_name /= Void
		do
			create Result.make (file_name.count + 25)
			Result.append ("File: '")
			Result.append (file_name)
			Result.append ("' cannot be read.")
		end

	w_Cannot_read_file_retry (file_name: STRING): STRING is
		require
			file_name_not_void: file_name /= Void
		do
			Result := w_Cannot_read_file (file_name)
			Result.append (". Try again?")
		end

	w_file_not_exist (f_name: STRING): STRING is
			-- Error message when `f_name' does not exist.
		require
			f_name_not_void: f_name /= Void
		do
			create Result.make (128)
			Result.append ("File: ")
			Result.append (f_name)
			Result.append ("%Ndoes not exist.")
		end

	w_File_does_not_exist_execution_impossible: STRING is " does not exist.%NExecution impossible.%N"

	w_Directory_not_exist (dir_name: STRING): STRING is
			-- Error message when a directory does not exist.
		require
			dir_name_not_void: dir_name /= Void
		do
			create Result.make (128)
			Result.append ("Directory ")
			Result.append (dir_name)
			Result.append ("%Ndoes not exist.")
		end
			
	w_Not_a_plain_file (file_name: STRING): STRING is
		require
			file_name_not_void: file_name /= Void
		do
			create Result.make (30)
			Result.append (file_name)
			Result.append ("%Nis not a plain file.")
		end

	w_Not_creatable (file_name: STRING): STRING is
		require
			file_name_not_void: file_name /= Void
		do
			create Result.make (30)
			Result.append ("File: ")
			Result.append (file_name)
			Result.append (" cannot be created.%NPlease check permissions.")
		end

	w_Not_writable (file_name: STRING): STRING is
		require
			file_name_not_void: file_name /= Void
		do
			create Result.make (30)
			Result.append ("File: ")
			Result.append (file_name)
			Result.append ("%Nis not writable.%NPlease check permissions.")
		end
		
	w_Still_referenced (a_class_name: STRING; referenced_classes: STRING): STRING is
		require
			a_class_name_not_void: a_class_name /= Void
			referenced_classes_not_void: referenced_classes /= Void
		do
			create Result.make (30)
			Result.append ("Can't delete class " + a_class_name)
			Result.append (" because it is referenced by%N")
			Result.append (referenced_classes)
			Result.append ("%N%NIf this is not the case recompile the system and try again.")
		end
		
	w_File_modified_by_another_editor: STRING is "This file has been modified by another editor."

	w_File_exists (file_name: STRING): STRING is
		require
			file_name_not_void: file_name /= Void
		do
			create Result.make (30)
			Result.append ("File: ")
			Result.append (file_name)
			Result.append (" already exists.%NDo you wish to overwrite it?")
		end

	w_File_exists_edit_it (file_name: STRING): STRING is
		require
			file_name_not_void: file_name /= Void
		do
			create Result.make (30)
			Result.append ("File: ")
			Result.append (file_name)
			Result.append (" already exists.%NDo you wish to edit it?")
		end

	w_Not_a_directory (dir_name: STRING): STRING is
		require
			dir_name_not_void: dir_name /= Void
		do
			create Result.make (30)
			Result.append (dir_name)
			Result.append ("%Nis not a directory.")
		end

	w_Not_a_file (file_name: STRING): STRING is
		require
			file_name_not_void: file_name /= Void
		do
			create Result.make (file_name.count + 18)
			Result.append ("'")
			Result.append (file_name)
			Result.append ("' is not a file.")
		end

	w_Not_a_file_retry (file_name: STRING): STRING is
		require
			file_name_not_void: file_name /= Void
		do
			Result := w_Not_a_file (file_name)
			Result.append (". Try again?")
		end

	w_Cannot_open_any_file: STRING is "Only files representing known%N%
									%classes can be opened."
			-- An attempt was made to open a file that does not correspond to a class in the universe.

feature -- Project settings warnings

	w_cluster_with_name_exists: STRING is "A cluster with this name already exists. Please use another name."

	w_cluster_name_not_valid: STRING is "Cluster name is not valid."

	w_cluster_path_not_valid: STRING is "Cluster path is not valid."
			
feature -- Debug warnings

	w_Cannot_debug: STRING is "Current version of system has not been successfully compiled.%N%
						%Cannot use debugging facilities."

	w_Debug_not_compiled: STRING is
			-- The user tries to launch an application that is not fully compiled.
		"The last compilation was not complete.%N%
		%Running the last compiled application in these conditions%N%
		%may lead to inconsistent information, or to an unexpected behavior."

	w_Removed_class_debug: STRING is
			-- The user tries to launch an application from which classes were removed.
		"Classes were manually removed since last compilation.%N%
		%Running the last compiled application in these conditions%N%
		%may lead to inconsistent information, or to an unexpected behavior."

	w_Invalid_working_directory (wd: STRING): STRING is
			-- Message when working directory is incorrect.
		require
			wd_not_void: wd /= Void
		do
			Result := "Could not launch system in %"" + wd + "%"."
		end

	w_Not_a_condition (expr: STRING): STRING is
			-- Message when an expression is not a condition.
		require
			expr_not_void: expr /= Void
		do
			Result := "%'" + expr + "%' is not a condition."
		end

	w_Invalid_address (addr: STRING): STRING is
			-- Message when an address does not correspond to an object.
		require
			addr_not_void: addr /= Void
		do
			if addr.is_empty then
				Result := "Please enter a valid address."
			else
				Result := "%'" + addr + "%' is not a valid address.%N%
					%Addresses only make sense while an application is stopped."
			end
		end

	w_Overflow_detected: STRING is	"Possible stack overflow detected.%N%
									%The application was paused to let you%N%
									%examine its current status."

	w_Syntax_error_in_expression (expr: STRING): STRING is
			-- Message when an expression has an invalid syntax.
		require
			expr_not_void: expr /= Void
		do
			Result := "%'" + expr + "%' is an invalid or not supported syntax."
		end

feature -- Cluster tree warnings

	w_Cannot_move_class: STRING is
			-- A class involved in a move operation could not be moved.
		"Source file cannot be moved.%N%
		%Please make sure that:%N%
		%the source file exists,%N%
		%the source file is not being edited,%N%
		%the destination directory can be written in."

	w_Cannot_delete_read_only_class (class_name: STRING): STRING is
		require
			class_name_not_void: class_name /= Void
		do
			create Result.make (100)
			Result.append ("Cannot delete class ")
			Result.append (class_name.as_upper)
			Result.append ("%Nbecause it is either precompiled%N%
							%or in a library cluster.")
		end

	w_Cannot_delete_library_cluster (cluster_name: STRING): STRING is
		require
			cluster_name_not_void: cluster_name /= Void
		do
			create Result.make (100)
			Result.append ("Cannot delete cluster ")
			Result.append (cluster_name.as_upper)
			Result.append ("%Nbecause it is either a precompiled%N%
							%or a library cluster.")
		end
		
	w_Cannot_delete_none_empty_cluster (cluster_name: STRING): STRING is
		require
			cluster_name_not_void: cluster_name /= Void
		do
			create Result.make (100)
			Result.append ("Cannot delete cluster ")
			Result.append (cluster_name.as_upper)
			Result.append ("%Nbecause cluster is not empty")
		end

	w_Cannot_add_to_library_cluster (cluster_name: STRING): STRING is
		require
			cluster_name_not_void: cluster_name /= Void
		do
			create Result.make (100)
			Result.append ("Cannot add a cluster to cluster%N")
			Result.append (cluster_name.as_upper)
			Result.append ("%Nbecause it is either a precompiled%N%
							%or a library cluster.")
		end

	w_Cannot_find_class (class_name: STRING): STRING is
		require
			class_name_not_void: class_name /= Void
		do
			create Result.make (30)
			Result.append ("Cannot find class ")
			Result.append (class_name.as_upper)
			Result.append (".")
		end

	w_Cannot_find_cluster (cluster_name: STRING): STRING is
		require
			cluster_name_not_void: cluster_name /= Void
		do
			create Result.make (30)
			Result.append ("Cannot find cluster ")
			Result.append (cluster_name.as_upper)
			Result.append (".")
		end

	w_Choose_class_or_cluster: STRING is
			-- No class/cluster stone was selected in the development window.
		"Please first select in the editor the class or cluster%Nthat you want to locate."

	w_Class_already_in_cluster (base_name: STRING): STRING is
		require
			base_name_not_void: base_name /= Void
		do	
			create Result.make (30)
			Result.append ("Class with file name ")
			Result.append (base_name)
			Result.append (" already exists in cluster.")
		end

	w_Class_still_in_cluster (base_name: STRING): STRING is
		require
			base_name_not_void: base_name /= Void
		do	
			create Result.make (30)
			Result.append ("A class with file name ")
			Result.append (base_name)
			Result.append ("%Nis still referenced in this cluster.%NPlease recompile to update the system.")
		end

	w_Class_already_exists (class_name: STRING): STRING is
		require
			class_name_not_void: class_name /= Void
		do
			create Result.make (100)
			Result.append ("Class with name: '")
			Result.append (class_name)
			Result.append ("' already exists.%NPlease select a different class name.")
		end
		
	w_Class_already_exists_info (class_name: STRING): STRING is
		require
			class_name_not_void: class_name /= Void
		do
			create Result.make (100)
			Result.append ("Class with name: '")
			Result.append (class_name)
			Result.append ("' already exists.%NDo you want to proceed?")
		end

	w_Enter_path: STRING is "Please enter a folder%Nto receive the new cluster."

	w_Invalid_class_name (class_name: STRING): STRING is
		require
			class_name_not_void: class_name /= Void
		do
			create Result.make (100)
			if class_name.is_empty then
				Result.append ("An empty class name is not valid.%N")
			else
				Result.append ("'")
				Result.append (class_name)
				Result.append ("' is not a valid class name.%N")
			end
			Result.append ("Class names should only include%N%
						%alphanumeric characters or underscores,%N%
						%and start with an alphabetic character.%N%
						%Please select a different class name.")
		end

	w_Invalid_cluster_name (cluster_name: STRING): STRING is
		require
			cluster_name_not_void: cluster_name /= Void
		do
			create Result.make (100)
			if cluster_name.is_empty then
				Result.append ("An empty cluster name is not valid.%N")
			else
				Result.append ("'")
				Result.append (cluster_name)
				Result.append ("' is not a valid cluster name.%N")
			end
			Result.append ("Cluster names should only include %N%
						%alphanumeric characters or underscores,%N%
						%and start with an alphabetic character.%N%
						%Please select a different cluster name.")
		end

	w_Invalid_feature_name (feature_name: STRING): STRING is
		require
			feature_name_not_void: feature_name /= Void
		do
			create Result.make (100)
			if feature_name.is_empty then
				Result.append ("An empty feature name is not valid.%N")
			else
				Result.append ("'")
				Result.append (feature_name)
				Result.append ("' is not a valid feature name.%N")
			end
			Result.append ("Feature names should only include %N%
						%alphanumeric characters or underscores,%N%
						%and start with an alphabetic character.%N%
						%Please select a different feature name.")
		end

	w_Clear_breakpoints: STRING is "Forget all breakpoints?"

	w_Cluster_path_already_exists (path: STRING): STRING is
		require
			path_not_void: path /= Void
		do	
			create Result.make (70);
			Result.append ("Cluster with path ");
			Result.append (path.as_upper);
			Result.append (" already exists in the universe.")
		end;

	w_Cluster_name_already_exists (name: STRING): STRING is
		require
			name_not_void: name /= Void
		do	
			create Result.make (70);
			Result.append ("Cluster with name ");
			Result.append (name.as_upper);
			Result.append (" already exists in the universe.")
		end;

	w_Confirm_delete_class (class_name: STRING): STRING is
		do
			Result := "Class " + class_name + " will be permanently%N%
						%removed from the system and from the disk.%N%N%
						%Are you sure this is what you want?"
		end

	w_Confirm_delete_cluster (cluster_name: STRING): STRING is
		do
			Result := "Cluster " + cluster_name + " will be permanently%N%
						%removed from the system.%N%N%
						%Are you sure this is what you want?"
		end
	
	w_Could_not_locate (cl_name: STRING): STRING is
			-- Class/cluster could not be found in the cluster tree.
		do
			Result := "Could not locate " + cl_name + ".%NPlease make sure system is correctly compiled."
		end

	w_Unsufficient_compilation (degree: INTEGER): STRING is
			-- The last or current compilation of the project did not
			-- go through degree `degree', so that a command cannot be executed.
		require
			valid_degree: degree >= -5 and degree <= 6
		do
			Result := "Command cannot be executed unless compilation%N%
						%goes through degree " + degree.out + "."
		end

	w_Project_not_compiled: STRING is 
			"Command cannot be executed because the project%N%
			%has never been compiled.%N%
			%Please compile the project before calling this command."

	w_Feature_is_not_compiled: STRING is 
			"An error occurred on breakpoints because a feature%N%
			%was not correctly compiled.%N%N%
			%Recompiling the project completely will solve the problem."

	w_Formatter_failed: STRING is
			-- A formatter crashed, most probably because the last compilation was not successful
			-- or because we are compiling.
		"Format could not be generated.%N%
		%Please make sure that the system is not being compiled %
		%and that the last compilation was successful."

	w_Files_not_saved_before_compiling: STRING is
			"Some files have not been saved.%N%
			%Do you want to save them before compiling?%N"

	w_Degree_needed (n: INTEGER): STRING is
			-- A command needs a certain degree during a compilation.
		require
			valid_degree: n >= -5 and n <= 6
		do
			Result := "Command cannot be executed until degree " + n.out + " completed.%N%
						%Please wait until then before calling this command."
		end

	w_Select_parent_cluster: STRING is
			-- User needs to select a cluster in the new cluster dialog.
		"Please select a cluster from the list.%N%
		%A parent cluster is needed."

feature -- Backup warnings

	w_Crashed: STRING is 
		once
			Result := "An unexpected error occurred.%N"+
					WorkBench_name+" will now make an attempt to create%N%
						%a backup of the edited files."
		end

	w_Backup_succeeded: STRING is "Backup was successful.%N%
								%Class files were saved with a .swp extension."

	w_Backup_partial (i: INTEGER): STRING is
			-- `i' files could not be saved during a backup.
		do
			Result := i.out
			if i = 1 then
				Result.append ("file")
			else
				Result.append (" files")
			end
			Result.append (" could not be backed up.%N%
					%Other class files were saved with a .swp extension.")
		end

	w_Backup_failed: STRING is "Backup failed for some files.%N%
								%The state of the system was too damaged."

	w_Found_backup: STRING is "A backed up version of the file was found.%N%
							%Do you want to open the original file or the backup file?%N%
							%If you choose the original file, the backup file will be%N%
							%deleted. If choose the backup file, then the original file%N%
							%will be overwritten with the contents of the backup file%N%
							%when you save.%N"

	w_Save_backup: STRING is "You are about to overwrite the original file with%N%
					%the backup file. Previous content will be lost%N%
					%and the backup file deleted."

feature -- Dynamic library warnings

	w_Save_invalid_definition: STRING is
			-- The user tries to save an invalid definition file.
		"There are problems in this library definition.%N%
		%Call 'Check' to have more information.%N%
		%Save anyway?"

	w_Invalid_feature_exportation: STRING is
			-- A feature export is invalid.
		"This feature export clause contains errors.%N%
		%Try editing it to have more information."

	w_Conflicting_exports: STRING is
			-- Some feature exportation clauses have conflicts.
		"Some feature export clauses are conflicting.%N%
		%Please make sure that export clauses do not share%N%
		%either their indices or their exported names."

	w_No_errors_found: STRING is
			-- The export feature definitions seem ok.
		"No errors were found."

	w_Not_a_compiled_class (cl_name: STRING): STRING is
			-- The `cl_name' does not represent a valid class.
		do
			if cl_name /= Void then
				Result := "%"" + cl_name + "%"%N%
				%is not a compiled class."
			else
				Result := "Please specify a class name."
			end
		end

	w_Not_a_compiled_class_line (cl_name: STRING): STRING is
			-- The `cl_name' does not represent a valid class.
		do
			if cl_name /= Void then
				Result := "%"" + cl_name + "%" %
				%is not a compiled class."
			else
				Result := "Please specify a class name."
			end
		end

	w_Class_cannot_export: STRING is "This class cannot export features.%N%
				%Please make sure that it is neither deferred nor generic%N%
				%and that the system is correctly compiled."

	w_No_exported_feature (f_name, cl_name: STRING): STRING is
			-- `f_name' cannot be found in class `cl_name'.
		require
			f_not_void_implies_c_not_void: f_name /= Void implies cl_name /= Void
		do
			if f_name = Void then
				Result := "Please enter a feature name."
			else
				Result := "Class %"" + cl_name + "%"%N%
					%has no feature named %"" + f_name + "%"."
			end
		end

	w_Feature_cannot_be_exported: STRING is "This feature cannot be exported.%N%
				%Deferred features, external ones,%N%
				%and attributes cannot be exported."

	w_No_valid_creation_routine: STRING is
			"No valid creation routine%N%
			%could be found for this class.%N%
			%Please make sure the chosen class%N%
			%has a creation routine taking no argument."

	w_Invalid_parameters: STRING is
			-- The chosen export parameters are invalid.
		"These parameters are invalid."

	w_Invalid_index: STRING is
			-- The chosen index is not valid.
		"Index is out of range.%N%
		%Indices should be positive integers."

	w_Invalid_alias: STRING is
			-- The chosen parameters are not valid.
		"Alias is invalid.%N%
		%Please check that it is a valid C identifier."

	w_Cannot_load_library (fn: STRING): STRING is
			-- The library located in file `fn' cannot be read.
		do
			Result := "The file " + fn + "%N%
					%either cannot be read or does not represent%N%
					%a valid dynamic library definition."
		end

	w_Cannot_save_library (fn: STRING): STRING is
			-- The library cannot be written in file `fn'.
		do
			Result := "Could not save the library definition to%N" + fn + "."
		end

	w_Error_parsing_the_library_file: STRING is
			-- An error occurred while parsing a .def file.
		"This file seems to be corrupted.%N%
		%Not all items inside could be loaded."

	w_Unsaved_changes: STRING is
			-- The user tries to exit the dialog although some modifications were not saved.
		"This will discard the modifications."

feature -- Ace/Project settings warnings

	w_Could_not_parse_ace: STRING is "An error occurred while parsing the Ace file.%N%
									%Please try using the system configuration tool."
	
	w_Incorrect_ace_configuration: STRING is "Some values are invalid, %
									%please correct the corresponding entries"

feature -- Profiler messages

	w_Profiler_Bad_query: STRING is
			-- Message displayed when detecting a bad query
		do
			create Result.make (0)
			Result.append ("Please enter a correct query, for example:%N")
			Result.append ("%Tfeaturename = WORD.t*%N")
			Result.append ("%Tfeaturename < WORD.mak?%N")
			Result.append ("%Tcalls > 2%N")
			Result.append ("%Tself <= 3.4%N")
			Result.append ("%Tdescendants in 23 - 34%N")
			Result.append ("%Ttotal >= 12.3%N")
			Result.append ("%Tpercentage /= 2%N")
			Result.append ("%Tcalls > avg%N")
			Result.append ("%Tself <= max%N")
			Result.append ("%Ttotal > min%N")
			Result.append ("%N")
			Result.append ("You can also combine subqueries with 'and' and 'or', for example:%N")
			Result.append ("%Tcalls > 2 and self <= 3.4 or percentage in 2.3 - 3.5")
		end
		
	w_Profiler_select_one_output_switch: STRING is "Select at least one output switch."

	w_Profiler_select_one_language: STRING is "Select at least one language."

feature -- Project creation, retrieval, ...

	w_Unable_to_retrieve_project: STRING is "Unable to retrieve the project, it may be corrupted."
	
	w_Fill_in_location_field: STRING is "Please fill in the 'Location' field."
	
	w_Fill_in_project_name_field: STRING is "Please fill in the 'Project Name' field."
	
	w_Fill_in_ace_field: STRING is "Please fill in the 'Ace file' field."
	
	w_Unable_to_load_ace_file (an_ace_name: STRING): STRING is 
		do
			Result := "Unable to load the ace file `" + an_ace_name + "'."
		end
		
	w_Invalid_directory_or_cannot_be_created (a_directory_name: STRING): STRING is
		do
			Result := "'" + a_directory_name + "' is not a valid directory and/or cannot be created%N%
				%Please choose a valid and writable directory."
		end
		

feature -- Warning messages

	w_Assertion_warning: STRING is 
		"By default assertions enabled in the Ace file are kept%N%
		%in final mode.%N%
		%%N%
		%Keeping assertion checking inhibits any optimization%N%
		%specified in the Ace (inlining, array optimization,%N%
		%dead-code removal) and will produce a final executable%N%
		%that is not optimal in speed and size.%N%
		%%N%
		%Are you sure you want to keep the assertions in your%N%
		%finalized executable?"

	w_Backup_file_not_editable: STRING is "Backup file cannot be modified.%NTo edit it, save it first."
	
	w_Cannot_move_favorite_to_a_child: STRING is 
		"Moving a folder to one of its children%N%
		%is not possible."

	w_Cannot_move_feature_alone: STRING is 
		"Moving a feature favorite is not supported by the favorite manager."

	w_Class_not_modifiable: STRING is "The text of this class cannot be modified."

	w_could_not_modify_class: STRING is "The text of this class could not be modified."

	w_Could_not_save_all: STRING is "Some files could not be saved.%N%
									%Exit was cancelled."

	w_cannot_save_png_file (a_file_name: STRING): STRING is 
		do
			if a_file_name /= Void then
				Result := "Could not save diagram to " + a_file_name
			else
				Result := "Could not save diagram to specified location."
			end
		end
	
	w_cannot_generate_png: STRING is "Could not generate PNG file.%NInsufficient video memory."
	
	w_does_not_have_enclosing_cluster: STRING is "This cluster does not have an enclosing cluster."

	w_No_internet_browser_selected: STRING is "No browser was given in the preferences"
	
	w_No_url_to_replace: STRING is "There is no $url part in the browser preference.%N%
									%Please fix your preferences."
	
	w_No_ise_eiffel: STRING is "Environment variable ISE_EIFFEL is not defined."

	w_Page_not_exist: STRING is "The requested page does not exist.%N%
								%Please check your ISE Eiffel installation."

	w_Environment_not_initialized: STRING is "$ISE_EIFFEL is not initialized. Execution impossible%N"

	w_Freeze_warning: STRING is 
		"Freezing implies some C compilation and linking.%N%
		% - Click Yes to compile the Eiffel system (including C compilation)%N%
		% - Click No  to compile the Eiffel system (no C compilation)%N%
		% - Click Cancel to abort%N%
		%%N"

	w_Finalize_warning: STRING is 
		"Finalizing implies some C compilation and linking.%N%
		% - Click Yes to compile the C code after finalizing the system%N%
		% - Click No  to skip the C compilation (no executable will be generated)%N%
		% - Click Cancel to abort%N%
		%%N"

	w_Load_configuration: STRING is	"An error occurred while loading the %
									%configuration for your profiler.%N%
									%Please check with your system %
									%administrator whether your profiler is %
									%supported.%N"

	w_Ignoring_all_stop_points: STRING is "Application will ignore all breakpoints."

	w_Unknown_cluster_name: STRING is "No cluster in the system has this name.";

	w_Invalid_folder_name: STRING is "Invalid folder name"

	w_Invalid_cluster: STRING is
			-- One of the clusters involved in a move operation was invalid.
		"One of the clusters is invalid.%N%N%
		%Please check that none is precompiled or a library,%N%
		%and that the corresponding directories have sufficient rights."

	w_Makefile_more_recent (make_file: STRING): STRING is
		require
			make_file_not_void: make_file /= Void
		do
			create Result.make (30)
			Result.append (make_file)
			Result.append (" is more recent than the system.%N")
			Result.append ("Do you want to compile the generated C code?")
		end
		
	w_Makefile_does_not_exist (make_file: STRING): STRING is
		require
			make_file_not_void: make_file /= Void
		do
			create Result.make (30)
			Result.append (make_file)
			Result.append (" does not exist.%N")
			Result.append ("Cannot invoke C compilation.")
		end

	w_MakefileSH_more_recent: STRING is "The Makefile.SH is more recent than the system."

	w_Must_compile_first: STRING is "You must compile a project first."

	w_Must_finalize_first: STRING is "You must finalize your project first."
	
	w_No_class_matches: STRING is "No class in any cluster matches this name."

	w_No_cluster_matches: STRING is "No cluster in the system matches this name."

	w_No_feature_matches: STRING is "No feature in this class matches this name."

	w_No_feature_to_display: STRING is "No features in this file"

	w_No_such_feature_in_this_class (feature_name, class_name: STRING): STRING is
		do
			Result := "No feature named " + feature_name + " could be found in class " + class_name + "."
		end

	w_No_system_generated: STRING is "No system was generated.%N%
						%Please make sure the C compilation ended correctly."

	w_No_system: STRING is "No system was defined.%NCannot launch the application."

	w_Not_an_integer: STRING is "Please enter an integer value."

	w_Select_class_cluster_to_remove: STRING is "Please select a class or a cluster %N%
										%before calling this command.%N%
										%It will then be removed."

	w_Specify_a_class: STRING is "Please specify a compiled class (or * for all classes)."

	w_Exiting_stops_compilation: STRING is "It is not possible to exit EiffelStudio%N%
											%while the project is being compiled."

	w_Save_before_closing: STRING is "Do you want to save your changes%N%
									%before closing the window?"

	w_Stop_debugger: STRING is "This command will stop the debugger."

	w_Exiting_stops_debugger: STRING is "Exiting will stop the debugger."

	w_Closing_stops_debugger: STRING is "Closing the window will stop the debugger."

	w_Unexisting_system: STRING is "System doesn't exist."

	w_File_changed (class_name: STRING): STRING is
		do
			if class_name = Void then
				Result := "File has been modified.%NDo you want to save changes?"
			else
				Result := "Class "+ class_name + " has been modified.%NDo you want to save changes?"
			end
		end

	w_Syntax_error: STRING is "Class has syntax error.%NText will not be clickable.%NSee highlighted area."

	w_Select_object_to_remove: STRING is "Please select a top-level item%N%
										%different from the current object%N%
										%(i.e. the first one) in the object tree%N%
										%to have it removed."

	w_Text_not_editable: STRING is "Current text is not editable."
	
	w_Class_header_syntax_error (class_name: STRING): STRING is
		require
			class_name_not_void: class_name /= Void
		do
			Result := "Syntax error in class "
			Result.append (class_name)
		end
		
	w_Class_syntax_error_before_generation (class_name: STRING): STRING is
		require
			class_name_not_void: class_name /= Void
		do
			Result := "Class " + class_name + " has syntax error.%N"
			Result.append ("Code generation cancelled.")
		end
		
	w_Class_modified_outside_diagram: STRING is "Class was modified outside the diagram.%N%
												%Previous commands are not undoable any longer."
												
	w_Inheritance_from_any: STRING is "Cannot remove inheritance from ANY."
		
	w_Class_syntax_error: STRING is "Current class text has a syntax error.%NCode generation was cancelled."
		
	w_New_feature_syntax_error: STRING is "New feature has syntax error.%NCode generation cancelled."
		
	w_Wrong_class_name: STRING is "Syntax error in name or generics"

	w_Class_name_changed: STRING is "Class name has changed since last compilation.%NCurrent text will not be clickable.%N%
						%Recompile to make it clickable again."
						
	w_Unable_to_execute_wizard (wizard_file: STRING): STRING is
		do
			Result := 
				"Unable to execute the wizard.%N%
				%Check that `"+wizard_file+"' exists and is executable.%N"	
		end
	
	w_short_internal_error (a_code: STRING): STRING is
			-- Short internal error using `a_code'.
		require
			a_code_not_void: a_code /= Void
		do
			Result := "Internal error ("
			Result.append (a_code)
			Result.append ("): Submit bug at http://support.eiffel.com")
		end

	w_Internal_error: STRING is
		"An internal error occurred.%N%N%
		%1 - Check that you have enough space to compile.%N%
		%2 - If this happens even after relaunching the environment%N%
		%     delete your EIFGEN and recompile from scratch.%N%N%
		%Follow the instructions at http://support.eiffel.com/submit.html in%N%
		%order to submit a bug report at http://support.eiffel.com"
		
	w_Class_already_edited: STRING is "This class is already being edited%N%
										%in another editor.%N%
										%Editing a class in several editors%N%
										%may cause loss of data."
	w_Invalid_options: STRING is "The selected options are invalid.%N%
								%Please select different ones."

	w_Index_already_taken: STRING is "This index is already used.%N%
									%Please select another one."

	w_Command_needs_class: STRING is "This command requires a class name.%N%
									%It cannot be executed."

	w_Command_needs_file: STRING is "This command requires a file name.%N%
									%It cannot be executed."
									
	w_Finalize_precompile: STRING is    ".NET precompiled libraries can be finalized to create%N%
									%an optimized version as well as a workbench version.%N%
									%Would you like to create a finalized verion?"

end -- class WARNING_MESSAGES