Skip to content

Commit 9cbe7a6

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 62439ea commit 9cbe7a6

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
@@ -495,18 +495,18 @@
495495
\end{itemize}
496496

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

512512
\pnum
@@ -543,7 +543,7 @@
543543
\rSec3[structure.see.also]{C library}
544544

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

549549
\rSec2[conventions]{Other conventions}

0 commit comments

Comments
 (0)