Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.jacorb.notification.EventTypeSet
org.jacorb.notification.SubscriptionManager
public class SubscriptionManager
extends org.jacorb.notification.EventTypeSet
implements NotifySubscribeOperations
Field Summary |
Fields inherited from class org.jacorb.notification.EventTypeSet | |
logger_ |
Method Summary | |
void |
|
void |
|
EventType[] | |
void |
|
void |
|
Methods inherited from class org.jacorb.notification.EventTypeSet | |
changeSet , configure , getAllTypes |
public void subscription_change(EventType added, EventType removed) throws InvalidEventType