Automatic generation produced by ISE Eiffel
class UNDO_DELETE_STRINGS_CMD General cluster: text_window description: "Undo removing trailing blanks command." create: make Ancestors UNDO_TEXT_CMD* Queries converse: BOOLEAN is_bound_to_next: BOOLEAN redo_possible: BOOLEAN undo_possible: BOOLEAN Commands add (urc: UNDO_DELETE_CMD) bind_to_next redo set_converse (b: BOOLEAN) unbind_to_next undo Constraints undo list not void -- Generated by Eiffel Studio --
For more details: eiffel.org