class EL_INTERNAL_THREAD

(source code)

description

Internal thread for class EL_IDENTIFIED_THREAD

note
	description: "Internal thread for class ${EL_IDENTIFIED_THREAD}"

	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: "2024-01-20 19:18:26 GMT (Saturday 20th January 2024)"
	revision: "3"


class
	EL_INTERNAL_THREAD

inherit
	THREAD
		rename
			make as make_thread
		end

create
	make

feature {NONE} -- Initialization

	make (a_identified: like identified)
		do
			make_thread
			identified := a_identified
		end

feature -- Basic operations

	execute
		do
			identified.do_execution
		end

feature {NONE} -- Internal attributes

	identified: EL_IDENTIFIED_THREAD

end