public class WebSocketSubscriptionSession
extends graphql.kickstart.execution.subscriptions.DefaultSubscriptionSession
Constructor and Description |
---|
WebSocketSubscriptionSession(graphql.kickstart.execution.subscriptions.GraphQLSubscriptionMapper mapper,
javax.websocket.Session session) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getId() |
java.util.Map<java.lang.String,java.lang.Object> |
getUserProperties() |
boolean |
isOpen() |
javax.websocket.Session |
unwrap() |
public WebSocketSubscriptionSession(graphql.kickstart.execution.subscriptions.GraphQLSubscriptionMapper mapper, javax.websocket.Session session)
public boolean isOpen()
isOpen
in interface graphql.kickstart.execution.subscriptions.SubscriptionSession
isOpen
in class graphql.kickstart.execution.subscriptions.DefaultSubscriptionSession
public java.util.Map<java.lang.String,java.lang.Object> getUserProperties()
getUserProperties
in interface graphql.kickstart.execution.subscriptions.SubscriptionSession
getUserProperties
in class graphql.kickstart.execution.subscriptions.DefaultSubscriptionSession
public java.lang.String getId()
getId
in interface graphql.kickstart.execution.subscriptions.SubscriptionSession
getId
in class graphql.kickstart.execution.subscriptions.DefaultSubscriptionSession
public javax.websocket.Session unwrap()
unwrap
in interface graphql.kickstart.execution.subscriptions.SubscriptionSession
unwrap
in class graphql.kickstart.execution.subscriptions.DefaultSubscriptionSession