tmp/tmp1g5mkd3w/{from.md → to.md}
RENAMED
|
@@ -23,14 +23,14 @@ bool try_lock();
|
|
| 23 |
*Preconditions:* The supplied `Mutex` meets the *Cpp17Lockable*
|
| 24 |
requirements [[thread.req.lockable.req]].
|
| 25 |
|
| 26 |
*Effects:* As if by `pm->try_lock()`.
|
| 27 |
|
| 28 |
-
*
|
|
|
|
| 29 |
|
| 30 |
-
*
|
| 31 |
-
to `try_lock()`.
|
| 32 |
|
| 33 |
*Throws:* Any exception thrown by `pm->try_lock()`. `system_error` when
|
| 34 |
an exception is required [[thread.req.exception]].
|
| 35 |
|
| 36 |
*Error conditions:*
|
|
@@ -46,17 +46,17 @@ template<class Clock, class Duration>
|
|
| 46 |
*Preconditions:* The supplied `Mutex` type meets the
|
| 47 |
*Cpp17TimedLockable* requirements [[thread.req.lockable.timed]].
|
| 48 |
|
| 49 |
*Effects:* As if by `pm->try_lock_until(abs_time)`.
|
| 50 |
|
| 51 |
-
*
|
|
|
|
| 52 |
|
| 53 |
-
*
|
| 54 |
-
to `try_lock_until(abs_time)`.
|
| 55 |
|
| 56 |
-
*Throws:* Any exception thrown by `pm->try_lock_until()`.
|
| 57 |
-
when an exception is required [[thread.req.exception]].
|
| 58 |
|
| 59 |
*Error conditions:*
|
| 60 |
|
| 61 |
- `operation_not_permitted` — if `pm` is `nullptr`.
|
| 62 |
- `resource_deadlock_would_occur` — if on entry `owns` is `true`.
|
|
@@ -69,17 +69,17 @@ template<class Rep, class Period>
|
|
| 69 |
*Preconditions:* The supplied `Mutex` type meets the
|
| 70 |
*Cpp17TimedLockable* requirements [[thread.req.lockable.timed]].
|
| 71 |
|
| 72 |
*Effects:* As if by `pm->try_lock_for(rel_time)`.
|
| 73 |
|
| 74 |
-
*
|
|
|
|
| 75 |
|
| 76 |
-
*
|
| 77 |
-
to `try_lock_for(rel_time)`.
|
| 78 |
|
| 79 |
-
*Throws:* Any exception thrown by `pm->try_lock_for()`.
|
| 80 |
-
when an exception is required [[thread.req.exception]].
|
| 81 |
|
| 82 |
*Error conditions:*
|
| 83 |
|
| 84 |
- `operation_not_permitted` — if `pm` is `nullptr`.
|
| 85 |
- `resource_deadlock_would_occur` — if on entry `owns` is `true`.
|
|
|
|
| 23 |
*Preconditions:* The supplied `Mutex` meets the *Cpp17Lockable*
|
| 24 |
requirements [[thread.req.lockable.req]].
|
| 25 |
|
| 26 |
*Effects:* As if by `pm->try_lock()`.
|
| 27 |
|
| 28 |
+
*Ensures:* `owns == res`, where `res` is the value returned by
|
| 29 |
+
`pm->try_lock()`.
|
| 30 |
|
| 31 |
+
*Returns:* The value returned by `pm->try_lock()`.
|
|
|
|
| 32 |
|
| 33 |
*Throws:* Any exception thrown by `pm->try_lock()`. `system_error` when
|
| 34 |
an exception is required [[thread.req.exception]].
|
| 35 |
|
| 36 |
*Error conditions:*
|
|
|
|
| 46 |
*Preconditions:* The supplied `Mutex` type meets the
|
| 47 |
*Cpp17TimedLockable* requirements [[thread.req.lockable.timed]].
|
| 48 |
|
| 49 |
*Effects:* As if by `pm->try_lock_until(abs_time)`.
|
| 50 |
|
| 51 |
+
*Ensures:* `owns == res`, where `res` is the value returned by
|
| 52 |
+
`pm->try_lock_until(abs_time)`.
|
| 53 |
|
| 54 |
+
*Returns:* The value returned by `pm->try_lock_until(abs_time)`.
|
|
|
|
| 55 |
|
| 56 |
+
*Throws:* Any exception thrown by `pm->try_lock_until(abstime)`.
|
| 57 |
+
`system_error` when an exception is required [[thread.req.exception]].
|
| 58 |
|
| 59 |
*Error conditions:*
|
| 60 |
|
| 61 |
- `operation_not_permitted` — if `pm` is `nullptr`.
|
| 62 |
- `resource_deadlock_would_occur` — if on entry `owns` is `true`.
|
|
|
|
| 69 |
*Preconditions:* The supplied `Mutex` type meets the
|
| 70 |
*Cpp17TimedLockable* requirements [[thread.req.lockable.timed]].
|
| 71 |
|
| 72 |
*Effects:* As if by `pm->try_lock_for(rel_time)`.
|
| 73 |
|
| 74 |
+
*Ensures:* `owns == res`, where `res` is the value returned by
|
| 75 |
+
`pm->try_lock_for(rel_time)`.
|
| 76 |
|
| 77 |
+
*Returns:* The value returned by `pm->try_lock_for(rel_time)`.
|
|
|
|
| 78 |
|
| 79 |
+
*Throws:* Any exception thrown by `pm->try_lock_for(rel_time)`.
|
| 80 |
+
`system_error` when an exception is required [[thread.req.exception]].
|
| 81 |
|
| 82 |
*Error conditions:*
|
| 83 |
|
| 84 |
- `operation_not_permitted` — if `pm` is `nullptr`.
|
| 85 |
- `resource_deadlock_would_occur` — if on entry `owns` is `true`.
|