org.jacorb.notification
public class SubscriptionManager extends EventTypeSet implements NotifySubscribeOperations
Version: $Id: SubscriptionManager.java,v 1.10 2006/01/29 21:19:23 alphonse.bendt Exp $
Field Summary | |
---|---|
static SubscriptionManager | NULL_MANAGER |
Constructor Summary | |
---|---|
SubscriptionManager() |
Method Summary | |
---|---|
void | actionSetChanged(EventType[] added, EventType[] removed) |
void | addListener(NotifySubscribeOperations listener) |
EventType[] | obtain_subscription_types() |
void | removeListener(NotifySubscribeOperations listener) |
void | subscription_change(EventType[] added, EventType[] removed) |