pub struct ObjectionRegistry { /* private fields */ }Implementations§
Source§impl ObjectionRegistry
impl ObjectionRegistry
pub fn new() -> ObjectionRegistry
pub fn raise(&self, description: &str) -> ObjectionGuard
pub fn count(&self) -> usize
Sourcepub fn ever_raised(&self) -> bool
pub fn ever_raised(&self) -> bool
Was an objection ever raised? The runner asks before awaiting
consensus, so a Part II test that never objects is not scolded by
wait_all_dropped’s pyuvm warning (D46: both front doors, one path).
Sourcepub async fn wait_drained_event(&self)
pub async fn wait_drained_event(&self)
Wait for the run phase to end by objection consensus (D82/D82b).
Unlike ObjectionRegistry::wait_all_dropped, this takes no shortcut: it waits on the
drained event, which is set only when a raised objection count falls
back to zero. That is exactly the semantics the phaser needs to race
against the run tree:
- objections raised and later dropped → the event fires and the phase ends, cancelling responder loops that never return;
- no objection ever raised → the event never fires, so the run tree decides when the phase ends (D46’s second front door).
The runner cannot ask ever_raised() up front, because at that moment
no run body has executed and nothing has been raised yet.
Sourcepub fn active(&self) -> Vec<String>
pub fn active(&self) -> Vec<String>
Objection report for timeout diagnostics (pyuvm ObjectionHandler).
pub async fn wait_all_dropped(&self)
Trait Implementations§
Source§impl Clone for ObjectionRegistry
impl Clone for ObjectionRegistry
Source§fn clone(&self) -> ObjectionRegistry
fn clone(&self) -> ObjectionRegistry
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl !RefUnwindSafe for ObjectionRegistry
impl !Send for ObjectionRegistry
impl !Sync for ObjectionRegistry
impl !UnwindSafe for ObjectionRegistry
impl Freeze for ObjectionRegistry
impl Unpin for ObjectionRegistry
impl UnsafeUnpin for ObjectionRegistry
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more