Package jakarta.faces.event
Class WebsocketEvent
java.lang.Object
jakarta.faces.event.WebsocketEvent
- All Implemented Interfaces:
Serializable
This web socket event will be fired when a new <f:websocket> has been
@WebsocketEvent.Opened or @WebsocketEvent.Closed. An application scoped CDI bean can
@Observes them.
For detailed usage instructions, see @Push javadoc.
- Since:
- 2.3
- See Also:
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic @interfaceIndicates that a<f:websocket>has closed.static @interfaceIndicates that a<f:websocket>has opened. -
Constructor Summary
ConstructorsConstructorDescriptionWebsocketEvent(String channel, Serializable user, CloseReason.CloseCode code) -
Method Summary
Modifier and TypeMethodDescriptionbooleanReturns the<f:websocket channel>.Returns the close code.<S extends Serializable>
SgetUser()Returns the<f:websocket user>, if any.inthashCode()toString()
-
Constructor Details
-
WebsocketEvent
-
-
Method Details
-
getChannel
Returns the<f:websocket channel>.- Returns:
- The web socket channel name.
-
getUser
Returns the<f:websocket user>, if any.- Type Parameters:
S- The generic type of the user identifier.- Returns:
- The web socket user identifier, if any.
- Throws:
ClassCastException- WhenSis of wrong type.
-
getCloseCode
Returns the close code. If this returnsnull, then it wasWebsocketEvent.Opened. If this returns non-null, then it wasWebsocketEvent.Closed.- Returns:
- The close code.
-
hashCode
public int hashCode() -
equals
-
toString
-