Struct creusot_contracts::std::sync::ReentrantLockGuard

pub struct ReentrantLockGuard<'a, T>
where
    T: 'a + ?Sized,
{ /* private fields */ }

🔬This is a nightly-only experimental API. (reentrant_lock)

An RAII implementation of a “scoped lock” of a re-entrant lock. When this structure is dropped (falls out of scope), the lock will be unlocked.

The data protected by the mutex can be accessed through this guard via its Deref implementation.

This structure is created by the lock method on ReentrantLock.

Mutability

Unlike MutexGuard, ReentrantLockGuard does not implement DerefMut, because implementation of the trait would violate Rust’s reference aliasing rules. Use interior mutability (usually RefCell) in order to mutate the guarded data.

Trait Implementations

impl<T> Debug for ReentrantLockGuard<'_, T>

where T: Debug + ?Sized,

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

Formats the value using the given formatter.

impl<T> Deref for ReentrantLockGuard<'_, T>

where T: ?Sized,

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

impl<T> Display for ReentrantLockGuard<'_, T>

where T: Display + ?Sized,

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

Formats the value using the given formatter.

impl<T> Drop for ReentrantLockGuard<'_, T>

where T: ?Sized,

fn drop(&mut self)

Executes the destructor for this type.

impl<T> !Send for ReentrantLockGuard<'_, T>

where T: ?Sized,

impl<T> Sync for ReentrantLockGuard<'_, T>

where T: Sync + ?Sized,