示例#1
0
文件: portapara.hpp 项目: bnkr/nerve
 void checked_head_all_failable(Predicate cont_pred) {
   if (! lock().owns_lock()) throw LockError();
   if (! head(cont_pred)) throw CondError();
 }
示例#2
0
文件: portapara.hpp 项目: bnkr/nerve
 void checked_head_all_failable_timed(Predicate cont_pred, const Time &time) {
   if (! lock().owns_lock()) throw LockError();
   if (! timed_head(cont_pred, time)) throw CondError();
 }
示例#3
0
文件: portapara.hpp 项目: bnkr/nerve
 void checked_head_failable_lock(Predicate cont_pred) {
   if (! lock().owns_lock()) throw LockError();
   head(cont_pred);
 }