Package com.uppaal.model.core2

Class CommandManager

java.lang.Object
com.uppaal.model.core2.CommandManager
public class CommandManager
extends Object
The central class for the command manager

  • Constructor Details

    • CommandManager

      public CommandManager()
      Default constructor.

    • CommandManager

      public CommandManager​(CommandManager orig)
      Copy constructor, because "clone()" idiom is badly broken and only version number is preserved anyway.
      Parameters:
      orig - the original command manager

  • Method Details

    • getVersion

      public int getVersion()
      Get the version number
      Returns:
      the version number

    • execute

      public void execute​(Command command)
      Execute a command. Increases the version number.
      Parameters:
      command - - The command line

    • execute

      public void execute​(Command... commands)
      Execute the commands
      Parameters:
      commands - - The commands

    • getLastCommand

      public Command getLastCommand()
      Returns the most recent command executed
      Returns:
      - the most recent executed command or null if no such command

    • undo

      public void undo() throws CannotUndoException
      Undo last command. Decreases the version number.
      Throws:
      CannotUndoException - when the undo-list is empty.

    • canUndo

      public boolean canUndo()
      Can undo
      Returns:
      - Undo list is empty

    • redo

      public void redo() throws CannotRedoException
      Redo last undone command. Increases the version number.
      Throws:
      CannotRedoException - when redo-list is empty

    • canRedo

      public boolean canRedo()
      Can redo
      Returns:
      - Redo list is empty

    • addCommandListener

      public void addCommandListener​(CommandListener listener)
      Adds editing command listener
      Parameters:
      listener - - command listener

    • removeCommandListener

      public void removeCommandListener​(CommandListener listener)
      removes editing command listener
      Parameters:
      listener - - command listener