Struct creusot_contracts::std::sync::BarrierWaitResult

pub struct BarrierWaitResult(/* private fields */);

A BarrierWaitResult is returned by Barrier::wait() when all threads in the Barrier have rendezvoused.

Examples

use std::sync::Barrier;

let barrier = Barrier::new(1);
let barrier_wait_result = barrier.wait();

Implementations

impl BarrierWaitResult

pub fn is_leader(&self) -> bool

Returns true if this thread is the “leader thread” for the call to Barrier::wait().

Only one thread will have true returned from their result, all other threads will have false returned.

Examples

use std::sync::Barrier;

let barrier = Barrier::new(1);
let barrier_wait_result = barrier.wait();
println!("{:?}", barrier_wait_result.is_leader());

Trait Implementations

impl Debug for BarrierWaitResult

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

Formats the value using the given formatter.