Skip to content

[alg.partitions] Add missing \pnum. #3549

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Dec 14, 2019
Merged

[alg.partitions] Add missing \pnum. #3549

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions source/algorithms.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6746,6 +6746,7 @@
for the overloads with no parameter named \tcode{proj}
and let $E(x)$ be \tcode{bool(invoke(\brk{}pred, invoke(proj, $x$)))}.

\pnum
\expects
For the overloads in namespace \tcode{std},
\tcode{BidirectionalIterator} meets
Expand Down
32 changes: 11 additions & 21 deletions source/lib-intro.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3002,15 +3002,13 @@

\pnum
\indextext{restriction}%
Violation of any preconditions specified in a function's
\requires
element results in undefined behavior unless the function's
\throws
element specifies throwing an exception when the precondition is violated.
Violation of any preconditions specified in a function's \requires element
results in undefined behavior
unless the function's \throws element
specifies throwing an exception when the precondition is violated.

\pnum
Violation of any preconditions specified
in a function's \expects element
Violation of any preconditions specified in a function's \expects element
results in undefined behavior.

\rSec3[res.on.requirements]{Semantic requirements}
Expand Down Expand Up @@ -3304,15 +3302,10 @@
\pnum
Any of the functions defined in the \Cpp{} standard library
\indextext{library!C++ standard}%
can report a failure by throwing an exception of a type described in its
\throws
paragraph,
or of a type derived from a type named in the
\throws
paragraph
that would be caught by
an exception handler
for the base type.
can report a failure by throwing an exception of a type
described in its \throws paragraph,
or of a type derived from a type named in the \throws paragraph
that would be caught by an exception handler for the base type.

\pnum
Functions from the C standard library shall not throw exceptions%
Expand All @@ -3337,11 +3330,8 @@
Functions defined in the
\Cpp{} standard library
\indextext{specifications!C++}%
that do not have a
\throws
paragraph
but do have a potentially-throwing
exception specification
that do not have a \throws paragraph
but do have a potentially-throwing exception specification
may throw \impldef{exceptions thrown by standard library functions that have a
potentially-throwing exception specification} exceptions.%
\footnote{In particular, they
Expand Down
13 changes: 11 additions & 2 deletions tools/check.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,8 @@

# Ignore files where rules may be violated within macro definitions.
texfiles=$(ls *.tex | grep -v macros.tex | grep -v layout.tex | grep -v tables.tex)
texlib="lib-intro.tex support.tex concepts.tex diagnostics.tex utilities.tex strings.tex containers.tex iterators.tex ranges.tex algorithms.tex numerics.tex time.tex locales.tex iostreams.tex regex.tex atomics.tex threads.tex"
texlibdesc="support.tex concepts.tex diagnostics.tex utilities.tex strings.tex containers.tex iterators.tex ranges.tex algorithms.tex numerics.tex time.tex locales.tex iostreams.tex regex.tex atomics.tex threads.tex"
texlib="lib-intro.tex $texlibdesc"

# Discover "Overfull \hbox" and "Reference ... undefined" messages from LaTeX.
sed -n '/\.tex/{s/^.*\/\([-a-z0-9]\+\.tex\).*$/\1/;h};
Expand All @@ -28,7 +29,7 @@ grep -n 'opt{}' *.tex && exit 1
grep -n "// not defined" $texfiles | sed 's/$/ <--- use \\notdef instead/' | grep . && exit 1

# Library element introducer followed by stuff.
grep -ne '^\\\(constraints\|mandates\|expects\|effects\|sync\|ensures\|returns\|throws\|complexity\|remarks\|errors\).\+$' $texfiles && exit 1
grep -ne '^\\\(constraints\|mandates\|expects\|effects\|sync\|ensures\|returns\|throws\|complexity\|remarks\|errors\).\+$' $texlibdesc && exit 1
# Fixup: sed 's/^\\\(constraints\|mandates\|expects\|effects\|sync\|ensures\|returns\|throws\|complexity\|remarks\|errors\)\s*\(.\)/\\\1\n\2/'
# Fixup: sed 's/^\\ //'

Expand Down Expand Up @@ -78,6 +79,14 @@ for f in $texfiles; do
sed 's/$/ <--- "shall" inside a note/'
done | grep . && exit 1

# Library descriptive macros not immediately preceded by \pnum.
for f in $texlibdesc; do
sed -n '/^\\pnum/{h;:x;n;/^\\index/b x;/^\\\(constraints\|mandates\|expects\|effects\|sync\|ensures\|returns\|throws\|complexity\|remarks\|errors\)/{x;/\n/{x;=;p};d};/^\\pnum/D;H;b x}' $f |
# prefix output with filename and line
sed '/^[0-9]\+$/{N;s/\n/:/}' | sed "s/.*/$f:&/" |
sed 's/$/ <--- \\pnum missing/'
done | grep . && exit 1

# \placeholder before (
#egrep 'placeholder{[-A-Za-z]*}@?\(' *.tex
# to fix: sed -i 's/placeholder\({[-A-Za-z]*}@\?(\)/placeholdernc\1/g' *.tex
Expand Down