com.vaadin.ui
Interface PushConfiguration

All Superinterfaces:

java.io.Serializable

public interface PushConfiguration
extends java.io.Serializable

Provides method for configuring the push channel.

Since:

7.1

Author:

Vaadin Ltd

Method Summary

com.vaadin.shared.ui.ui.Transport	getFallbackTransport() Returns the fallback transport type for push.
java.lang.String	getParameter(java.lang.String parameter) Returns the given parameter, if set.
java.util.Collection<java.lang.String>	getParameterNames() Returns the parameters which have been defined.
com.vaadin.shared.communication.PushMode	getPushMode() Returns the mode of bidirectional ("push") communication that is used.
com.vaadin.shared.ui.ui.Transport	getTransport() Returns the primary transport type for push.
void	setFallbackTransport(com.vaadin.shared.ui.ui.Transport fallbackTransport) Sets the fallback transport type for push.
void	setParameter(java.lang.String parameter, java.lang.String value) Sets the given parameter.
void	setPushMode(com.vaadin.shared.communication.PushMode pushMode) Sets the mode of bidirectional ("push") communication that should be used.
void	setTransport(com.vaadin.shared.ui.ui.Transport transport) Sets the primary transport type for push.

Method Detail

getPushMode

com.vaadin.shared.communication.PushMode getPushMode()

Returns the mode of bidirectional ("push") communication that is used.

Returns:

The push mode.

setPushMode

void setPushMode(com.vaadin.shared.communication.PushMode pushMode)

Sets the mode of bidirectional ("push") communication that should be used.

Add-on developers should note that this method is only meant for the application developer. An add-on should not set the push mode directly, rather instruct the user to set it.

Parameters:

pushMode - The push mode to use.

Throws:

java.lang.IllegalArgumentException - if the argument is null.

java.lang.IllegalStateException - if push support is not available.

getTransport

com.vaadin.shared.ui.ui.Transport getTransport()

Returns the primary transport type for push.

Note that if you set the transport type using setParameter(String, String) to an unsupported type this method will return null. Supported types are defined by Transport.

Returns:

The primary transport type

setTransport

void setTransport(com.vaadin.shared.ui.ui.Transport transport)

Sets the primary transport type for push.

Note that the new transport type will not be used until the push channel is disconnected and reconnected if already active.

Parameters:

transport - The primary transport type

getFallbackTransport

com.vaadin.shared.ui.ui.Transport getFallbackTransport()

Returns the fallback transport type for push.

Note that if you set the transport type using setParameter(String, String) to an unsupported type this method will return null. Supported types are defined by Transport.

Returns:

The fallback transport type

setFallbackTransport

void setFallbackTransport(com.vaadin.shared.ui.ui.Transport fallbackTransport)

Sets the fallback transport type for push.

Note that the new transport type will not be used until the push channel is disconnected and reconnected if already active.

Parameters:

fallbackTransport - The fallback transport type

getParameter

java.lang.String getParameter(java.lang.String parameter)

Returns the given parameter, if set.

This method provides low level access to push parameters and is typically not needed for normal application development.

Parameters:

parameter - The parameter name

Returns:

The parameter value or null if not set

Since:

7.1

getParameterNames

java.util.Collection<java.lang.String> getParameterNames()

Returns the parameters which have been defined.

Returns:

A collection of parameter names

Since:

7.1

setParameter

void setParameter(java.lang.String parameter,
                  java.lang.String value)

Sets the given parameter.

This method provides low level access to push parameters and is typically not needed for normal application development.

Parameters:

parameter - The parameter name

value - The value

Since:

7.1