SubscriptionFilter constructor

SubscriptionFilter({ bool? toolsListChanged, bool? promptsListChanged, bool? resourcesListChanged, List<String>? resourceSubscriptions, })

Creates a SubscriptionFilter.

Implementation

SubscriptionFilter({
  this.toolsListChanged,
  this.promptsListChanged,
  this.resourcesListChanged,
  this.resourceSubscriptions,
});