class EL_LOGGED_ROUTINE
Logged routine type and name information
note
	description: "Logged routine type and name information"
	author: "Finnian Reilly"
	copyright: "Copyright (c) 2001-2022 Finnian Reilly"
	contact: "finnian at eiffel hyphen loop dot com"
	license: "MIT license (See: en.wikipedia.org/wiki/MIT_License)"
	date: "2022-11-15 19:56:04 GMT (Tuesday 15th November 2022)"
	revision: "11"
		
		class
	EL_LOGGED_ROUTINE
inherit
	EL_ROUTINE_KEY
		rename
			make as make_key
		redefine
			make_empty
		end
create
	make, make_empty
feature {NONE} -- Initialization
	make (type: TYPE [ANY]; a_name: STRING)
		do
			make_key (type.type_id, a_name)
			type_name := type.name
		end
	make_empty
		do
			Precursor
			create type_name.make_empty
		end
feature -- Access
	type_name: IMMUTABLE_STRING_8
end