|
230 | 230 | \rSec3[thread.req.lockable.basic]{\oldconcept{BasicLockable} requirements}
|
231 | 231 |
|
232 | 232 | \pnum
|
233 |
| -A type \tcode{L} meets the \oldconcept{BasicLockable} requirements if the following expressions are |
| 233 | +A type \tcode{L} meets the \defnoldconcept{BasicLockable} requirements if the following expressions are |
234 | 234 | well-formed and have the specified semantics (\tcode{m} denotes a value of type \tcode{L}).
|
235 | 235 |
|
236 | 236 | \begin{itemdecl}
|
|
266 | 266 | \rSec3[thread.req.lockable.req]{\oldconcept{Lockable} requirements}
|
267 | 267 |
|
268 | 268 | \pnum
|
269 |
| -A type \tcode{L} meets the \oldconcept{Lockable} requirements if it meets the \oldconcept{BasicLockable} |
| 269 | +A type \tcode{L} meets the \defnoldconcept{Lockable} requirements if it meets the \oldconcept{BasicLockable} |
270 | 270 | requirements and the following expressions are well-formed and have the specified semantics
|
271 | 271 | (\tcode{m} denotes a value of type \tcode{L}).
|
272 | 272 |
|
|
291 | 291 | \rSec3[thread.req.lockable.timed]{\oldconcept{TimedLockable} requirements}
|
292 | 292 |
|
293 | 293 | \pnum
|
294 |
| -A type \tcode{L} meets the \oldconcept{TimedLockable} requirements if it meets the \oldconcept{Lockable} |
| 294 | +A type \tcode{L} meets the \defnoldconcept{TimedLockable} requirements if it meets the \oldconcept{Lockable} |
295 | 295 | requirements and the following expressions are well-formed and have the specified semantics
|
296 | 296 | (\tcode{m} denotes a value of type \tcode{L}, \tcode{rel_time} denotes a value of an
|
297 | 297 | instantiation of \tcode{duration}\iref{time.duration}, and \tcode{abs_time} denotes a value
|
|
342 | 342 | \rSec3[thread.req.lockable.shared]{\oldconcept{SharedLockable} requirements}
|
343 | 343 |
|
344 | 344 | \pnum
|
345 |
| -A type \tcode{L} meets the \oldconcept{SharedLockable} requirements if |
| 345 | +A type \tcode{L} meets the \defnoldconcept{SharedLockable} requirements if |
346 | 346 | the following expressions are well-formed, have the specified semantics, and
|
347 | 347 | the expression \tcode{m.try_lock_shared()} has type \tcode{bool}
|
348 | 348 | (\tcode{m} denotes a value of type \tcode{L}):
|
|
396 | 396 | \rSec3[thread.req.lockable.shared.timed]{\oldconcept{SharedTimedLockable} requirements}
|
397 | 397 |
|
398 | 398 | \pnum
|
399 |
| -A type \tcode{L} meets the \oldconcept{SharedTimedLockable} requirements if |
| 399 | +A type \tcode{L} meets the \defnoldconcept{SharedTimedLockable} requirements if |
400 | 400 | it meets the \oldconcept{SharedLockable} requirements, and
|
401 | 401 | the following expressions are well-formed, have type \tcode{bool}, and
|
402 | 402 | have the specified semantics
|
|
0 commit comments