public class WebsocketEndpointToControllerManagerDefault extends Object implements WebsocketEndpointToControllerManager
| Constructor and Description |
|---|
WebsocketEndpointToControllerManagerDefault() |
| Modifier and Type | Method and Description |
|---|---|
void |
addEndpointController(String endpointId,
WebsocketController<?,?> controller)
Adds a link between a WebSocket endpoint and a controller.
|
protected String |
createControllerKey(WebsocketController<?,?> controller) |
protected Map<String,String> |
getEndpointToControllerMap() |
boolean |
isManagingEndpoint(String endpointId,
WebsocketController<?,?> controller)
Is the specified controller currently the manager of the
endpoint?
|
void |
removeEndpointController(String endpointId)
Removes the link between a WebSocket endpoint and a controller.
|
public WebsocketEndpointToControllerManagerDefault()
protected String createControllerKey(WebsocketController<?,?> controller)
public void addEndpointController(String endpointId, WebsocketController<?,?> controller) throws WebsocketEndpointAlreadyManagedByAnotherControllerException
WebsocketEndpointToControllerManageraddEndpointController in interface WebsocketEndpointToControllerManagerWebsocketEndpointAlreadyManagedByAnotherControllerExceptionpublic void removeEndpointController(String endpointId)
WebsocketEndpointToControllerManagerremoveEndpointController in interface WebsocketEndpointToControllerManagerpublic boolean isManagingEndpoint(String endpointId, WebsocketController<?,?> controller)
WebsocketEndpointToControllerManagerisManagingEndpoint in interface WebsocketEndpointToControllerManagerCopyright © 2018. All rights reserved.