1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
//! Param and response types for the `find_implementations` MCP tool.
//!
//! Split out of `types.rs` to keep that file under the 1000-line cap.
use rmcp::schemars;
use serde::{Deserialize, Serialize};
use super::cursor::Cursor;
use crate::path::RelPath;
// ─── Params ──────────────────────────────────────────────────────────────────
#[derive(Debug, Deserialize, Serialize, schemars::JsonSchema)]
pub struct FindImplementationsParams {
/// The trait / interface / base-class name to find implementations of.
#[serde(
alias = "name",
alias = "needle",
alias = "query",
alias = "trait",
alias = "type"
)]
pub trait_name: String,
/// Optional language filter (e.g. "rust", "typescript"). When set, only matches
/// from files in that language are returned.
#[serde(default)]
pub language: Option<String>,
/// Cap on results returned. Default 100, max 1000.
#[serde(default)]
pub limit: Option<u32>,
/// Optional token budget bounding the returned `hits` list (not the whole envelope).
/// Hits are kept in scan order until the budget is hit; the rest are dropped and the
/// response carries `budgeted: true` plus a `next_cursor` to page them.
#[serde(default, alias = "token_budget", alias = "budget")]
pub max_tokens: Option<u32>,
/// Resume token returned by the previous call's `next_cursor`. Stable across rescans
/// because the underlying Fjall keys are content-addressed.
#[serde(default)]
pub cursor: Option<Cursor>,
}
// ─── Response ─────────────────────────────────────────────────────────────────
#[derive(Debug, Serialize, schemars::JsonSchema)]
pub struct FindImplementationsResponse {
pub trait_name: String,
pub total: usize,
/// True when `total` was capped by `scan_cap` and more matches exist on disk.
#[serde(skip_serializing_if = "std::ops::Not::not")]
pub total_is_partial: bool,
/// True when a `max_tokens` budget dropped trailing `hits`. Page the rest with `next_cursor`.
#[serde(default, skip_serializing_if = "std::ops::Not::not")]
pub budgeted: bool,
pub hits: Vec<ImplementationHit>,
/// Opaque cursor to pass back on the next call when more results are available.
/// Stable across rescans.
#[serde(skip_serializing_if = "Option::is_none")]
pub next_cursor: Option<Cursor>,
}
#[derive(Debug, Serialize, schemars::JsonSchema)]
pub struct ImplementationHit {
pub path: RelPath,
pub trait_name: String,
pub impl_type: String,
/// 1-based row of the `impl`/`class`/`extends` declaration.
pub start_row: u32,
/// 0-based byte column from the start of the line.
pub start_col: u32,
}