use super::*;
use std::sync::*;
use std::sync::atomic::*;
use std::sync::mpsc::*;
use std::thread;
use std::time::Duration;
impl_wrap_from!([] Arc);
impl_wrap_from!([] Mutex);
impl_wrap_from!([] RwLock);
impl_arbitrary!(Barrier, SMapped<'a, u16, Self>, static_map(any::<u16>(), |n| Barrier::new(n as usize))
);
impl_arbitrary!(BarrierWaitResult,
TupleUnion<(W<GenStrategy<Self>>, W<GenStrategy<Self>>)>,
prop_oneof![GenStrategy::new(bwr_true), GenStrategy::new(bwr_false)]
);
gen_strat!(
Condvar, Condvar::default;
Once, Once::new
);
impl_arbitrary!(WaitTimeoutResult, TupleUnion<(W<Just<Self>>, W<Just<Self>>)>,
prop_oneof![Just(wtr_true()), Just(wtr_false())]
);
fn bwr_true() -> BarrierWaitResult {
Barrier::new(1).wait()
}
fn bwr_false() -> BarrierWaitResult {
let barrier = Arc::new(Barrier::new(2));
let b2 = barrier.clone();
let jh = thread::spawn(move|| { b2.wait() });
let bwr1 = barrier.wait();
let bwr2 = jh.join().unwrap();
if bwr1.is_leader() { bwr2 } else { bwr1 }
}
fn wtr_false() -> WaitTimeoutResult {
let cvar = Arc::new(Condvar::new());
let cvar2 = cvar.clone();
thread::spawn(move|| { cvar2.notify_one(); });
let lock = Mutex::new(());
let wt = cvar.wait_timeout(lock.lock().unwrap(), Duration::from_millis(1));
let (_, wtr) = wt.unwrap();
wtr
}
fn wtr_true() -> WaitTimeoutResult {
let cvar = Condvar::new();
let lock = Mutex::new(());
let wt = cvar.wait_timeout(lock.lock().unwrap(), Duration::from_millis(0));
let (_, wtr) = wt.unwrap();
wtr
}
macro_rules! atomic {
($($type: ident, $base: ty);+) => {
$(impl_arbitrary!($type, SMapped<'a, $base, Self>,
any_with_smap((), $type::new)
);)+
};
}
atomic!(AtomicBool, bool; AtomicIsize, isize; AtomicUsize, usize);
#[cfg(feature = "nightly")]
atomic!(AtomicI8, i8; AtomicI16, i16; AtomicI32, i32; AtomicI64, i64;
AtomicU8, u8; AtomicU16, u16; AtomicU32, u32; AtomicU64, u64);
impl_arbitrary!(Ordering,
TupleUnion<(W<Just<Self>>, W<Just<Self>>, W<Just<Self>>,
W<Just<Self>>, W<Just<Self>>)>,
prop_oneof![
Just(Ordering::Relaxed),
Just(Ordering::Release),
Just(Ordering::Acquire),
Just(Ordering::AcqRel),
Just(Ordering::SeqCst)
]
);
impl_just!(RecvError, RecvError);
arbitrary_for!([T: Arbitrary<'a>] SendError<T>,
SMapped<'a, T, Self>, T::Parameters,
args => any_with_smap(args, SendError)
);
impl_arbitrary!(RecvTimeoutError,
TupleUnion<(W<Just<Self>>, W<Just<Self>>)>,
prop_oneof![
Just(RecvTimeoutError::Disconnected),
Just(RecvTimeoutError::Timeout)
]
);
impl_arbitrary!(TryRecvError,
TupleUnion<(W<Just<Self>>, W<Just<Self>>)>,
prop_oneof![
Just(TryRecvError::Disconnected),
Just(TryRecvError::Empty)
]
);
arbitrary_for!(
[P: Clone + Default, T: Arbitrary<'a, Parameters = P>] TrySendError<T>,
TupleUnion<(W<SMapped<'a, T, Self>>, W<SMapped<'a, T, Self>>)>, P,
args => prop_oneof![
any_with_smap(args.clone(), TrySendError::Disconnected),
any_with_smap(args, TrySendError::Full),
]
);
#[cfg(feature = "nightly")]
gen_strat!(Select, Select::new);
arbitrary_for!([A] (Sender<A>, Receiver<A>),
GenStrategy<Self>, (), _args => GenStrategy::new(channel)
);
arbitrary_for!([A: Debug] (Sender<A>, IntoIter<A>),
GenStrategy<Self>, (),
_args => GenStrategy::new(|| {
let (rx, tx) = channel();
(rx, tx.into_iter())
})
);
arbitrary_for!([A] (SyncSender<A>, Receiver<A>),
SMapped<'a, u32, Self>, (),
_args => static_map(any::<u32>(), |size| sync_channel(size as usize))
);
arbitrary_for!([A: Debug] (SyncSender<A>, IntoIter<A>),
SMapped<'a, u32, Self>, (),
_args => static_map(any::<u32>(), |size| {
let (rx, tx) = sync_channel(size as usize);
(rx, tx.into_iter())
})
);