Package com.uppaal.model.core2
Interface CommandListener
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
Called when the command is executed the very first time on a document.- Parameters:
cm
- the command managerc
- the command that just has been executed
-
undone
Called when the command has been undone on a document.- Parameters:
cm
- the command managerc
- the command that just has been undone
-
redone
Called when the command has been re-executed after it has been undone.- Parameters:
cm
- the command managerc
- the command that just has been redone
-