ResourceUpdatedNotification

A typed notifications/resources/updated payload, per server/resources/subscribe: when a client has subscribed to a resource, the server sends this notification with params: {uri, _meta?} so the client knows the resource at uri has changed and can re-read it. Parsed from an inbound notification's params so clients receive a structured value rather than hand-parsing raw JSON, mirroring ProgressNotification.fromJson.

Members

Manifest constants

methodName
enum methodName;

The JSON-RPC method name of this notification.

Mixins

__anonymous
mixin MetaField

The optional _meta object carried on the notification; Json.undefined when absent.

Static functions

fromJson
ResourceUpdatedNotification fromJson(Json params)

Parse the params object of a notifications/resources/updated message. Tolerant of a missing/ill-typed payload (returns a default-valued struct).

Variables

uri
string uri;

The URI of the resource that changed.

Mixed In Members

From mixin MetaField

meta
Json meta;

optional _meta object