private static class DefaultSubscriptionRegistry.SessionSubscriptionInfo
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.lang.Object |
monitor |
private java.lang.String |
sessionId |
private java.util.Map<java.lang.String,java.util.Set<java.lang.String>> |
subscriptions |
Constructor and Description |
---|
SessionSubscriptionInfo(java.lang.String sessionId) |
Modifier and Type | Method and Description |
---|---|
void |
addSubscription(java.lang.String destination,
java.lang.String subscriptionId) |
java.util.Set<java.lang.String> |
getDestinations() |
java.lang.String |
getSessionId() |
java.util.Set<java.lang.String> |
getSubscriptions(java.lang.String destination) |
java.lang.String |
removeSubscription(java.lang.String subscriptionId) |
java.lang.String |
toString() |
private final java.lang.String sessionId
private final java.util.Map<java.lang.String,java.util.Set<java.lang.String>> subscriptions
private final java.lang.Object monitor
public SessionSubscriptionInfo(java.lang.String sessionId)
public java.lang.String getSessionId()
public java.util.Set<java.lang.String> getDestinations()
public java.util.Set<java.lang.String> getSubscriptions(java.lang.String destination)
public void addSubscription(java.lang.String destination, java.lang.String subscriptionId)
public java.lang.String removeSubscription(java.lang.String subscriptionId)
public java.lang.String toString()
toString
in class java.lang.Object