/** Delete subscriber */
public boolean deregister(Subscription sub) throws FailureException {
for (Subscriber subs : subscribers) {
if (subs.getSub().equals(sub)) {
subscribers.remove(new Subscriber(subs.getSub(), subs.getType(), subs.getDate()));
}
}
//
System.out.println(
"Agent "
+ buildingcs.getAID().getName()
+ " deregistered the agent "
+ sub.getMessage().getSender().getName());
return false;
}
/** Notify the subscriber */
private void notify(Subscriber subscriber) {
try {
Subscription subscription = subscriber.getSub();
ACLMessage notification = subscription.getMessage().createReply();
notification.setPerformative(ACLMessage.INFORM); // New message
// Create context
SendSubscriptionMessage smsg = this.buildingcs.getNotifyMessage(subscriber);
this.buildingcs.getContentManager().fillContent(notification, smsg);
subscription.notify(notification); // Send message
} catch (Exception e) {
e.printStackTrace();
}
}