feat(server): implement compilation contexts end to end

.vscode/launch.json

@@ -31,7 +31,7 @@
         "CLICE_MODE": "pipe"
       },
       "outFiles": ["${workspaceFolder}/editors/vscode/dist/**/*.js"],
-      "preLaunchTask": "npm: watch vscode ext"
+      "preLaunchTask": "npm: compile vscode ext"
     },
     {
       "name": "VSCode Extension (socket)",
@@ -47,7 +47,7 @@
         "CLICE_MODE": "socket"
       },
       "outFiles": ["${workspaceFolder}/editors/vscode/dist/**/*.js"],
-      "preLaunchTask": "npm: watch vscode ext"
+      "preLaunchTask": "npm: compile vscode ext"
     },
     {
       "type": "lldb",

.vscode/tasks.json

@@ -11,6 +11,17 @@
       },
       "problemMatcher": []
     },
+    {
+      "label": "npm: compile vscode ext",
+      "type": "shell",
+      "command": "pnpm",
+      "args": ["run", "compile"],
+      "options": {
+        "cwd": "${workspaceFolder}/editors/vscode"
+      },
+      "dependsOn": "npm: install vscode deps",
+      "problemMatcher": []
+    },
     {
       "label": "npm: watch vscode ext",
       "type": "shell",

editors/nvim/tests/e2e.lua

@@ -45,6 +45,13 @@ local scenarios = {
         index_symbol = 'magic_number',
         definition_file = 'defs.cppm',
     },
+    header_context = {
+        file = 'utils.h',
+        symbol = 'distance(p',
+        index_symbol = 'calc',
+        -- no definition_file: cross-file definition into headers is a
+        -- known index gap.
+    },
 }
 
 local scenario = scenarios[vim.fs.basename(fixture_dir)]
@@ -149,21 +156,23 @@ if not hover or not hover.contents then
     fail 'hover returned no contents'
 end
 
-step 'definition'
-local definition = request('textDocument/definition', {
-    textDocument = text_document,
-    position = position,
-})
-if definition and definition.uri then
-    definition = { definition }
-end
-if not definition or #definition == 0 then
-    fail 'definition returned no locations'
-end
-local target = definition[1].uri or definition[1].targetUri
-local target_file = vim.fs.basename(vim.uri_to_fname(target))
-if target_file ~= scenario.definition_file then
-    fail('definition landed in ' .. target_file .. ', expected ' .. scenario.definition_file)
+if scenario.definition_file then
+    step 'definition'
+    local definition = request('textDocument/definition', {
+        textDocument = text_document,
+        position = position,
+    })
+    if definition and definition.uri then
+        definition = { definition }
+    end
+    if not definition or #definition == 0 then
+        fail 'definition returned no locations'
+    end
+    local target = definition[1].uri or definition[1].targetUri
+    local target_file = vim.fs.basename(vim.uri_to_fname(target))
+    if target_file ~= scenario.definition_file then
+        fail('definition landed in ' .. target_file .. ', expected ' .. scenario.definition_file)
+    end
 end
 
 step 'completion'

editors/vscode/.vscode-test.mjs

@@ -7,7 +7,7 @@ const repoRoot = path.resolve(path.dirname(fileURLToPath(import.meta.url)), "../
 // Each fixture under tests/data becomes one test run with that workspace.
 // Run tests/prepare.py first to generate compile databases.
 // Keep in sync with the editor tasks in pixi.toml.
-const fixtures = ["hello_world", "modules/hover_on_imported_symbol"];
+const fixtures = ["hello_world", "modules/hover_on_imported_symbol", "header_context"];
 
 export default defineConfig(
     fixtures.map((fixture) => ({

editors/vscode/package.json

@@ -26,7 +26,8 @@
   "activationEvents": [
     "onLanguage:c",
     "onLanguage:cpp",
-    "onLanguage:cuda-cpp"
+    "onLanguage:cuda-cpp",
+    "onStartupFinished"
   ],
   "contributes": {
     "configuration": {
@@ -66,6 +67,31 @@
       {
         "command": "clice.restart",
         "title": "Clice: Restart Language Server"
+      },
+      {
+        "command": "clice.switchContext",
+        "title": "Clice: Switch Compilation Context"
+      },
+      {
+        "command": "clice.showCurrentContext",
+        "title": "Clice: Show Current Compilation Context"
+      },
+      {
+        "command": "clice.queryContexts",
+        "title": "Clice: Query Compilation Contexts"
+      },
+      {
+        "command": "clice.refreshContexts",
+        "title": "Clice: Refresh Compilation Contexts",
+        "icon": "$(refresh)"
+      },
+      {
+        "command": "clice.applyContext",
+        "title": "Clice: Apply Compilation Context"
+      },
+      {
+        "command": "clice.loadMoreContexts",
+        "title": "Clice: Load More Compilation Contexts"
       }
     ],
     "semanticTokenTypes": [
@@ -139,7 +165,63 @@
         "description": "Angle brackets `<>`",
         "superType": "operator"
       }
-    ]
+    ],
+    "views": {
+      "explorer": [
+        {
+          "id": "clice.contexts",
+          "name": "Compilation Contexts",
+          "when": "editorLangId == c || editorLangId == cpp || editorLangId == cuda-cpp"
+        }
+      ]
+    },
+    "menus": {
+      "commandPalette": [
+        {
+          "command": "clice.applyContext",
+          "when": "false"
+        },
+        {
+          "command": "clice.loadMoreContexts",
+          "when": "false"
+        },
+        {
+          "command": "clice.refreshContexts",
+          "when": "false"
+        },
+        {
+          "command": "clice.switchContext",
+          "when": "editorLangId == c || editorLangId == cpp || editorLangId == cuda-cpp"
+        },
+        {
+          "command": "clice.showCurrentContext",
+          "when": "editorLangId == c || editorLangId == cpp || editorLangId == cuda-cpp"
+        },
+        {
+          "command": "clice.queryContexts",
+          "when": "editorLangId == c || editorLangId == cpp || editorLangId == cuda-cpp"
+        }
+      ],
+      "editor/context": [
+        {
+          "command": "clice.switchContext",
+          "when": "editorLangId == c || editorLangId == cpp || editorLangId == cuda-cpp",
+          "group": "clice@1"
+        },
+        {
+          "command": "clice.showCurrentContext",
+          "when": "editorLangId == c || editorLangId == cpp || editorLangId == cuda-cpp",
+          "group": "clice@2"
+        }
+      ],
+      "view/title": [
+        {
+          "command": "clice.refreshContexts",
+          "when": "view == clice.contexts",
+          "group": "navigation"
+        }
+      ]
+    }
   },
   "main": "./dist/extension.js",
   "scripts": {

editors/vscode/pnpm-workspace.yaml

@@ -1,3 +1,5 @@
-onlyBuiltDependencies:
-  - "@vscode/vsce-sign"
-  - keytar
+# vsce-sign (marketplace signing) and keytar (credential store) are vsce
+# transitive deps; their build scripts are not needed for local dev or CI.
+allowBuilds:
+  "@vscode/vsce-sign": false
+  keytar: false

editors/vscode/src/extension.ts

@@ -9,6 +9,8 @@ import {
 } from "vscode-languageclient/node";
 import { getSetting } from "./setting";
 import { ensureServerBinary } from "./download";
+import { registerCompilationContext } from "./feature/context";
+import { registerInactiveRegions } from "./feature/inactive";
 
 let client: LanguageClient;
 
@@ -84,6 +86,12 @@ export async function activate(context: ExtensionContext) {
     await registerCommands(client, context);
 
     await client.start();
+
+    registerCompilationContext(client, context);
+    registerInactiveRegions(client, context);
+
+    // Exposed for E2E tests to exercise custom requests directly.
+    return { client };
 }
 
 export function deactivate(): Thenable<void> | undefined {