indexing
	description: "General notion of command. To write an actual command inherit from this class and implement the `execute' feature."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

deferred class interface
	WEL_COMMAND

feature -- Access

	message_information: WEL_MESSAGE_INFORMATION
			-- Information associated to the message
	
feature -- Element change

	set_message_information (mi: WEL_MESSAGE_INFORMATION)
			-- Set message_information with mi.
		ensure
			message_information_set: message_information = mi
	
feature -- Execution

	execute (argument: ANY)
			-- Execute the command with argument.
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class WEL_COMMAND