ProgressNotificationParams class final

Parameters for a ProgressNotificationnotifications/progress notification.

Revisions: 2025-11-25, 2026-07-28.

Inheritance

Constructors

ProgressNotificationParams({NotificationMetaObject? meta, String? message, required num progress, required Object? progressToken, num? total, Map<String, Object?>? extra})
ProgressNotificationParams.fromJson(Map<String, Object?> json): Wraps json as received; nothing is dropped.

extra → Map<String, Object?>: Keys outside the schema (newer revisions, extensions, applications).
no setterinherited
hashCode → int: The hash code for this object.
no setterinherited
message → String?: An optional message describing the current progress.
no setter
meta → NotificationMetaObject?: no setter
progress → num: The progress thus far. This should increase every time progress is made, even if the total is unknown.
no setter
progressToken → Object?: The progress token which was given in the initial request, used to associate this notification with the request that is proceeding.
no setter
runtimeType → Type: A representation of the runtime type of the object.
no setterinherited
schemaKeys → Set<String>: Property names the schema defines for this type.
no setteroverride
total → num?: Total number of items to process (or total progress required), if known.
no setter

$optional<T>(String key, T? read(Object? value, String path)) → T?: Optional property key, converted by read; null when absent or null.
inherited
$required<T>(String key, T read(Object? value, String path)) → T: Required property key, converted by read.
inherited
check() → List<String>: Reads every property this type defines and returns what could not be read (missing required properties, wrong types), nested types included. Empty = the JSON matches the schema's shape for this type.
override
copyWith({NotificationMetaObject? meta, String? message, num? progress, Object? progressToken, num? total}) → ProgressNotificationParams: A copy with the given properties replaced; everything else, unknown keys included, is kept.
has(String key) → bool: Whether key is present (a null value counts as present).
inherited
noSuchMethod(Invocation invocation) → dynamic: Invoked when a nonexistent method or property is accessed.
inherited
toJson() → Map<String, Object?>: The JSON form of this value.
inherited
toString() → String: A string representation of this object.
inherited

operator ==(Object other) → bool: Equal when the JSON is equal; key order does not matter.
inherited
operator [](String key) → Object?: The raw JSON value of key.
inherited