public class SubscriptionManager extends EventTypeSet implements NotifySubscribeOperations
Modifier and Type | Field and Description |
---|---|
static SubscriptionManager |
NULL_MANAGER |
EMPTY_EVENT_TYPE
Constructor and Description |
---|
SubscriptionManager() |
Modifier and Type | Method and Description |
---|---|
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) |
changeSet, getAllTypes
public static final SubscriptionManager NULL_MANAGER
public void addListener(NotifySubscribeOperations listener)
public void removeListener(NotifySubscribeOperations listener)
public void actionSetChanged(EventType[] added, EventType[] removed)
actionSetChanged
in class EventTypeSet
public void subscription_change(EventType[] added, EventType[] removed) throws InvalidEventType
subscription_change
in interface NotifySubscribeOperations
InvalidEventType
public EventType[] obtain_subscription_types()