CommandManager (UPPAAL model library)

java.lang.Object
- com.uppaal.model.core2.CommandManager

public class CommandManager
extends Object

The central class for the command manager

Constructor Summary

Constructors
Constructor and Description
`CommandManager()` Default constructor.
`CommandManager(CommandManager orig)` Copy constructor, because "clone()" idiom is badly broken and only version number is preserved anyway.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addCommandListener(CommandListener listener)` Adds editing command listener
`boolean`	`canRedo()` Can redo
`boolean`	`canUndo()` Can undo
`void`	`execute(Command... commands)` Execute the commands
`void`	`execute(Command command)` Execute a command.
`Command`	`getLastCommand()` Returns the most recent command executed
`int`	`getVersion()` Get the version number
`void`	`redo()` Redo last undone command.
`void`	`removeCommandListener(CommandListener listener)` removes editing command listener
`void`	`undo()` Undo last command.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - 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 Detail
  - 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

Class CommandManager

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

CommandManager

CommandManager

Method Detail

getVersion

execute

execute

getLastCommand

undo

canUndo

redo

canRedo

addCommandListener

removeCommandListener