public static interface StompSession.Subscription extends StompSession.Receiptable
Modifier and Type | Method and Description |
---|---|
StompHeaders |
getSubscriptionHeaders()
Return the headers used on the SUBSCRIBE frame.
|
java.lang.String |
getSubscriptionId()
Return the id for the subscription.
|
void |
unsubscribe()
Remove the subscription by sending an UNSUBSCRIBE frame.
|
void |
unsubscribe(StompHeaders headers)
Alternative to
unsubscribe() with additional custom headers
to send to the server. |
addReceiptLostTask, addReceiptTask, getReceiptId
@Nullable java.lang.String getSubscriptionId()
StompHeaders getSubscriptionHeaders()
void unsubscribe()
void unsubscribe(@Nullable StompHeaders headers)
unsubscribe()
with additional custom headers
to send to the server.
Note: There is no need to set the subscription id.
headers
- the custom headers, if any