CommandListener (UPPAAL model library)

public interface CommandListener

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

Method Summary

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 Details
- 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