Skip to content

Commit 5ee28ef

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 8c2d133 commit 5ee28ef

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
@@ -492,18 +492,18 @@
492492
\end{itemize}
493493

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

509509
\pnum
@@ -540,7 +540,7 @@
540540
\rSec3[structure.see.also]{C library}
541541

542542
\pnum
543-
Paragraphs labeled ``\xref'' contain cross-references to the relevant portions
543+
Paragraphs labeled ``\textsc{See also}'' contain cross-references to the relevant portions
544544
of this International Standard and the ISO C standard.
545545

546546
\rSec2[conventions]{Other conventions}

0 commit comments

Comments
 (0)