@mrclrchtr/supi-lsp 0.1.0

package/types.ts

@@ -0,0 +1,286 @@
+// LSP protocol types — minimal subset needed for our client.
+// Based on the Language Server Protocol specification.
+
+// ── Positions & Ranges ────────────────────────────────────────────────
+
+/** 0-based line and character offset. */
+export interface Position {
+  line: number;
+  character: number;
+}
+
+export interface Range {
+  start: Position;
+  end: Position;
+}
+
+export interface Location {
+  uri: string;
+  range: Range;
+}
+
+export interface LocationLink {
+  originSelectionRange?: Range;
+  targetUri: string;
+  targetRange: Range;
+  targetSelectionRange: Range;
+}
+
+// ── Text Edits ────────────────────────────────────────────────────────
+
+export interface TextEdit {
+  range: Range;
+  newText: string;
+}
+
+export interface TextDocumentEdit {
+  textDocument: { uri: string; version?: number | null };
+  edits: TextEdit[];
+}
+
+export interface WorkspaceEdit {
+  changes?: Record<string, TextEdit[]>;
+  documentChanges?: TextDocumentEdit[];
+}
+
+// ── Diagnostics ───────────────────────────────────────────────────────
+
+export const DiagnosticSeverity = {
+  Error: 1,
+  Warning: 2,
+  Information: 3,
+  Hint: 4,
+} as const;
+export type DiagnosticSeverity = (typeof DiagnosticSeverity)[keyof typeof DiagnosticSeverity];
+
+export interface DiagnosticRelatedInformation {
+  location: Location;
+  message: string;
+}
+
+export interface Diagnostic {
+  range: Range;
+  severity?: DiagnosticSeverity;
+  code?: number | string;
+  codeDescription?: { href: string };
+  source?: string;
+  message: string;
+  relatedInformation?: DiagnosticRelatedInformation[];
+}
+
+// ── Hover ─────────────────────────────────────────────────────────────
+
+export interface MarkupContent {
+  kind: "plaintext" | "markdown";
+  value: string;
+}
+
+export type MarkedString = string | { language: string; value: string };
+
+export interface Hover {
+  contents: MarkupContent | MarkedString | MarkedString[];
+  range?: Range;
+}
+
+// ── Symbols ───────────────────────────────────────────────────────────
+
+export const SymbolKind = {
+  File: 1,
+  Module: 2,
+  Namespace: 3,
+  Package: 4,
+  Class: 5,
+  Method: 6,
+  Property: 7,
+  Field: 8,
+  Constructor: 9,
+  Enum: 10,
+  Interface: 11,
+  Function: 12,
+  Variable: 13,
+  Constant: 14,
+  String: 15,
+  Number: 16,
+  Boolean: 17,
+  Array: 18,
+  Object: 19,
+  Key: 20,
+  Null: 21,
+  EnumMember: 22,
+  Struct: 23,
+  Event: 24,
+  Operator: 25,
+  TypeParameter: 26,
+} as const;
+export type SymbolKind = (typeof SymbolKind)[keyof typeof SymbolKind];
+
+export interface DocumentSymbol {
+  name: string;
+  detail?: string;
+  kind: SymbolKind;
+  range: Range;
+  selectionRange: Range;
+  children?: DocumentSymbol[];
+}
+
+export interface SymbolInformation {
+  name: string;
+  kind: SymbolKind;
+  location: Location;
+  containerName?: string;
+}
+
+// ── Code Actions ──────────────────────────────────────────────────────
+
+export interface CodeActionContext {
+  diagnostics: Diagnostic[];
+  only?: string[];
+}
+
+export interface Command {
+  title: string;
+  command: string;
+  arguments?: unknown[];
+}
+
+export interface CodeAction {
+  title: string;
+  kind?: string;
+  diagnostics?: Diagnostic[];
+  isPreferred?: boolean;
+  edit?: WorkspaceEdit;
+  command?: Command;
+}
+
+// ── Publish Diagnostics ───────────────────────────────────────────────
+
+export interface PublishDiagnosticsParams {
+  uri: string;
+  version?: number;
+  diagnostics: Diagnostic[];
+}
+
+// ── Initialize ────────────────────────────────────────────────────────
+
+export interface InitializeParams {
+  processId: number | null;
+  rootUri: string | null;
+  capabilities: ClientCapabilities;
+  initializationOptions?: unknown;
+}
+
+export interface ClientCapabilities {
+  textDocument?: {
+    synchronization?: {
+      didSave?: boolean;
+      dynamicRegistration?: boolean;
+    };
+    hover?: {
+      contentFormat?: string[];
+      dynamicRegistration?: boolean;
+    };
+    definition?: {
+      dynamicRegistration?: boolean;
+      linkSupport?: boolean;
+    };
+    references?: {
+      dynamicRegistration?: boolean;
+    };
+    documentSymbol?: {
+      dynamicRegistration?: boolean;
+      hierarchicalDocumentSymbolSupport?: boolean;
+    };
+    rename?: {
+      dynamicRegistration?: boolean;
+      prepareSupport?: boolean;
+    };
+    codeAction?: {
+      dynamicRegistration?: boolean;
+      codeActionLiteralSupport?: {
+        codeActionKind: { valueSet: string[] };
+      };
+    };
+    publishDiagnostics?: {
+      relatedInformation?: boolean;
+    };
+  };
+  workspace?: {
+    workspaceFolders?: boolean;
+  };
+}
+
+export interface InitializeResult {
+  capabilities: ServerCapabilities;
+}
+
+export interface ServerCapabilities {
+  textDocumentSync?: number | { openClose?: boolean; change?: number };
+  hoverProvider?: boolean;
+  definitionProvider?: boolean;
+  referencesProvider?: boolean;
+  documentSymbolProvider?: boolean;
+  renameProvider?: boolean | { prepareProvider?: boolean };
+  codeActionProvider?: boolean | { codeActionKinds?: string[] };
+}
+
+// ── Text Document Items ───────────────────────────────────────────────
+
+export interface TextDocumentIdentifier {
+  uri: string;
+}
+
+export interface TextDocumentItem {
+  uri: string;
+  languageId: string;
+  version: number;
+  text: string;
+}
+
+export interface VersionedTextDocumentIdentifier {
+  uri: string;
+  version: number;
+}
+
+export interface TextDocumentPositionParams {
+  textDocument: TextDocumentIdentifier;
+  position: Position;
+}
+
+// ── JSON-RPC ──────────────────────────────────────────────────────────
+
+export interface JsonRpcRequest {
+  jsonrpc: "2.0";
+  id: number;
+  method: string;
+  params?: unknown;
+}
+
+export interface JsonRpcResponse {
+  jsonrpc: "2.0";
+  id: number;
+  result?: unknown;
+  error?: { code: number; message: string; data?: unknown };
+}
+
+export interface JsonRpcNotification {
+  jsonrpc: "2.0";
+  method: string;
+  params?: unknown;
+}
+
+export type JsonRpcMessage = JsonRpcRequest | JsonRpcResponse | JsonRpcNotification;
+
+// ── Server Configuration ──────────────────────────────────────────────
+
+export interface ServerConfig {
+  command: string;
+  args?: string[];
+  fileTypes: string[];
+  rootMarkers: string[];
+  enabled?: boolean;
+  initializationOptions?: unknown;
+}
+
+export interface LspConfig {
+  servers: Record<string, ServerConfig>;
+}

package/ui.ts

@@ -0,0 +1,303 @@
+import type { ExtensionContext } from "@mariozechner/pi-coding-agent";
+import { DynamicBorder } from "@mariozechner/pi-coding-agent";
+import type { OverlayHandle } from "@mariozechner/pi-tui";
+import { Container, Spacer, Text } from "@mariozechner/pi-tui";
+import type {
+  ActiveCoverageSummaryEntry,
+  LspManager,
+  OutstandingDiagnosticSummaryEntry,
+} from "./manager.ts";
+
+export interface LspInspectorState {
+  handle: OverlayHandle | null;
+  close: (() => void) | null;
+}
+
+export function updateLspUi(
+  ctx: ExtensionContext,
+  manager: LspManager,
+  inlineSeverity: number,
+): void {
+  const activeCoverage = manager.getActiveCoverageSummary();
+  const diagnostics = manager.getOutstandingDiagnosticSummary(inlineSeverity);
+
+  ctx.ui.setStatus("lsp", buildLspStatus(ctx, activeCoverage, diagnostics));
+  ctx.ui.setWidget(
+    "lsp",
+    hasWidgetContent(activeCoverage, diagnostics)
+      ? (_tui, theme) => buildLspWidgetComponent(theme, activeCoverage, diagnostics)
+      : undefined,
+    { placement: "belowEditor" },
+  );
+}
+
+export function toggleLspStatusOverlay(
+  ctx: ExtensionContext,
+  manager: LspManager,
+  inlineSeverity: number,
+  inspector: LspInspectorState,
+): void {
+  if (inspector.handle && inspector.close) {
+    inspector.close();
+    return;
+  }
+
+  void ctx.ui
+    .custom<void>(
+      (_tui, theme, _kb, done) => {
+        inspector.close = () => done(undefined);
+        return createLspInspectorComponent(theme, manager, inlineSeverity);
+      },
+      {
+        overlay: true,
+        overlayOptions: {
+          anchor: "right-center",
+          width: 52,
+          maxHeight: "75%",
+          margin: { right: 1, top: 1, bottom: 1 },
+          nonCapturing: true,
+        },
+        onHandle: (handle) => {
+          inspector.handle = handle;
+        },
+      },
+    )
+    .finally(() => {
+      inspector.handle = null;
+      inspector.close = null;
+    });
+}
+
+function createLspInspectorComponent(
+  theme: ExtensionContext["ui"]["theme"],
+  manager: LspManager,
+  inlineSeverity: number,
+): { render: (width: number) => string[]; invalidate: () => void } {
+  return {
+    render: (width) => buildLspInspectorContainer(theme, manager, inlineSeverity).render(width),
+    invalidate: () => {},
+  };
+}
+
+function buildLspInspectorContainer(
+  theme: ExtensionContext["ui"]["theme"],
+  manager: LspManager,
+  inlineSeverity: number,
+): Container {
+  const activeCoverage = manager.getActiveCoverageSummary();
+  const diagnostics = manager.getOutstandingDiagnosticSummary(inlineSeverity);
+  const container = new Container();
+
+  container.addChild(new DynamicBorder((s: string) => theme.fg("accent", s)));
+  container.addChild(
+    new Text(
+      theme.fg("accent", theme.bold(" λ LSP")) + theme.fg("dim", " inspector  /lsp-status toggles"),
+      1,
+      0,
+    ),
+  );
+
+  if (isQuietInspectorState(activeCoverage, diagnostics)) {
+    container.addChild(
+      new Text(theme.fg("success", "clean") + theme.fg("dim", " • no active servers"), 1, 0),
+    );
+    container.addChild(new DynamicBorder((s: string) => theme.fg("accent", s)));
+    return container;
+  }
+
+  container.addChild(new Text(buildOverlaySummaryLine(theme, activeCoverage, diagnostics), 1, 0));
+  container.addChild(new Spacer(1));
+  container.addChild(
+    buildOverlaySection(theme, "Coverage", buildOverlayCoverageLines(theme, activeCoverage)),
+  );
+  container.addChild(new Spacer(1));
+  container.addChild(
+    buildOverlaySection(
+      theme,
+      diagnostics.length > 0 ? "Problems" : "Diagnostics",
+      buildOverlayDiagnosticLines(theme, diagnostics),
+    ),
+  );
+  container.addChild(new Spacer(1));
+  container.addChild(new DynamicBorder((s: string) => theme.fg("accent", s)));
+
+  return container;
+}
+
+function isQuietInspectorState(
+  activeCoverage: ActiveCoverageSummaryEntry[],
+  diagnostics: OutstandingDiagnosticSummaryEntry[],
+): boolean {
+  return activeCoverage.length === 0 && diagnostics.length === 0;
+}
+
+function buildLspStatus(
+  ctx: ExtensionContext,
+  activeCoverage: ActiveCoverageSummaryEntry[],
+  diagnostics: OutstandingDiagnosticSummaryEntry[],
+): string | undefined {
+  const activeServers = activeCoverage.length;
+  const openFiles = activeCoverage.reduce((sum, entry) => sum + entry.openFiles.length, 0);
+  const errors = diagnostics.reduce((sum, entry) => sum + entry.errors, 0);
+  const warnings = diagnostics.reduce((sum, entry) => sum + entry.warnings, 0);
+
+  if (activeServers === 0 && openFiles === 0 && errors === 0 && warnings === 0) {
+    return undefined;
+  }
+
+  const { theme } = ctx.ui;
+  const parts = [theme.fg("accent", "λ lsp")];
+  if (activeServers > 0) parts.push(theme.fg("dim", pluralize(activeServers, "server")));
+  if (openFiles > 0) parts.push(theme.fg("dim", pluralize(openFiles, "open file")));
+  if (errors > 0) parts.push(theme.fg("error", pluralize(errors, "error")));
+  if (warnings > 0) parts.push(theme.fg("warning", pluralize(warnings, "warning")));
+  return parts.join(theme.fg("dim", " • "));
+}
+
+function hasWidgetContent(
+  _activeCoverage: ActiveCoverageSummaryEntry[],
+  diagnostics: OutstandingDiagnosticSummaryEntry[],
+): boolean {
+  return diagnostics.length > 0;
+}
+
+function buildLspWidgetComponent(
+  theme: ExtensionContext["ui"]["theme"],
+  _activeCoverage: ActiveCoverageSummaryEntry[],
+  diagnostics: OutstandingDiagnosticSummaryEntry[],
+): Container {
+  const container = new Container();
+
+  for (const line of buildWidgetDiagnosticLines(theme, diagnostics)) {
+    container.addChild(new Text(line, 0, 0));
+  }
+
+  return container;
+}
+
+function buildWidgetDiagnosticLines(
+  theme: ExtensionContext["ui"]["theme"],
+  diagnostics: OutstandingDiagnosticSummaryEntry[],
+): string[] {
+  if (diagnostics.length === 1) {
+    const [entry] = diagnostics;
+    if (!entry) return [];
+    return [
+      `${theme.fg("error", "●")} ${entry.file} ${theme.fg("dim", `— ${formatDiagnosticCounts(entry)}`)}`,
+    ];
+  }
+
+  const totalErrors = diagnostics.reduce((sum, entry) => sum + entry.errors, 0);
+  const totalWarnings = diagnostics.reduce((sum, entry) => sum + entry.warnings, 0);
+  const counts: string[] = [];
+  if (totalErrors > 0) counts.push(theme.fg("error", pluralize(totalErrors, "error")));
+  if (totalWarnings > 0) counts.push(theme.fg("warning", pluralize(totalWarnings, "warning")));
+
+  const visibleFiles = diagnostics.slice(0, 2).map((entry) => entry.file);
+  const remaining = diagnostics.length - visibleFiles.length;
+  const suffix = remaining > 0 ? `${theme.fg("dim", ` +${remaining} more`)}` : "";
+
+  return [
+    `${theme.fg("accent", theme.bold("λ LSP diagnostics"))} ${theme.fg("dim", `— ${pluralize(diagnostics.length, "file")}`)} ${counts.join(theme.fg("dim", " • "))}`,
+    `${theme.fg("error", "↳")} ${visibleFiles.join(", ")}${suffix}`,
+  ];
+}
+
+function buildOverlaySummaryLine(
+  theme: ExtensionContext["ui"]["theme"],
+  activeCoverage: ActiveCoverageSummaryEntry[],
+  diagnostics: OutstandingDiagnosticSummaryEntry[],
+): string {
+  const activeServers = activeCoverage.length;
+  const openFiles = activeCoverage.reduce((sum, entry) => sum + entry.openFiles.length, 0);
+  const errors = diagnostics.reduce((sum, entry) => sum + entry.errors, 0);
+  const warnings = diagnostics.reduce((sum, entry) => sum + entry.warnings, 0);
+
+  const parts = [
+    theme.fg("dim", `${pluralize(activeServers, "server")} • ${pluralize(openFiles, "open file")}`),
+  ];
+  if (errors > 0) {
+    parts.push(theme.fg("error", pluralize(errors, "error")));
+  } else if (warnings > 0) {
+    parts.push(theme.fg("warning", pluralize(warnings, "warning")));
+  } else {
+    parts.push(theme.fg("success", "clean"));
+  }
+
+  return parts.join(theme.fg("dim", "   "));
+}
+
+function buildOverlaySection(
+  theme: ExtensionContext["ui"]["theme"],
+  title: string,
+  lines: string[],
+): Container {
+  const container = new Container();
+  container.addChild(new Text(theme.fg("accent", theme.bold(` ${title}`)), 1, 0));
+  for (const line of lines) {
+    container.addChild(new Text(line, 2, 0));
+  }
+  return container;
+}
+
+function buildOverlayCoverageLines(
+  theme: ExtensionContext["ui"]["theme"],
+  activeCoverage: ActiveCoverageSummaryEntry[],
+): string[] {
+  if (activeCoverage.length === 0) {
+    return [theme.fg("dim", "no active LSP servers")];
+  }
+
+  return activeCoverage.flatMap((entry) => {
+    const visibleFiles = entry.openFiles.slice(0, 2);
+    const remainingFiles = entry.openFiles.length - visibleFiles.length;
+    const fileLine = visibleFiles.length > 0 ? visibleFiles.join(", ") : "none";
+    const suffix = remainingFiles > 0 ? theme.fg("dim", ` +${remainingFiles} more`) : "";
+
+    return [
+      `${theme.fg("accent", "◆")} ${entry.name} ${theme.fg("dim", `— ${pluralize(entry.openFiles.length, "file")}`)}`,
+      `${theme.fg("dim", "↳")} ${fileLine}${suffix}`,
+    ];
+  });
+}
+
+function buildOverlayDiagnosticLines(
+  theme: ExtensionContext["ui"]["theme"],
+  diagnostics: OutstandingDiagnosticSummaryEntry[],
+): string[] {
+  if (diagnostics.length === 0) {
+    return [theme.fg("success", "✓ no outstanding diagnostics")];
+  }
+
+  const lines = diagnostics
+    .slice(0, 5)
+    .map(
+      (entry) =>
+        `${theme.fg("error", "●")} ${entry.file} ${theme.fg("dim", `— ${formatDiagnosticCounts(entry)}`)}`,
+    );
+
+  const remainingDiagnostics = diagnostics.length - Math.min(diagnostics.length, 5);
+  if (remainingDiagnostics > 0) {
+    lines.push(
+      theme.fg(
+        "dim",
+        `↳ +${remainingDiagnostics} more diagnostic file${remainingDiagnostics === 1 ? "" : "s"}`,
+      ),
+    );
+  }
+
+  return lines;
+}
+
+function formatDiagnosticCounts(entry: OutstandingDiagnosticSummaryEntry): string {
+  const counts: string[] = [];
+  if (entry.errors > 0) counts.push(pluralize(entry.errors, "error"));
+  if (entry.warnings > 0) counts.push(pluralize(entry.warnings, "warning"));
+  if (entry.information > 0) counts.push(pluralize(entry.information, "info"));
+  if (entry.hints > 0) counts.push(pluralize(entry.hints, "hint"));
+  return counts.join(", ");
+}
+
+function pluralize(count: number, word: string): string {
+  return `${count} ${word}${count === 1 ? "" : "s"}`;
+}