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): SubscriptionEntry
|
# |
public
|
honour(SubscriptionFilter $requested): SubscriptionFilter
|
# |
public
|
close(SubscriptionEntry $entry): void
|
# |
public
|
discard(SubscriptionEntry $entry): void
|
# |
public
|
closeAll(): void
|
# |
public
|
emitToolListChanged(): void
|
# |
public
|
emitPromptListChanged(): void
|
# |
public
|
emitResourceListChanged(): void
|
# |
public
|
emitResourceUpdated(string $uri): void
|
# |