Holds the open subscriptions/listen streams and fans server-side events out to the ones that asked for them.
| Methods | ||
|---|---|---|
public
|
open(
RequestId $subscriptionId,
SubscriptionFilter $requested,
SenderInterface $sender,
null|non-empty-string $peer = null,
): SubscriptionEntry
|
# |
public
|
honour(SubscriptionFilter $requested): SubscriptionFilter
|
# |
public
|
close(SubscriptionEntry $entry): void
|
# |
public
|
discard(SubscriptionEntry $entry): void
|
# |
public
|
closeAll(): void
|
# |
public
|
reopen(): void
|
# |
public
|
emitToolListChanged(): void
|
# |
public
|
emitPromptListChanged(): void
|
# |
public
|
emitResourceListChanged(): void
|
# |
public
|
emitResourceUpdated(string $uri): void
|
# |