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 Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	addCommandListener(CommandListener listener)	Adds editing command listener
boolean	canRedo()	Can redo
boolean	canUndo()	Can undo
void	execute(Command command)	Execute a command.
void	execute(Command... commands)	Execute the commands
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