indexing
	description: "Shared metric utilities."
	legal: "See notice at end of class."
	status: "See notice at end of class."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	EB_METRIC_SHARED

inherit
	EB_CONSTANTS

feature -- Access

	metric_manager: EB_METRIC_MANAGER is
			-- Metric manager
		once
			create Result.make
		ensure
			result_attached: Result /= Void
		end

	metric_vadility_checker: EB_METRIC_VADILITY_VISITOR is
			-- Metric vadility checker
		once
			create Result.make (metric_manager)
		ensure
			result_attached: Result /= Void
		end

	criterion_factory: EB_METRIC_CRITERION_FACTORY is
			-- Criterion factory
		once
			create Result.make
		ensure
			result_attached: Result /= Void
		end

feature -- Access/Metric type

	basic_metric_type: INTEGER is 1
			-- Basic metric type

	linear_metric_type: INTEGER is 2
			-- Linear metric type

	ratio_metric_type: INTEGER is 3
			-- Ratio metric type

	metric_type_id (a_metric: EB_METRIC): INTEGER is
			-- Metric type id of `a_metric'
		require
			a_metric_attached: a_metric /= Void
		do
			if a_metric.is_basic then
				Result := basic_metric_type
			elseif a_metric.is_linear then
				Result := linear_metric_type
			elseif a_metric.is_ratio then
				Result := ratio_metric_type
			end
		ensure
			good_result: is_metric_type_valid (Result)
		end

feature -- Metric editor mode

	readonly_mode: INTEGER is 1
			-- Read only mode
			-- This is used for browsing predefined metrics

	new_mode: INTEGER is 2
			-- New mode
			-- This is used for define new metrics

	edit_mode: INTEGER is 3
			-- Edit mode
			-- This is used for editing existing metrics

feature -- Status report

	is_metric_type_valid (a_type: INTEGER): BOOLEAN is
			-- Is `a_type' a valid metric type
			-- For information of metric type, see `basic_metric_type', `linear_metric_type' and `ratio_metric_type'
		do
			Result := a_type = basic_metric_type or a_type = linear_metric_type or a_type = ratio_metric_type
		end

	is_mode_valid (a_mode: INTEGER): BOOLEAN is
			-- Is `a_mode' valid?
		do
			Result := a_mode = readonly_mode or a_mode = new_mode or a_mode = edit_mode
		ensure
			good_result: Result implies (a_mode = readonly_mode or a_mode = new_mode or a_mode = edit_mode)
		end

	is_uuid_valid (a_uuid: STRING): BOOLEAN is
			-- Is `a_uuid' a valid UUID?
		require
			a_uuid_attached: a_uuid /= Void
		do
			Result := shared_uuid.is_valid_uuid (a_uuid)
		end

feature -- UUID

	shared_uuid: UUID is
			-- UUID
		once
			create Result
		ensure
			result_attached: Result /= Void
		end

indexing
        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