Skip to main content

Module MarkerDataDTO

Mountain::ApplicationState::DTO

Module MarkerDataDTO 

Source
Expand description

§MarkerDataDTO

§RESPONSIBILITY

  • Data transfer object for diagnostic markers (errors, warnings, etc.)
  • Serializable format for gRPC/IPC transmission
  • Used by Mountain to display diagnostics in the UI

§FIELDS

  • Severity: Marker severity level (Error, Warning, Info, Hint)
  • Message: Diagnostic message text
  • StartLineNumber/StartColumn: Position start (1-based, matches workbench IMarkerData - Cocoon’s LanguagesNamespace.ts NormaliseDiagnostic adds the + 1 from vscode.Position 0-based before sending to Mountain. The MarkerService sanitiser at markerService.ts:243 clamps n > 0 ? n : 1, so 0-based values collapse line-0 entries onto line 1 and shift every other line up by one - rendering squiggles on the wrong row.)
  • EndLineNumber/EndColumn: Position end (1-based, same convention)
  • Source: Diagnostic source (e.g., compiler, linter)
  • Code: Diagnostic code for quick fix lookup
  • ModelVersionIdentifier: Document version for tracking
  • RelatedInformation: Related diagnostic information
  • Tags: Additional marker tags (deprecated, unnecessary)

Structs§

MarkerDataDTO
Represents a single diagnostic marker, such as a compiler error or a linter warning. This structure is compatible with VS Code’s IMarkerData interface and is used by the Diagnostic service.

Constants§

MAX_MARKER_MESSAGE_LENGTH 🔒
Maximum message length for a marker
MAX_SOURCE_LENGTH 🔒
Maximum source string length