MingaEditor.SemanticWindow.DiagnosticRange (Minga v0.1.0)

A diagnostic inline range in display coordinates.

The GUI renders these as underlines (wavy for errors, straight for warnings, etc.) beneath the affected text. Severity determines the underline style and color.

Summary

Types

t()

Functions

from_diagnostics(diagnostics, viewport_top, viewport_bottom)

Converts diagnostics to display-coordinate ranges for visible lines.

Types

t()

@type t() :: %MingaEditor.SemanticWindow.DiagnosticRange{
  end_col: non_neg_integer(),
  end_row: non_neg_integer(),
  severity: Minga.Diagnostics.Diagnostic.severity(),
  start_col: non_neg_integer(),
  start_row: non_neg_integer()
}

Functions

from_diagnostics(diagnostics, viewport_top, viewport_bottom)

@spec from_diagnostics(
  [Minga.Diagnostics.Diagnostic.t()],
  non_neg_integer(),
  non_neg_integer()
) :: [t()]

Converts diagnostics to display-coordinate ranges for visible lines.