nav_implementations
Navigate to all implementations of an interface or abstract method. Uses language server ground truth for precise, live results.
Instructions
Live 'go to implementations' for an interface/abstract method (language-server ground truth). Same usage pattern as nav_definition: get an exact position first via resolve or map_search + resolve.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"file": "<file>",
"line": "<line>"
},
"name": "nav_implementations"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| col | No | 1-based column (UTF-16 units) | |
| file | Yes | Repo-relative path, posix separators | |
| line | Yes | 1-based line | |
| tokenBudget | No | Max tokens for the response. Lists are truncated to fit, with a note saying what was dropped and how to get it back. |