public class PingingAgent
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected jadex.bridge.IInternalAccess |
agent
The micro agent class.
|
protected int |
dif
The difference between sent messages and received replies.
|
protected jadex.bridge.IComponentIdentifier |
receiver
The receiver.
|
protected java.util.Set<java.lang.String> |
sent
Hashset with conversation ids of sent messages.
|
Constructor and Description |
---|
PingingAgent() |
Modifier and Type | Method and Description |
---|---|
jadex.commons.future.IFuture<java.lang.Void> |
executeBody()
Execute the body.
|
void |
messageArrived(java.util.Map<java.lang.String,java.lang.Object> msg,
jadex.bridge.service.types.message.MessageType mt)
Called when a message arrives.
|
protected jadex.bridge.IInternalAccess agent
protected jadex.bridge.IComponentIdentifier receiver
protected int dif
protected java.util.Set<java.lang.String> sent