com.sun.grid.jgdi
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
JGDIException
void unsubscribe(EventTypeEnum type) throws JGDIException
JGDIException
void subscribe(java.util.Set<EventTypeEnum> types) throws JGDIException
JGDIException
void unsubscribe(java.util.Set<EventTypeEnum> types) throws JGDIException
JGDIException
void setSubscription(java.util.Set<EventTypeEnum> types) throws JGDIException
JGDIException
void setFlush(java.util.Map<EventTypeEnum,java.lang.Integer> map) throws JGDIException
JGDIException
void setFlush(EventTypeEnum type, int time) throws JGDIException
JGDIException
int getFlush(EventTypeEnum type) throws JGDIException
JGDIException
java.util.Set<EventTypeEnum> getSubscription() throws JGDIException
JGDIException
void 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.