indexing
	description: "Command history entries"
	representation: linked
	access: cursor
	author: "Patrick Schoenbach"

deferred class interface
	COMMAND_HISTORY_ENTRY

feature -- Status report

	is_executed: BOOLEAN
			-- Has entry been executed?

	redoable_item: BOOLEAN
			-- Is there a redoable item?

	undoable_item: BOOLEAN
			-- Is there an undoable item?
	
feature -- Basic operations

	redo
			-- Redo command.
			-- (from COMMAND_HISTORY)

	undo
			-- Undo command.
			-- (from COMMAND_HISTORY)
	
invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class COMMAND_HISTORY_ENTRY