Struct RefSink 

pub struct RefSink {
    pub edges: Vec<RefEdge>,
    pub extra_uses: HashMap<String, Vec<String>>,
    /* private fields */
}

Collection-point sink for use→def edges (the ErrorSink analogue). The pipeline sets the ambient file/namespace before each per-file phase; resolution sites only supply the span and target. A sink left in its default state (no file) discards edges — the single-file entry points resolve without recording.

Fields

edges: Vec<RefEdge>

extra_uses: HashMap<String, Vec<String>>

Synthetic namespaces (integration-test harness roots) → their uses resolution order, merged with the project’s uses table at assembly.

Implementations

impl RefSink

pub fn new() -> Self

pub fn declare_namespace(&mut self, namespace: &str, uses: Vec<String>)

Declare a synthetic namespace’s uses resolution order (integration harness roots are not project units, so the project’s uses table has no entry for them).

pub fn enter_file(&mut self, file: &Path, namespace: &str, muted: bool)

Enter a per-file recording context. namespace is the unit whose merged tables resolve bare names in this file (the file’s own unit, or a test file’s target unit).

pub fn set_owner(&mut self, owner: impl Into<String>)

Set the enclosing top-level declaration for subsequent edges.

pub fn clear_owner(&mut self)

pub fn record(&mut self, span: Span, kind: SymbolKind, name: &str)

Record an edge whose defining unit is found at assembly.

pub fn record_in_unit( &mut self, span: Span, kind: SymbolKind, name: &str, unit: &str, )

Record an edge whose defining unit the resolution site already knows.

pub fn record_provides(&mut self, span: Span, name: &str, unit: Option<&str>)

v0.35 (ADR 0068): record the Cap of a provides Cap = Provider clause — a capability reference also flagged as an implementation edge (the owner is the provider). unit is Some for a cross-context provided capability, None when it resolves at assembly.

Trait Implementations

impl Debug for RefSink

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for RefSink

fn default() -> RefSink

Returns the “default value” for a type.