SubscriptionFilter class

Draft SubscriptionFilter — the opt-in set of notification types the client requests on a subscriptions/listen stream. The server MUST NOT deliver a type not requested here.

Constructors

SubscriptionFilter({bool toolsListChanged = false, bool promptsListChanged = false, bool resourcesListChanged = false, List<String> resourceSubscriptions = const <String>[]})
const
SubscriptionFilter.fromJson(Map<String, dynamic> json)
factory

Properties

hashCode → int
The hash code for this object.
no setterinherited
promptsListChanged → bool
final
resourcesListChanged → bool
final
resourceSubscriptions → List<String>
Resource URIs to receive notifications/resources/updated for (replaces the former resources/subscribe RPC).
final
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited
toolsListChanged → bool
final

Methods

noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toJson() → Map<String, dynamic>
Emits only the requested fields (booleans only when true, URIs only when non-empty) — matching the SubscriptionsListenRequestParams.notifications shape.
toString() → String
A string representation of this object.
inherited

Operators

operator ==(Object other) → bool
The equality operator.
inherited