public interface EventClient
| Modifier and Type | Method and Description |
|---|---|
void |
addEventListener(EventListener lis)
Add an event listener to this event client
|
void |
close()
Close this event client
|
void |
commit()
Commit the subscription
|
int |
getFlush(EventTypeEnum type) |
int |
getId()
Get the id of this event client
|
java.util.Set<EventTypeEnum> |
getSubscription() |
boolean |
isClosed()
Determine if the event client has been closed
|
boolean |
isRunning()
Determine if the event client is running
|
void |
removeEventListener(EventListener lis)
Remove an event listener from this event client
|
void |
setFlush(EventTypeEnum type,
int time) |
void |
setFlush(java.util.Map<EventTypeEnum,java.lang.Integer> map) |
void |
setSubscription(java.util.Set<EventTypeEnum> types) |
void |
subscribe(EventTypeEnum type) |
void |
subscribe(java.util.Set<EventTypeEnum> types) |
void |
subscribeAll()
Subscribe all events for this event client
|
void |
unsubscribe(EventTypeEnum type) |
void |
unsubscribe(java.util.Set<EventTypeEnum> types) |
void |
unsubscribeAll()
Unsubscribe all events for this event client
|
int getId()
void close()
throws JGDIException,
java.lang.InterruptedException
JGDIException - if the close operation failedjava.lang.InterruptedException - if closing the event client has been interruptedboolean isRunning()
true if the event client is runningboolean isClosed()
true if the event client has been closedvoid subscribeAll()
throws JGDIException
JGDIException - if subscribe failedvoid unsubscribeAll()
throws JGDIException
JGDIException - if unsubscribe failedvoid subscribe(EventTypeEnum type) throws JGDIException
JGDIExceptionvoid unsubscribe(EventTypeEnum type) throws JGDIException
JGDIExceptionvoid subscribe(java.util.Set<EventTypeEnum> types) throws JGDIException
JGDIExceptionvoid unsubscribe(java.util.Set<EventTypeEnum> types) throws JGDIException
JGDIExceptionvoid setSubscription(java.util.Set<EventTypeEnum> types) throws JGDIException
JGDIExceptionvoid setFlush(java.util.Map<EventTypeEnum,java.lang.Integer> map) throws JGDIException
JGDIExceptionvoid setFlush(EventTypeEnum type, int time) throws JGDIException
JGDIExceptionint getFlush(EventTypeEnum type) throws JGDIException
JGDIExceptionjava.util.Set<EventTypeEnum> getSubscription() throws JGDIException
JGDIExceptionvoid addEventListener(EventListener lis)
lis - the event listenervoid removeEventListener(EventListener lis)
lis - the event listenervoid commit()
throws JGDIException
JGDIException - if the commit has failedCopyright © 2007 Sun Microsystems, Inc. All rights reserved.