Skip to content

Commit af13841

Browse files
committed
[structure.specifications] Do not use library description macros in running text
This avoids colons in running text and some bad spacing.
1 parent bc092f3 commit af13841

File tree

1 file changed

+9
-9
lines changed

1 file changed

+9
-9
lines changed

source/lib-intro.tex

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -490,18 +490,18 @@
490490
\end{itemize}
491491

492492
\pnum
493-
Whenever the \effects element specifies that the semantics of some function
493+
Whenever the \Fundescx{Effects} element specifies that the semantics of some function
494494
\tcode{F} are \techterm{Equivalent to} some code sequence, then the various elements are
495-
interpreted as follows. If \tcode{F}'s semantics specifies a \requires element, then
495+
interpreted as follows. If \tcode{F}'s semantics specifies a \Fundescx{Requires} element, then
496496
that requirement is logically imposed prior to the \techterm{equivalent-to} semantics.
497-
Next, the semantics of the code sequence are determined by the \requires, \effects,
498-
\sync, \postconditions, \returns, \throws, \complexity, \remarks, and \errors
497+
Next, the semantics of the code sequence are determined by the \Fundescx{Requires}, \Fundescx{Effects},
498+
\Fundescx{Synchronization}, \Fundescx{Postconditions}, \Fundescx{Returns}, \Fundescx{Throws}, \Fundescx{Complexity}, \Fundescx{Remarks}, and \Fundescx{Error conditions}
499499
specified for the function invocations contained in the code sequence. The value
500-
returned from \tcode{F} is specified by \tcode{F}'s \returns element, or if \tcode{F}
501-
has no \returns element, a non-\tcode{void} return from \tcode{F} is specified by the
500+
returned from \tcode{F} is specified by \tcode{F}'s \Fundescx{Returns} element, or if \tcode{F}
501+
has no \Fundescx{Returns} element, a non-\tcode{void} return from \tcode{F} is specified by the
502502
\tcode{return} statements in the code sequence.
503-
If \tcode{F}'s semantics contains a \throws,
504-
\postconditions, or \complexity element, then that supersedes any occurrences of that
503+
If \tcode{F}'s semantics contains a \Fundescx{Throws},
504+
\Fundescx{Postconditions}, or \Fundescx{Complexity} element, then that supersedes any occurrences of that
505505
element in the code sequence.
506506

507507
\pnum
@@ -534,7 +534,7 @@
534534
\rSec3[structure.see.also]{C library}
535535

536536
\pnum
537-
Paragraphs labeled ``\xref'' contain cross-references to the relevant portions
537+
Paragraphs labeled ``\textsc{See also}'' contain cross-references to the relevant portions
538538
of this International Standard and the ISO C standard.
539539

540540
\rSec2[conventions]{Other conventions}

0 commit comments

Comments
 (0)