Class ErdOperationManager


  • public class ErdOperationManager
    extends Object
    Instance of this class manages operations for ErdEditor.
    • Constructor Detail

      • ErdOperationManager

        public ErdOperationManager​(ErdEditor editor)
        Constuctor.
        Parameters:
        editor - - editor to manage operations. Can't be null.
      • ErdOperationManager

        public ErdOperationManager​(ErdEditor editor,
                                   org.eclipse.core.commands.operations.IUndoContext undoContext)
        Constuctor.
        Parameters:
        editor - - editor to manage operations. Can't be null.
        undoContext - - undo context to use. Can't be null.
    • Method Detail

      • dispose

        public void dispose()
        Disposes of this manager.
      • getHistoryActionGroup

        public org.eclipse.ui.operations.UndoRedoActionGroup getHistoryActionGroup()
        Returns history action group.
        Returns:
        history action group. Can't return null.
      • executeOperation

        public void executeOperation​(org.eclipse.core.commands.operations.IUndoableOperation operation)
        Executes given operation in managed editor.
        Parameters:
        operation - - operation to execute. Can't be null.