| Package | Description |
|---|---|
| com.vaadin.client.communication |
| Modifier and Type | Class and Description |
|---|---|
class |
AtmospherePushConnection
The default
PushConnection implementation that uses Atmosphere for
handling the communication channel. |
| Modifier and Type | Method and Description |
|---|---|
void |
DefaultConnectionStateHandler.pushClientTimeout(PushConnection pushConnection,
com.google.gwt.core.client.JavaScriptObject response) |
void |
ConnectionStateHandler.pushClientTimeout(PushConnection pushConnection,
com.google.gwt.core.client.JavaScriptObject response)
Called when a client side timeout occurs before a push connection to the
server completes.
|
void |
DefaultConnectionStateHandler.pushClosed(PushConnection pushConnection,
com.google.gwt.core.client.JavaScriptObject response) |
void |
ConnectionStateHandler.pushClosed(PushConnection pushConnection,
com.google.gwt.core.client.JavaScriptObject responseObject)
Called when the push connection to the server is closed.
|
void |
DefaultConnectionStateHandler.pushError(PushConnection pushConnection,
com.google.gwt.core.client.JavaScriptObject response) |
void |
ConnectionStateHandler.pushError(PushConnection pushConnection,
com.google.gwt.core.client.JavaScriptObject response)
Called when a fatal error fatal error occurs in the push connection.
|
void |
DefaultConnectionStateHandler.pushInvalidContent(PushConnection pushConnection,
String message) |
void |
ConnectionStateHandler.pushInvalidContent(PushConnection pushConnection,
String message)
Called when invalid content (not JSON) was pushed from the server through
the push connection.
|
void |
DefaultConnectionStateHandler.pushOk(PushConnection pushConnection) |
void |
ConnectionStateHandler.pushOk(PushConnection pushConnection)
Called when the push connection to the server has been established.
|
void |
DefaultConnectionStateHandler.pushReconnectPending(PushConnection pushConnection) |
void |
ConnectionStateHandler.pushReconnectPending(PushConnection pushConnection)
Called when the push connection has lost the connection to the server and
will proceed to try to re-establish the connection.
|
Copyright © 2023 Vaadin Ltd. All rights reserved.