class EDIT_MANAGER

(source code)

note
	description: "Manager for editing class"

	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: "2023-01-27 14:32:02 GMT (Friday 27th January 2023)"
	revision: "1"

deferred class
	EDIT_MANAGER

feature -- Element change

	report (name: STRING; a_description: ZSTRING)
		deferred
		end
end