note

	description:
		"Command names for menu entries."
	legal: "See notice at end of class."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision $"

class SHARED_EWB_CMD_NAMES

feature {NONE}

	ace_cmd_name: STRING = "ace"

	add_subquery_cmd_name: STRING = "add"

	ancestors_cmd_name: STRING = "ancestors"

	Arguments_cmd_name: STRING = "arguments"

	attributes_cmd_name: STRING = "attributes"

	aversions_cmd_name: STRING = "aversions"

	batch_cmd_name: STRING = "batch"

	callers_cmd_name: STRING = "callers"

	callees_cmd_name: STRING = "callees"

	c_compile_cmd_name: STRING = "c_compile"
			-- Name of command launching C compilation

	change_operator_cmd_name: STRING = "operator"

	class_cmd_name: STRING = "class"

	class_list_cmd_name: STRING = "classes"

	clean_cmd_name: STRING = "clean"

	clients_cmd_name: STRING = "clients"

	cluster_hierarchy_cmd_name: STRING = "Cluster hierarchy"

	clusters_cmd_name: STRING = "clusters"

	compat_cmd_name: STRING = "compat"

	compile_cmd_name: STRING = "compile"

	config_cmd_name: STRING = "config"

	Convert_profile_cmd_name: STRING = "convert"

	debug_cmd_name: STRING = "debug"

	Defaults_cmd_name: STRING = "defaults"

	deferred_cmd_name: STRING = "deferred"

	descendants_cmd_name: STRING = "descendants"

	Documentation_cmd_name: STRING = "documentation"

	dversions_cmd_name: STRING = "dversions"

	edit_ace_cmd_name: STRING = "edit"

	edit_class_cmd_name: STRING = "edit"

	experiment_cmd_name: STRING = "experiment"

	exported_cmd_name: STRING = "exported"

	externals_cmd_name: STRING = "externals"

	f_compile_cmd_name: STRING = "F-compile"

	feature_cmd_name: STRING = "feature"

	Featurename_cmd_name: STRING = "featurename"

	file_cmd_name: STRING = "file"

	filter_cmd_name: STRING = "filter"

	finalize_cmd_name: STRING = "finalize"

	flat_cmd_name: STRING = "flat"

	flatshort_cmd_name: STRING = "flatshort"

	freeze_cmd_name: STRING = "freeze"

	full_class_checking_cmd_name: STRING = "full"

	Generate_cmd_name: STRING = "generate"

	gui_cmd_name: STRING = "gui"

	help_cmd_name: STRING = "help"

	homonyms_cmd_name: STRING = "homonyms"

	implementers_cmd_name: STRING = "implementers"

	indexing_cmd_name: STRING = "indexing"

	Input_cmd_name: STRING = "input"

	Language_cmd_name: STRING = "language"

	library_cmd_name: STRING = "library"

	loop_cmd_name: STRING = "loop"

	loop_help_cmd_name: STRING = "help"

	overwrite_old_project_cmd_name: STRING = "overwrite_old_project"

	melt_cmd_name: STRING = "melt"

	main_cmd_name: STRING = "main"

	modified_cmd_name: STRING = "modifications"

	Number_of_calls_cmd_name: STRING = "calls"

	once_cmd_name: STRING = "once"

	parent_cmd_name: STRING = "parent menu"

	Percentage_cmd_name: STRING = "percentage"

	precompile_cmd_name: STRING = "precompile"

	pretty_cmd_name: STRING = "pretty"

	finalized_precompile_cmd_name: STRING = "finalize_precompile"

	Profile_cmd_name: STRING = "profile"

	project_path_cmd_name: STRING = "project_path"

	project_cmd_name: STRING = "project"

	queries_cmd_name: STRING = "query"

	quick_melt_cmd_name: STRING = "quick_melt"

	quit_cmd_name: STRING = "quit"

	reactivate_subquery_cmd_name: STRING = "reactivate"

	inactivate_subquery_cmd_name: STRING = "inactivate"

	routines_cmd_name: STRING = "routines"

	invariants_cmd_name: STRING = "invariants"

	creators_cmd_name: STRING = "creators"

	run_cmd_name: STRING = "run"

	Self_sec_cmd_name: STRING = "self"

	short_cmd_name: STRING = "short"

	show_subqueries_cmd_name: STRING = "show"

	single_file_compilation_cmd_name: STRING = "class_file.e"

	statistics_cmd_name: STRING = "statistics"

	stop_cmd_name: STRING = "stop"

	storage_cmd_name: STRING = "store"

	suppliers_cmd_name: STRING = "suppliers"

	switches_cmd_name: STRING = "switches"

	system_cmd_name: STRING = "system"

	target_cmd_name: STRING = "target"

	use_settings_cmd_name: STRING = "use_settings"

	no_library_cmd_name: STRING = "no_library"

	text_cmd_name: STRING = "text"

	path_cmd_name: STRING = "path"

	Total_sec_cmd_name: STRING = "total"

	yank_cmd_name: STRING = "yank"

	w_compile_cmd_name: STRING = "W-compile"

	flat_doc_cmd_name: STRING = "Documentation (Flat)"

	flat_short_doc_cmd_name: STRING = "Documentation (Flat/Short)"

	short_doc_cmd_name: STRING = "Documentation (Short)"

	text_doc_cmd_name: STRING = "Documentation (Text)"

	version_cmd_name: STRING = "version"

	gc_stats_cmd_name: STRING = "gc_stats";

note
	copyright: "Copyright (c) 1984-2014, Eiffel Software"
	license:   "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
	licensing_options: "http://www.eiffel.com/licensing"
	copying: "[
			This file is part of Eiffel Software's Eiffel Development Environment.
			
			Eiffel Software's Eiffel Development Environment is free
			software; you can redistribute it and/or modify it under
			the terms of the GNU General Public License as published
			by the Free Software Foundation, version 2 of the License
			(available at the URL listed under "license" above).
			
			Eiffel Software's Eiffel Development Environment is
			distributed in the hope that it will be useful, but
			WITHOUT ANY WARRANTY; without even the implied warranty
			of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
			See the GNU General Public License for more details.
			
			You should have received a copy of the GNU General Public
			License along with Eiffel Software's Eiffel Development
			Environment; if not, write to the Free Software Foundation,
			Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
		]"
	source: "[
			Eiffel Software
			5949 Hollister Ave., Goleta, CA 93117 USA
			Telephone 805-685-1006, Fax 805-685-6869
			Website http://www.eiffel.com
			Customer support http://support.eiffel.com
		]"

end