note
	description: "Constants for use by the code formatter."
	legal: "See notice at end of class."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class
	CODE_FORMATTER_CONSTANTS

feature -- Access

	keywords: ARRAYED_LIST [STRING]
			-- Keywords
		once
			create Result.make (58)
			Result.compare_objects
			Result.extend ("alias")
			Result.extend ("all")
			Result.extend ("and")			
			Result.extend ("Precursor")
			Result.extend ("agent")
			Result.extend ("as")
			Result.extend ("check")
			Result.extend ("class")
			Result.extend ("create")
			Result.extend ("debug")
			Result.extend ("deferred")
			Result.extend ("do")			
			Result.extend ("else")
			Result.extend ("elseif")
			Result.extend ("end")
			Result.extend ("ensure")
			Result.extend ("expanded")
			Result.extend ("export")
			Result.extend ("external")			
			Result.extend ("false")
			Result.extend ("feature")
			Result.extend ("from")
			Result.extend ("frozen")
			Result.extend ("if")
			Result.extend ("implies")
			Result.extend ("indexing")			
			Result.extend ("infix")
			Result.extend ("inherit")
			Result.extend ("inspect")
			Result.extend ("invariant")
			Result.extend ("is")
			Result.extend ("like")
			Result.extend ("local")			
			Result.extend ("loop")
			Result.extend ("not")
			Result.extend ("obsolete")
			Result.extend ("old")
			Result.extend ("once")
			Result.extend ("or")
			Result.extend ("prefix")			
			Result.extend ("redefine")
			Result.extend ("rename")
			Result.extend ("require")
			Result.extend ("rescue")
			Result.extend ("result")
			Result.extend ("retry")
			Result.extend ("select")			
			Result.extend ("separate")
			Result.extend ("strip")
			Result.extend ("then")
			Result.extend ("true")
			Result.extend ("undefine")
			Result.extend ("unique")
			Result.extend ("until")			
			Result.extend ("variant")
			Result.extend ("when")
			Result.extend ("xor")
		end		
	
	symbols: ARRAYED_LIST [STRING]
			-- Symbols
		once
			create Result.make (19)
			Result.compare_objects
			Result.extend ("=")
			Result.extend ("<")
			Result.extend (">")
			Result.extend (":")
			Result.extend ("<<")
			Result.extend (">>")
			Result.extend ("!!")
			Result.extend ("/=")			
			Result.extend (":=")
			Result.extend ("?=")
			Result.extend ("->")
			Result.extend ("(")
			Result.extend (")")
			Result.extend ("[")
			Result.extend ("]")
			Result.extend ("{")
			Result.extend ("}")
			Result.extend ("'")
			Result.extend ("+")
			Result.extend ("$")
			Result.extend ("%%")
		end
	
	format_tags: HASH_TABLE [STRING, STRING]
			-- Code format tags
		once
			create Result.make (11)
			Result.compare_objects
			Result.extend ("<character>", "</character>")
			Result.extend ("<class_name>", "</class_name>")
			Result.extend ("<cluster_name>", "</cluster_name>")
			Result.extend ("<comment>", "</comment>")
			Result.extend ("<feature_name>", "</feature_name>")			
			Result.extend ("<generics>", "</generics>")
			Result.extend ("<keyword>", "</keyword>")
			Result.extend ("<local_variable>", "</local_variable>")
			Result.extend ("<number>", "</number>")
			Result.extend ("<string>", "</string>")
			Result.extend ("<symbol>", "</symbol>")
		end
	
	dot_char: CHARACTER = '.'
			-- Dot call character
			
	newline_string: STRING = "%N"
	
	tab_string: STRING = "%T"
	
	space_string: STRING = " "
	
	empty_string: STRING = "";
	
note
	copyright:	"Copyright (c) 1984-2006, 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
			 356 Storke Road, Goleta, CA 93117 USA
			 Telephone 805-685-1006, Fax 805-685-6869
			 Website http://www.eiffel.com
			 Customer support http://support.eiffel.com
		]"
end -- class CODE_FORMATTER_CONSTANTS