indexing

	description: "[

		Class that makes a singleton of EM_HIGHSCORE available

	]"
	date: "$Date$"
	revision: "$Revision$"

class SHARED_HIGHSCORE

feature -- Highscore singleton

		highscore: EM_HIGHSCORE is
				-- highscore singleton
			indexing
				once_status: global
			once
				create Result.make
				------------------------------------------------------------------------------------------
				-- For more advanced usage uf the highscore, use
				-- create Result.make_extended (<<first_key, second_key, third_key>>)
				-- See documentation for more info
				------------------------------------------------------------------------------------------
			end
end