Package org.tweetyproject.agents
Interface ProtocolListener
public interface ProtocolListener
A protocol listener listens on a protocol and is notified whenever an action is executed.
- Author:
- Matthias Thimm
-
Method Summary
Modifier and TypeMethodDescriptionvoid
actionPerformed
(ActionEvent actionEvent) This method is called when an action has been performed in the given protocol.void
This method is called when the protocol terminates.
-
Method Details
-
actionPerformed
This method is called when an action has been performed in the given protocol.- Parameters:
actionEvent
- an action event.
-
protocolTerminated
void protocolTerminated()This method is called when the protocol terminates.
-