sinter_core/
reference.rs

1use serde::{Deserialize, Serialize};
2
3use crate::edge::Relation;
4use crate::node::{NodeId, Span};
5
6/// A use of a name that extraction saw but has not bound to a definition.
7///
8/// Unresolved is a first-class outcome: references are stored and countable,
9/// never guessed into edges. Phase 3 resolution consumes these and promotes
10/// each to an evidence-backed edge — or leaves it here, counted.
11#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Serialize, Deserialize)]
12pub struct Reference {
13    /// Repo-relative file the reference appears in.
14    pub file: String,
15    /// Referenced name as written (call target, import path, ...).
16    pub name: String,
17    /// Full path text at the reference site when the name was qualified
18    /// (`fmt.Println`, `util::double`) — import-evidence input.
19    pub path: Option<String>,
20    /// Relation an eventual binding would carry.
21    pub relation: Relation,
22    pub span: Span,
23    /// Innermost definition containing the reference site, if any —
24    /// the `src` of the edge resolution would create.
25    pub enclosing: Option<NodeId>,
26    /// Local rebinding of the imported/referenced name: `as` clauses
27    /// (`use x as y`, `import a as b`), Go's dot import (`.`), and glob
28    /// imports (`*`). The `name` field always keeps the original path.
29    pub alias: Option<String>,
30}
31
32/// A local binding (parameter, let/const, loop variable, catch variable)
33/// that shadows outer names. Not a symbol — recorded so resolution never
34/// binds a shadowed reference to the outer definition it no longer means.
35#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Serialize, Deserialize)]
36pub struct LocalBinding {
37    pub file: String,
38    pub name: String,
39    /// Where the binding is introduced.
40    pub span: Span,
41    /// End of the innermost definition containing it — the binding shadows
42    /// references from `span.start` to here.
43    pub scope_end: u64,
44    /// Declared/constructed type when the language chose to expose it
45    /// (`c *Counter`, `c := Counter{}`): local type evidence for method
46    /// binding. None = shadow-only binding.
47    pub type_name: Option<String>,
48}
49
50/// A type embedding another (Go embedded struct field): member lookup on
51/// the owner falls through to the embedded type. Lookup fact, not an edge.
52#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Serialize, Deserialize)]
53pub struct Embed {
54    pub owner: NodeId,
55    pub type_name: String,
56}
57
58/// An impl block naming the trait it implements (`impl Runner for Widget`).
59/// Pairing fact for dynamic-dispatch edges: methods defined inside `span`
60/// implement the same-named methods of the trait `trait_name` resolves to.
61#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Serialize, Deserialize)]
62pub struct TraitImpl {
63    pub file: String,
64    /// Trait name as written (leaf segment for qualified paths).
65    pub trait_name: String,
66    /// Span of the whole impl block.
67    pub span: Span,
68}
sinter_core/reference.rs

sinter_core/
reference.rs
