pub struct BuReceiver { /* private fields */ }Expand description
BU-side broadcast receiver with local skip set.
The skip set accumulates qualified names received from TD’s broadcast
channel. Before analyzing each function, BU calls drain_and_check()
which:
- Drains any pending broadcast messages into the local skip set
- Checks if the given qualified name is in the skip set
This is faster than checking the DashMap for every function because it avoids hash map lookups for symbols already seen via broadcast.
Implementations§
Source§impl BuReceiver
impl BuReceiver
Sourcepub fn drain_and_check(&mut self, qualified_name: &str) -> bool
pub fn drain_and_check(&mut self, qualified_name: &str) -> bool
Drain pending broadcast messages and check if a symbol should be skipped.
Returns true if the symbol was found in the broadcast skip set
(meaning TD already flagged it). The caller should ALSO check
SharedFindings::has_structural_break() as a fallback for messages
that arrived before subscription.
Sourcepub fn is_skipped(&self, qualified_name: &str) -> bool
pub fn is_skipped(&self, qualified_name: &str) -> bool
Check if a symbol is in the skip set WITHOUT draining. Useful for batch checks after an initial drain.
Sourcepub fn skip_set_size(&self) -> usize
pub fn skip_set_size(&self) -> usize
Number of symbols in the skip set.