CommandListener (UPPAAL model library)

```
public interface CommandListener
```
Listener interface to listen for editing Commands performed on a command.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`executed(CommandManager cm, Command c)`	Called when the command is executed the very first time on a document.
`void`	`redone(CommandManager cm, Command c)`	Called when the command has been re-executed after it has been undone.
`void`	`undone(CommandManager cm, Command c)`	Called when the command has been undone on a document.

- Method Detail
  - executed
```
void executed(CommandManager cm,
              Command c)
```
    Called when the command is executed the very first time on a document.
    
    Parameters:
    
    cm - the command manager
    
    c - the command that just has been executed
  - undone
```
void undone(CommandManager cm,
            Command c)
```
    Called when the command has been undone on a document.
    
    Parameters:
    
    cm - the command manager
    
    c - the command that just has been undone
  - redone
```
void redone(CommandManager cm,
            Command c)
```
    Called when the command has been re-executed after it has been undone.
    
    Parameters:
    
    cm - the command manager
    
    c - the command that just has been redone