WorkDoneProgressParams

Value parameters

workDoneToken

An optional token that a server can use to report work done progress.

Attributes

Companion

object

Graph

Reset zoomHide graphShow graph

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all