|
491 | 491 | \end{itemize}
|
492 | 492 |
|
493 | 493 | \pnum
|
494 |
| -Whenever the \effects element specifies that the semantics of some function |
| 494 | +Whenever the \Fundescx{Effects} element specifies that the semantics of some function |
495 | 495 | \tcode{F} are \techterm{Equivalent to} some code sequence, then the various elements are
|
496 |
| -interpreted as follows. If \tcode{F}'s semantics specifies a \requires element, then |
| 496 | +interpreted as follows. If \tcode{F}'s semantics specifies a \Fundescx{Requires} element, then |
497 | 497 | that requirement is logically imposed prior to the \techterm{equivalent-to} semantics.
|
498 |
| -Next, the semantics of the code sequence are determined by the \requires, \effects, |
499 |
| -\sync, \postconditions, \returns, \throws, \complexity, \remarks, and \errors |
| 498 | +Next, the semantics of the code sequence are determined by the \Fundescx{Requires}, \Fundescx{Effects}, |
| 499 | +\Fundescx{Synchronization}, \Fundescx{Postconditions}, \Fundescx{Returns}, \Fundescx{Throws}, \Fundescx{Complexity}, \Fundescx{Remarks}, and \Fundescx{Error conditions} |
500 | 500 | specified for the function invocations contained in the code sequence. The value
|
501 |
| -returned from \tcode{F} is specified by \tcode{F}'s \returns element, or if \tcode{F} |
502 |
| -has no \returns element, a non-\tcode{void} return from \tcode{F} is specified by the |
| 501 | +returned from \tcode{F} is specified by \tcode{F}'s \Fundescx{Returns} element, or if \tcode{F} |
| 502 | +has no \Fundescx{Returns} element, a non-\tcode{void} return from \tcode{F} is specified by the |
503 | 503 | \tcode{return} statements in the code sequence.
|
504 |
| -If \tcode{F}'s semantics contains a \throws, |
505 |
| -\postconditions, or \complexity element, then that supersedes any occurrences of that |
| 504 | +If \tcode{F}'s semantics contains a \Fundescx{Throws}, |
| 505 | +\Fundescx{Postconditions}, or \Fundescx{Complexity} element, then that supersedes any occurrences of that |
506 | 506 | element in the code sequence.
|
507 | 507 |
|
508 | 508 | \pnum
|
|
539 | 539 | \rSec3[structure.see.also]{C library}
|
540 | 540 |
|
541 | 541 | \pnum
|
542 |
| -Paragraphs labeled ``\xref'' contain cross-references to the relevant portions |
| 542 | +Paragraphs labeled ``\textsc{See also}'' contain cross-references to the relevant portions |
543 | 543 | of this International Standard and the ISO C standard.
|
544 | 544 |
|
545 | 545 | \rSec2[conventions]{Other conventions}
|
|
0 commit comments