com.uppaal.model.core2
Interface CommandListener

public interface CommandListener

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

Method Summary

void	executed(Document doc, Command c) Called when the command is executed the very first time on a document.
void	redone(Document doc, Command c) Called when the command has been re-executed after it has been undone.
void	undone(Document doc, Command c) Called when the command has been undone on a document.

Method Detail

executed

void executed(Document doc,
              Command c)

Called when the command is executed the very first time on a document.

Parameters:

doc - the document being changed

c - the command that just has been executed

undone

void undone(Document doc,
            Command c)

Called when the command has been undone on a document.

Parameters:

doc - the document being changed

c - the command that just has been undone

redone

void redone(Document doc,
            Command c)

Called when the command has been re-executed after it has been undone.

Parameters:

doc - the document being changed

c - the command that just has been redone