subscriptionId property

String get subscriptionId

The JSON-RPC ID of the subscriptions/listen request that opened this stream.

Implementation

String get subscriptionId =>
    data['io.modelcontextprotocol/subscriptionId'].toString();

set subscriptionId (String value)

Implementation

set subscriptionId(String value) =>
    data['io.modelcontextprotocol/subscriptionId'] = value;