Struct PhaseCIndirectDrain 

pub struct PhaseCIndirectDrain {
    pub address_taken_names: Vec<DeferredAddressTakenEntry>,
    pub struct_field_signatures: Vec<(String, String, String)>,
    pub bindings: Vec<(FileId, PendingBinding)>,
    pub indirect_callsites: Vec<(FileId, PendingIndirectCallsite)>,
    pub local_scope_indices: Vec<(FileId, LocalScopeIndex)>,
}

Drained C indirect-call staging payload, resolved to owned Strings.

The per-file super::staging::CIndirectStagingPayload contains:

• pending_address_taken_names: Vec<StringId> — staging-local string ids that we resolve to owned Strings via staging.resolve_local_string here so the post-4c-prime applier can re-intern through the canonical interner without holding any staging-graph reference;
• pending_struct_field_signatures: Vec<(String, String, String)> — already owned;
• pending_bindings: Vec<PendingBinding> — already owned;
• pending_indirect_callsites: Vec<PendingIndirectCallsite> — already owned (carrier-side stamping of FileId happens here so the applier does not need per-file context);
• local_scope_index: Option<LocalScopeIndex> — moved verbatim.

The applier ([apply_c_indirect_drain]) interns the owned strings into the post-Phase-4a-dedup graph interner, resolves names to canonical NodeIds via crate::graph::unified::storage::indices::AuxiliaryIndices::by_qualified_name (with a by_name fallback for languages whose canonical qualified name equals the semantic name and therefore leaves NodeEntry::qualified_name unset — e.g. C, where cb_alpha is its own qualified name), and writes them into [CodeGraph::c_indirect_tables_mut].

Per DESIGN §8.2, this drain bridges the parallel-parse-and-commit boundary (Phase 3) to the post-unification application step (Phase 4 finalisation, just after Phase 4c-prime returns).

Fields

address_taken_names: Vec<DeferredAddressTakenEntry>

Address-taken function qualified-name entries to mark post-unification.

Each entry pairs the bare/qualified function name the C plugin captured in helper.mark_function_address_taken_by_name(...) with the source FileId (always a C-language file by construction — only the C plugin populates CIndirectStagingPayload).

Per DESIGN §8.2 lines 1239-1241: “A pending list of (function_qualified_name, file_id) for address-taken marks”. The file_id is the origin file (where the address-take site lives), not the file of the resolved callable target. It is carried so the applier can constrain the workspace-global by_name fallback in [crate::graph::unified::build::entrypoint::apply_deferred_address_taken_marks] to candidate nodes whose own owning file’s language is C — a non-C namesake (e.g. a Rust fn cb_alpha) must NOT be marked by the C-scoped contract of SPEC §3.1.2.

Duplicates on function_qualified_name are tolerated — crate::graph::unified::storage::metadata::NodeMetadataStore::mark_address_taken is idempotent.

struct_field_signatures: Vec<(String, String, String)>

(struct_tag, field_name, signature) triples — DESIGN §3.2.2.

Drained verbatim from the staging payload. The applier interns each leg via graph.strings_mut().intern(...) and inserts into CIndirectSideTables::struct_field_fnptr.

bindings: Vec<(FileId, PendingBinding)>

Binding-plane entries (DESIGN §7.1) paired with their origin FileId.

The applier resolves instance_name and target_fn_name to canonical NodeIds and inserts a [BindingEntry] under the interned (struct_tag, field_name) key in CIndirectSideTables::bindings_by_field. The FileId is the origin file (the C TU that staged the binding), retained for the same C-language-scoped fallback rationale as Self::address_taken_names.

indirect_callsites: Vec<(FileId, PendingIndirectCallsite)>

Indirect callsites paired with their owning FileId. The applier resolves caller_qualified_name to a NodeId and pushes an [IndirectCallsite] onto CIndirectSideTables::pending_callsites. FileId is stamped here from the per-file FilePlan so the applier does not need per-file context.

local_scope_indices: Vec<(FileId, LocalScopeIndex)>

Per-file block-scope arenas (DESIGN §4.1). Moved verbatim into CIndirectSideTables::local_scope_indices keyed by FileId.

Implementations

impl PhaseCIndirectDrain

pub fn is_empty(&self) -> bool

Returns true when every drained vec/map is empty.

Used by the chunk-accumulator in entrypoint.rs to skip Phase 4 application entirely for non-C workspaces, keeping the CodeGraph.c_indirect_tables slot at its default None.

pub fn merge(&mut self, other: PhaseCIndirectDrain)

Merge another drain into this one, taking ownership of its contents.

Used by the chunk-loop in entrypoint.rs to accumulate per-chunk drains into a single workspace-global drain before invoking [apply_c_indirect_drain].

Trait Implementations

impl Debug for PhaseCIndirectDrain

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

Formats the value using the given formatter.

impl Default for PhaseCIndirectDrain

fn default() -> PhaseCIndirectDrain

Returns the “default value” for a type.