Struct EditorDiagnostics 

pub(crate) struct EditorDiagnostics {
    pub(crate) has_published_diagnostics: Set<SourceFile>,
}

Tracks the diagnostics we have sent over to the editor.

Fields

has_published_diagnostics: Set<SourceFile>

Track the source files for which we have published diagnostics to the editor.

Implementations

impl EditorDiagnostics

pub(crate) fn reconcile_diagnostics( &mut self, db: &Compiler, editor: &mut dyn Editor<Server>, diagnostics: Vec<&Diagnostic>, ) -> Fallible<()>

pub(crate) fn lsp_diagnostic( db: &Compiler, diagnostic: &Diagnostic, ) -> Diagnostic

pub(crate) fn lsp_severity(_db: &Compiler, level: Level) -> DiagnosticSeverity

pub(crate) fn lsp_diagnostic_related_information( db: &Compiler, label: &DiagnosticLabel, ) -> DiagnosticRelatedInformation

pub(crate) fn lsp_location(db: &Compiler, span: AbsoluteSpan) -> Location

pub(crate) fn lsp_range(db: &Compiler, span: AbsoluteSpan) -> Range

pub(crate) fn lsp_position( db: &Compiler, source_file: SourceFile, offset: AbsoluteOffset, ) -> Position

pub(crate) fn lsp_uri(url: &Url) -> Uri

Trait Implementations

impl Default for EditorDiagnostics

fn default() -> EditorDiagnostics

Returns the “default value” for a type.