onToolsRemoved property
Stream<List<RemovedTool> >
get
onToolsRemoved
Event fired when tools are removed.
Implementation
Stream<List<RemovedTool>> get onToolsRemoved => _client.onEvent
.where((event) => event.name == 'WebMCP.toolsRemoved')
.map(
(event) => (event.parameters['tools'] as List)
.map((e) => RemovedTool.fromJson(e as Map<String, dynamic>))
.toList(),
);