SubscriptionFilter constructor

const SubscriptionFilter({ bool toolsListChanged = false, bool promptsListChanged = false, bool resourcesListChanged = false, List<String> resourceSubscriptions = const <String>[], })

Implementation

const SubscriptionFilter({
  this.toolsListChanged = false,
  this.promptsListChanged = false,
  this.resourcesListChanged = false,
  this.resourceSubscriptions = const <String>[],
});