DiagnosticContext

class DiagnosticContext

Additional diagnostics context information for formatting.

Members defined in DiagnosticContext (4 members)

	filename	RW	The filename of the document diagnostics apply to.
	related_sources	RW	Additional sources for printing related information snippets from external documents
	source	RW	The source text of the document diagnostics apply to.
	__init__

Attributes

property filename: str

The filename of the document diagnostics apply to.

property related_sources: Callable[[syside.Url], str | syside.SharedMutex[syside.TextDocument]] | syside.TextDocuments

Additional sources for printing related information snippets from external documents

property source: str

The source text of the document diagnostics apply to.

Methods

__init__(source: str = '', filename: str = '', related_sources: Callable[[syside.Url], str | syside.SharedMutex[syside.TextDocument]] | syside.TextDocuments | None = None) → None

Used in

• syside

  • format_diagnostics