pub struct SuspectSet<V>(/* private fields */)
where
V: Identities;Expand description
A failure’s suspect set: frozen when the failure is observed, shared rather than copied. It never
gains a write; what happens to its writes afterwards is recorded as Markings (DI-D-36).
Implementations§
Source§impl<V> SuspectSet<V>where
V: Identities,
impl<V> SuspectSet<V>where
V: Identities,
Sourcepub fn writes(&self) -> &[SuspectWrite<V>]
pub fn writes(&self) -> &[SuspectWrite<V>]
The set’s writes. The one borrow the API returns, into frozen shared data that nothing can change.
Trait Implementations§
Source§impl<V> Clone for SuspectSet<V>where
V: Clone + Identities,
impl<V> Clone for SuspectSet<V>where
V: Clone + Identities,
Source§fn clone(&self) -> SuspectSet<V>
fn clone(&self) -> SuspectSet<V>
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<V> Freeze for SuspectSet<V>
impl<V> RefUnwindSafe for SuspectSet<V>
impl<V> Send for SuspectSet<V>
impl<V> Sync for SuspectSet<V>
impl<V> Unpin for SuspectSet<V>
impl<V> UnsafeUnpin for SuspectSet<V>
impl<V> UnwindSafe for SuspectSet<V>
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