Lines Matching refs:Operation
18 be written so that each operation that could cause an exception causes
58 EFFECTS: Given a value and an operation, repeatedly applies the operation to a
62 value type whether the operation succeeds or fails.
64 template <class Value, class Operation>
65 void WeakCheck(const Value& v, const Operation& op, long max_iters = 2000000) {
99 their arguments. The operation is performed on the value itself, and no
102 template <class Value, class Operation>
103 void ConstCheck(const Value& v, const Operation& op, long max_iters = 2000000) {
135 the "strong guarantee": if the operation fails due to an exception, the
139 guarantee, which says that if an exception is thrown, the operation has no
144 template <class Value, class Operation>
145 void StrongCheck(const Value& v, const Operation& op, long max_iters = 2000000) {
