|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.vaadin.server.communication.AtmospherePushConnection
public class AtmospherePushConnection
A PushConnection
implementation using the Atmosphere push support
that is by default included in Vaadin.
Nested Class Summary | |
---|---|
protected static class |
AtmospherePushConnection.FragmentedMessage
Represents a message that can arrive as multiple fragments. |
protected static class |
AtmospherePushConnection.State
|
Constructor Summary | |
---|---|
AtmospherePushConnection(UI ui)
|
Method Summary | |
---|---|
void |
connect(org.atmosphere.cpr.AtmosphereResource resource)
Associates this AtmospherePushConnection with the given
representing an established
push connection. |
void |
disconnect()
Closes the connection. |
protected org.atmosphere.cpr.AtmosphereResource |
getResource()
|
protected AtmospherePushConnection.State |
getState()
Returns the state of this connection. |
protected UI |
getUI()
|
boolean |
isConnected()
Returns whether this connection is currently open. |
void |
push()
Pushes pending state changes and client RPC calls to the client. |
void |
push(boolean async)
Pushes pending state changes and client RPC calls to the client. |
protected java.io.Reader |
receiveMessage(java.io.Reader reader)
Reads and buffers a (possibly partial) message. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public AtmospherePushConnection(UI ui)
Method Detail |
---|
public void push()
PushConnection
PushConnection.isConnected()
is false; the push will be deferred
until a connection is available. It is NOT safe to invoke this method if
not holding the session lock.
This is internal API; please use UI.push()
instead.
push
in interface PushConnection
public void push(boolean async)
isConnected()
is false, defers the push until a connection is
established.
async
- True if this push asynchronously originates from the server,
false if it is a response to a client request.protected java.io.Reader receiveMessage(java.io.Reader reader) throws java.io.IOException
Reader
yielding the complete message.
Otherwise, returns null.
reader
- A Reader from which to read the (partial) message
java.io.IOException
public boolean isConnected()
PushConnection
isConnected
in interface PushConnection
public void connect(org.atmosphere.cpr.AtmosphereResource resource)
AtmospherePushConnection
with the given
representing an established
push connection. If already connected, calls disconnect()
first.
If there is a deferred push, carries it out via the new connection.
protected UI getUI()
protected org.atmosphere.cpr.AtmosphereResource getResource()
public void disconnect()
PushConnection
PushConnection.isConnected()
is
false.
disconnect
in interface PushConnection
protected AtmospherePushConnection.State getState()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |