Package jadex.base.gui

Class CMSUpdateHandler

java.lang.Object

jadex.base.gui.CMSUpdateHandler

public class CMSUpdateHandler
extends java.lang.Object

A change handler which receives remote CMS events and delegates to the registered listeners.

Field Summary

Fields

Modifier and Type	Field	Description
protected IExternalAccess	access	The local external access.
protected java.util.Map<IComponentIdentifier,Tuple2<ISubscriptionIntermediateFuture<CMSStatusEvent>,java.lang.Integer>>	listeners	The subscriptions for the remote CMSs (cms cid->(sub, cnt)).

Constructor Summary

Constructors

Constructor	Description
CMSUpdateHandler(IExternalAccess access)	Create a CMS update handler.

Method Summary

Modifier and Type	Method	Description
ISubscriptionIntermediateFuture<CMSStatusEvent>	addCMSListener(IComponentIdentifier cid)	Add a CMS listener.
IFuture<java.lang.Void>	dispose()	Dispose the handler for triggering remote listener removal.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

access

protected IExternalAccess access

The local external access.

listeners

protected java.util.Map<IComponentIdentifier,Tuple2<ISubscriptionIntermediateFuture<CMSStatusEvent>,java.lang.Integer>> listeners

The subscriptions for the remote CMSs (cms cid->(sub, cnt)).

Constructor Detail

CMSUpdateHandler

public CMSUpdateHandler(IExternalAccess access)

Create a CMS update handler.

Method Detail

dispose

public IFuture<java.lang.Void> dispose()

Dispose the handler for triggering remote listener removal.

addCMSListener

public ISubscriptionIntermediateFuture<CMSStatusEvent> addCMSListener(IComponentIdentifier cid)

Add a CMS listener.