public class WebSocketService extends java.lang.Object implements DBManEventListenerI
| Modifier and Type | Field and Description |
|---|---|
static int |
DEQUE_CAPACITY |
static int |
DEQUE_EVENT_TIMEOUT |
static long |
IDLE_TIMEOUT |
static int |
KEEPALIVE_PING_INTERVAL |
$0| Constructor and Description |
|---|
WebSocketService(org.eclipse.jetty.websocket.api.Session session) |
WebSocketService(org.eclipse.jetty.websocket.api.Session session,
DBManEventProviderI eventProvider) |
WebSocketService(org.eclipse.jetty.websocket.api.Session session,
DBManEventProviderI eventProvider,
FormatterConfiguration globalFormatterConfig) |
| Modifier and Type | Method and Description |
|---|---|
void |
addEventListener(java.lang.Class<?> c,
java.util.function.BiConsumer<WebSocketService,DBManBOChangeEvent> callable) |
void |
close() |
void |
processDBManEvent(DBManEvent event)
Invoked when a subscribed DBManEvent occurs.
|
void |
sendEventAsJSON(DBManBOChangeEvent event,
java.lang.Class<? extends BOI> classFilter) |
void |
sendEventAsJSON(DBManBOChangeEvent event,
java.lang.Class<? extends BOI> classFilter,
FormatterConfiguration config)
converts the given event (i.e. an update of values) into a JSON string and send that over the websocket.
|
void |
sendPing() |
void |
sendString(java.lang.String text) |
void |
setEventFormatterConfig(FormatterConfiguration config) |
public static final int KEEPALIVE_PING_INTERVAL
public static final long IDLE_TIMEOUT
public static final int DEQUE_CAPACITY
public static final int DEQUE_EVENT_TIMEOUT
public WebSocketService(org.eclipse.jetty.websocket.api.Session session)
public WebSocketService(org.eclipse.jetty.websocket.api.Session session,
DBManEventProviderI eventProvider)
public WebSocketService(org.eclipse.jetty.websocket.api.Session session,
DBManEventProviderI eventProvider,
FormatterConfiguration globalFormatterConfig)
public void setEventFormatterConfig(FormatterConfiguration config)
public void sendPing()
public void sendString(java.lang.String text)
public void sendEventAsJSON(DBManBOChangeEvent event, java.lang.Class<? extends BOI> classFilter)
public void sendEventAsJSON(DBManBOChangeEvent event, java.lang.Class<? extends BOI> classFilter, FormatterConfiguration config)
event - public void processDBManEvent(DBManEvent event)
DBManEventListenerIDBManBOChangeEvent for events triggered after modification on BOs.processDBManEvent in interface DBManEventListenerIpublic void addEventListener(java.lang.Class<?> c,
java.util.function.BiConsumer<WebSocketService,DBManBOChangeEvent> callable)
public void close()
Copyright © 2000-2026 OAshi S.à r.l. All Rights Reserved.