note
	description: "Constants for the file format."
	legal: "See notice at end of class."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class
	CONF_FILE_CONSTANTS

feature -- Constants

	Header: STRING = "<?xml version=%"1.0%" encoding=%"ISO-8859-1%"?>"
			-- xml header

	namespace_1_0_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-0-0"
			-- Namespace of the 5.7 release.

	schema_1_0_0: STRING_32
			-- Schema of the 5.7 release.
		once
			Result := namespace_1_0_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-0-0.xsd"
		end

	namespace_1_2_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-2-0"
			-- Namespace of the 6.0 release.

	schema_1_2_0: STRING_32
			-- Schema of the 6.0 release.
		once
			Result := namespace_1_2_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-2-0.xsd"
		end

	namespace_1_3_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-3-0"
			-- Namespace of the 6.1 release.

	schema_1_3_0: STRING_32
			-- Schema of the 6.1 release.
		once
			Result := namespace_1_3_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-3-0.xsd"
		end

	namespace_1_4_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-4-0"
			-- Namespace of the 6.2 release.

	schema_1_4_0: STRING_32
			-- Schema of the 6.2 release.
		once
			Result := namespace_1_4_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-4-0.xsd"
		end

	namespace_1_5_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-5-0"
			-- Namespace of the 6.4 release.

	schema_1_5_0: STRING_32
			-- Schema of the 6.4 release.
		once
			Result := namespace_1_5_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-5-0.xsd"
		end

	namespace_1_6_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-6-0"
			-- Namespace of the 6.6 release.

	schema_1_6_0: STRING_32
			-- Schema of the 6.6 release.
		once
			Result := namespace_1_6_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-6-0.xsd"
		end

	namespace_1_7_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-7-0"
			-- Namespace of the 6.7 release.

	schema_1_7_0: STRING_32
			-- Schema of the 6.7 release.
		once
			Result := namespace_1_7_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-7-0.xsd"
		end

	namespace_1_8_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-8-0"
			-- Namespace of the 6.8 release.

	schema_1_8_0: STRING_32
			-- Schema of the 6.8 release.
		once
			Result := namespace_1_8_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-8-0.xsd"
		end

	namespace_1_9_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-9-0"
			-- Namespace of the 7.0 release.

	schema_1_9_0: STRING_32
			-- Schema of the 7.0 release.
		once
			Result := namespace_1_9_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-9-0.xsd"
		end

	namespace_1_10_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-10-0"
			-- Namespace of the 7.1 release.

	schema_1_10_0: STRING_32
			-- Schema of the 7.1 release.
		once
			Result := namespace_1_10_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-10-0.xsd"
		end

	namespace_1_11_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-11-0"
			-- Namespace of the 7.3 release.

	schema_1_11_0: STRING_32
			-- Schema of the 7.3 release.
		once
			Result := namespace_1_11_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-11-0.xsd"
		end

	namespace_1_12_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-12-0"
			-- Namespace of the 13.11 release.

	schema_1_12_0: STRING_32
			-- Schema of the 13.11 release.
		once
			Result := namespace_1_12_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-12-0.xsd"
		end

	namespace_1_13_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-13-0"
			-- Namespace of the 14.05 release.

	schema_1_13_0: STRING_32
			-- Schema of the 14.05 release.
		once
			Result := namespace_1_13_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-13-0.xsd"
		end

	namespace_1_14_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-14-0"
			-- Namespace of the 14.05 release.

	schema_1_14_0: STRING_32
			-- Schema of the 14.05 release.
		once
			Result := namespace_1_14_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-14-0.xsd"
		end

	namespace_1_15_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-15-0"
			-- Namespace of the 15.11 release.

	schema_1_15_0: STRING_32
			-- Schema of the 15.11 release.
		once
			Result := namespace_1_15_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-15-0.xsd"
		end

	namespace_1_16_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-16-0"
			-- Namespace of the 16.11 release.

	schema_1_16_0: STRING_32
			-- Schema of the 16.11 release.
		once
			Result := namespace_1_16_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-16-0.xsd"
		end

	namespace_1_17_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-17-0"
			-- Namespace of the 18.01 release.

	schema_1_17_0: STRING_32
			-- Schema of the 18.01 release.
		once
			Result := namespace_1_17_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-17-0.xsd"
		end

	namespace_1_18_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-18-0"
			-- Namespace of the 18.07 release.

	schema_1_18_0: STRING_32
			-- Schema of the 18.07 release.
		once
			Result := namespace_1_18_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-18-0.xsd"
		end

	namespace_1_19_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-19-0"
			-- Namespace of the 18.11 release.

	schema_1_19_0: STRING_32
			-- Schema of the 18.11 release.
		once
			Result := namespace_1_19_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-19-0.xsd"
		end

	namespace_1_20_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-20-0"
			-- Namespace of the 19.05 release.

	schema_1_20_0: STRING_32
			-- Schema of the 19.05 release.
		once
			Result := namespace_1_20_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-20-0.xsd"
		end

	namespace_1_21_0: STRING_32 = "http://www.eiffel.com/developers/xml/configuration-1-21-0"
			-- Namespace of the 19.11 release.

	schema_1_21_0: STRING_32
			-- Schema of the 19.11 release.
		once
			Result := namespace_1_21_0 + {STRING_32} " http://www.eiffel.com/developers/xml/configuration-1-21-0.xsd"
		end

	Latest_namespace: READABLE_STRING_32
			-- Latest configuration namespace.
		once
			Result := namespace_1_21_0
		ensure
			class
		end

	Latest_schema: STRING_32
			-- Latest schema location.
		once
			Result := schema_1_21_0
		end

feature -- Status report

	is_namespace_known (n: like latest_namespace): BOOLEAN
			-- Is namespace `n' known?
		require
			n_attached: attached n
		do
			Result := namespace_order.has (n)
		ensure
			consistency: Result = namespace_order.has (n)
		end

feature -- Normalization

	normalized_namespace (n: like latest_namespace): like latest_namespace
			-- A namespace constant that matches `n' or
			-- the original value if there are no matches.
		require
			n_attached: n /= Void
		do
			if n.same_string (namespace_1_0_0) then Result := namespace_1_0_0
			elseif n.same_string (namespace_1_2_0) then Result := namespace_1_2_0
			elseif n.same_string (namespace_1_3_0) then Result := namespace_1_3_0
			elseif n.same_string (namespace_1_4_0) then Result := namespace_1_4_0
			elseif n.same_string (namespace_1_5_0) then Result := namespace_1_5_0
			elseif n.same_string (namespace_1_6_0) then Result := namespace_1_6_0
			elseif n.same_string (namespace_1_7_0) then Result := namespace_1_7_0
			elseif n.same_string (namespace_1_8_0) then Result := namespace_1_8_0
			elseif n.same_string (namespace_1_9_0) then Result := namespace_1_9_0
			elseif n.same_string (namespace_1_10_0) then Result := namespace_1_10_0
			elseif n.same_string (namespace_1_11_0) then Result := namespace_1_11_0
			elseif n.same_string (namespace_1_12_0) then Result := namespace_1_12_0
			elseif n.same_string (namespace_1_13_0) then Result := namespace_1_13_0
			elseif n.same_string (namespace_1_14_0) then Result := namespace_1_14_0
			elseif n.same_string (namespace_1_15_0) then Result := namespace_1_15_0
			elseif n.same_string (namespace_1_16_0) then Result := namespace_1_16_0
			elseif n.same_string (namespace_1_17_0) then Result := namespace_1_17_0
			elseif n.same_string (namespace_1_18_0) then Result := namespace_1_18_0
			elseif n.same_string (namespace_1_19_0) then Result := namespace_1_19_0
			elseif n.same_string (namespace_1_20_0) then Result := namespace_1_20_0
			elseif n.same_string (namespace_1_21_0) then Result := namespace_1_21_0
			elseif n.same_string (latest_namespace) then Result := latest_namespace
			else
					-- Unknown namespace.
				Result := n
			end
		ensure
			normalized_namespace_attached: attached Result
		end

feature -- Comparison

	is_before_or_equal (a: detachable like latest_namespace; b: like latest_namespace): BOOLEAN
			-- Is namespace `a' less or equal to `b'?
			-- (True if `a' is unknown.)
		require
			b_attached: attached b
			b_known: is_namespace_known (b)
		do
				-- Namespace strings cannot be compared directly because they are not lexicographically ordered.
			Result := not attached a or else not namespace_order.has (a) or else namespace_order.item (a) <= namespace_order.item (b)
		ensure
			definition: Result = (not attached a or else not namespace_order.has (a) or else namespace_order.item (a) <= namespace_order.item (b))
		end

	is_after_or_equal (a: detachable like latest_namespace; b: like latest_namespace): BOOLEAN
			-- Is namespace `a' greater or equal to `b'?
			-- (True if `a' is unknown.)
		require
			b_attached: attached b
			b_known: is_namespace_known (b)
		do
				-- Namespace strings cannot be compared directly because they are not lexicographically ordered.
			Result := not attached a or else not namespace_order.has (a) or else namespace_order.item (a) >= namespace_order.item (b)
		ensure
			definition: Result = (not attached a or else not namespace_order.has (a) or else namespace_order.item (a) >= namespace_order.item (b))
		end

	is_between_or_equal (a: detachable like latest_namespace; b: like latest_namespace; c: like latest_namespace): BOOLEAN
			-- Is namespace `a' less or equal to `b` and greater or equal to `c'?
			-- (False if `a' is unknown.)
		require
			b_attached: attached b
			b_known: is_namespace_known (b)
			c_attached: attached c
			c_known: is_namespace_known (c)
		do
				-- Namespace strings cannot be compared directly because they are not lexicographically ordered.
			if attached a and then attached namespace_order.item (a) as o then
				Result := o >= namespace_order.item (b) and then o <= namespace_order.item (c)
			end
		ensure
			definition: Result = (attached a and then namespace_order.item (a) >= namespace_order.item (b) and then namespace_order.item (a) <= namespace_order.item (c))
			is_after_or_equal: Result implies is_after_or_equal (a, b)
			is_before_or_equal: Result implies is_before_or_equal (a, c)
		end

feature {NONE} -- Ordering

	namespace_order: STRING_TABLE [NATURAL]
			-- Order numbers associated with namespaces.
		once
			create Result.make (21)
			Result.compare_objects
			Result.extend (1, namespace_1_0_0)
			Result.extend (2, namespace_1_2_0)
			Result.extend (3, namespace_1_3_0)
			Result.extend (4, namespace_1_4_0)
			Result.extend (5, namespace_1_5_0)
			Result.extend (6, namespace_1_6_0)
			Result.extend (7, namespace_1_7_0)
			Result.extend (8, namespace_1_8_0)
			Result.extend (9, namespace_1_9_0)
			Result.extend (10, namespace_1_10_0)
			Result.extend (11, namespace_1_11_0)
			Result.extend (12, namespace_1_12_0)
			Result.extend (13, namespace_1_13_0)
			Result.extend (14, namespace_1_14_0)
			Result.extend (15, namespace_1_15_0)
			Result.extend (16, namespace_1_16_0)
			Result.extend (17, namespace_1_17_0)
			Result.extend (18, namespace_1_18_0)
			Result.extend (19, namespace_1_19_0)
			Result.extend (20, namespace_1_20_0)
			Result.extend (21, namespace_1_21_0)
				-- When adding a new namespace, do not forget to increment the counter index too!
		end

note
	copyright:	"Copyright (c) 1984-2019, 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