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