Package com.uppaal.model.core2
Interface CommandListener
-
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 managerc
- 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 managerc
- 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 managerc
- the command that just has been redone
-
-