DiagnosticClientCapabilities

case class DiagnosticClientCapabilities(dynamicRegistration: Opt[Boolean], relatedDocumentSupport: Opt[Boolean])

Client capabilities specific to diagnostic pull requests.

Value parameters:
dynamicRegistration

Whether implementation supports dynamic registration. If this is set to true the client supports the new (TextDocumentRegistrationOptions & StaticRegistrationOptions) return value for the corresponding server capability as well.

relatedDocumentSupport

Whether the clients supports related documents for document diagnostic pulls.

Since:

3.17.0

Companion:
object
Source:
structures.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product