com.sun.faces.push

Class WebsocketUserManager

java.lang.Object

com.sun.faces.push.WebsocketUserManager

@ApplicationScoped
public class WebsocketUserManager
extends Object

This web socket user manager holds all web socket users registered by <f:websocket>.

Since:

2.3

Author:

Bauke Scholtz

See Also:

Push

Constructor Summary

Constructors

Constructor and Description
WebsocketUserManager()

Method Summary

Modifier and Type	Method and Description
protected void	addChannelId(String userId, String channel, String channelId) Add user channel ID associated with given session based user ID and channel name.
protected void	deregister(Serializable user, String userId) Deregister application user associated with given user and session based user ID.
protected Set<String>	getChannelIds(Serializable user, String channel) Resolve the user-specific channel IDs associated with given user and channel name.
protected Serializable	getUser(String channel, String channelId) Resolve the user associated with given channel name and ID.
protected void	register(Serializable user, String userId) Register application user based on given user and session based user ID.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

WebsocketUserManager

public WebsocketUserManager()

Method Detail

register

protected void register(Serializable user,
                        String userId)

Register application user based on given user and session based user ID.

Parameters:

user - The user.

userId - The session based user ID.

addChannelId

protected void addChannelId(String userId,
                            String channel,
                            String channelId)

Add user channel ID associated with given session based user ID and channel name.

Parameters:

userId - The session based user ID.

channel - The channel name.

channelId - The channel identifier.

getUser

protected Serializable getUser(String channel,
                               String channelId)

Resolve the user associated with given channel name and ID.

Parameters:

channel - The channel name.

channelId - The channel identifier.

Returns:

The user associated with given channel name and ID.

getChannelIds

protected Set<String> getChannelIds(Serializable user,
                                    String channel)

Resolve the user-specific channel IDs associated with given user and channel name.

Parameters:

user - The user.

channel - The channel name.

Returns:

The user-specific channel IDs associated with given user and channel name.

deregister

protected void deregister(Serializable user,
                          String userId)

Deregister application user associated with given user and session based user ID.

Parameters:

user - The user.

userId - The session based user ID.