Skip to content

Use 'well-formed' (with hyphen) consistently. #1619

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
Oct 15, 2017
Merged

Use 'well-formed' (with hyphen) consistently. #1619

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
2 changes: 1 addition & 1 deletion source/derived.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -866,7 +866,7 @@
\end{codeblock}
Both \tcode{VB1::f} and \tcode{VB2::f} override \tcode{A::f} but there
is no overrider of both of them in class \tcode{Error}. This example is
therefore ill-formed. Class \tcode{Okay} is well formed, however,
therefore ill-formed. Class \tcode{Okay} is well-formed, however,
because \tcode{Okay::f} is a final overrider.
\end{example}

Expand Down
2 changes: 1 addition & 1 deletion source/numerics.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9673,7 +9673,7 @@
\pnum
\requires \tcode{T} shall be convertible to \tcode{ForwardIterator}'s value
type. The expression \tcode{++val}, where \tcode{val} has type \tcode{T}, shall
be well formed.
be well-formed.

\pnum
\effects For each element referred to by the iterator \tcode{i} in the range
Expand Down
2 changes: 1 addition & 1 deletion source/special.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@
B& operator=(const B &);
};
B& B::operator=(const B& s) {
this->A::operator=(s); // well formed
this->A::operator=(s); // well-formed
return *this;
}
\end{codeblock}
Expand Down
36 changes: 18 additions & 18 deletions source/utilities.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4064,7 +4064,7 @@
unless \tcode{is_constructible_v<$\tcode{T}_j$, T>} is \tcode{true},
and unless the expression
\tcode{\placeholdernc{FUN}(}\brk\tcode{std::forward<T>(t))} (with \tcode{\placeholdernc{FUN}}
being the above-mentioned set of imaginary functions) is well formed.
being the above-mentioned set of imaginary functions) is well-formed.

\pnum
\begin{note}
Expand Down Expand Up @@ -4352,7 +4352,7 @@
\tcode{is_assignable_v<$\tcode{T}_j$\&, T> \&\& is_constructible_v<$\tcode{T}_j$, T>} is \tcode{true},
and unless the expression \tcode{\placeholdernc{FUN}(std::forward<T>(t))} (with
\tcode{\placeholdernc{FUN}} being the above-mentioned set of imaginary functions)
is well formed.
is well-formed.

\pnum
\begin{note}
Expand Down Expand Up @@ -8369,9 +8369,9 @@
\pnum
\requires If \tcode{E} is not a reference type,
construction of the deleter from an rvalue of type
\tcode{E} shall be well formed and shall not throw an exception.
\tcode{E} shall be well-formed and shall not throw an exception.
Otherwise, \tcode{E} is a reference type and construction of the deleter from an
lvalue of type \tcode{E} shall be well formed and shall not throw an exception.
lvalue of type \tcode{E} shall be well-formed and shall not throw an exception.

\pnum
\remarks This constructor shall not participate in overload resolution unless:
Expand Down Expand Up @@ -8407,7 +8407,7 @@

\begin{itemdescr}
\pnum
\requires The expression \tcode{get_deleter()(get())} shall be well formed,
\requires The expression \tcode{get_deleter()(get())} shall be well-formed,
shall have well-defined behavior, and shall not throw exceptions. \begin{note} The
use of \tcode{default_delete} requires \tcode{T} to be a complete type.
\end{note}
Expand Down Expand Up @@ -8578,7 +8578,7 @@

\begin{itemdescr}
\pnum
\requires The expression \tcode{get_deleter()(get())} shall be well formed, shall have
\requires The expression \tcode{get_deleter()(get())} shall be well-formed, shall have
well-defined behavior, and shall not throw exceptions.

\pnum
Expand Down Expand Up @@ -9654,7 +9654,7 @@
it is unspecified whether this
member function is declared. If it is declared, it is unspecified what its
return type is, except that the declaration (although not necessarily the
definition) of the function shall be well formed.
definition) of the function shall be well-formed.
\end{itemdescr}

\indexlibrarymember{operator->}{shared_ptr}%
Expand All @@ -9671,7 +9671,7 @@
it is unspecified whether this member function is declared.
If it is declared, it is unspecified what its return type is,
except that the declaration (although not necessarily the definition)
of the function shall be well formed.
of the function shall be well-formed.
\end{itemdescr}

\indexlibrarymember{operator[]}{shared_ptr}%
Expand All @@ -9689,7 +9689,7 @@
it is unspecified whether this member function is declared.
If it is declared, it is unspecified what its return type is,
except that the declaration (although not necessarily the definition)
of the function shall be well formed.
of the function shall be well-formed.

\pnum\throws Nothing.
\end{itemdescr}
Expand Down Expand Up @@ -10159,7 +10159,7 @@
\begin{itemdescr}
\pnum
\requires The expression \tcode{static_cast<T*>((U*)nullptr)} shall
be well formed.
be well-formed.

\pnum
\returns
Expand All @@ -10185,7 +10185,7 @@
\begin{itemdescr}
\pnum
\requires The expression \tcode{dynamic_cast<T*>((U*)nullptr)}
shall be well formed and shall have well-defined behavior.
shall be well-formed and shall have well-defined behavior.

\pnum
\returns
Expand All @@ -10212,7 +10212,7 @@
\begin{itemdescr}
\pnum
\requires The expression \tcode{const_cast<T*>((U*)nullptr)} shall
be well formed.
be well-formed.

\pnum
\returns
Expand All @@ -10237,7 +10237,7 @@
\begin{itemdescr}
\pnum
\requires The expression \tcode{reinterpret_cast<T*>((U*)nullptr)}
shall be well formed.
shall be well-formed.

\pnum\returns
\begin{codeblock}
Expand Down Expand Up @@ -11254,7 +11254,7 @@
with allocator \tcode{resource()} (see~\ref{allocator.uses.construction})
and constructor arguments \tcode{std::forward<Args>(args)...} is well-formed.
\begin{note}
Uses-allocator construction is always well formed
Uses-allocator construction is always well-formed
for types that do not use allocators.\end{note}

\pnum
Expand Down Expand Up @@ -14371,7 +14371,7 @@
if the expression
\tcode{\placeholdernc{INVOKE}<R>(declval<F\&>(), declval<ArgTypes>()...)},
considered as an unevaluated operand\iref{expr}, is
well formed\iref{func.require}.
well-formed\iref{func.require}.

\pnum
The \tcode{function} class template is a call
Expand Down Expand Up @@ -16266,7 +16266,7 @@
\tcode{template <class Fn, class... ArgTypes>}\br
\tcode{struct is_invocable;} &
The expression \tcode{\placeholdernc{INVOKE}(declval<Fn>(), declval<ArgTypes>()...)}
is well formed when treated as an unevaluated operand &
is well-formed when treated as an unevaluated operand &
\tcode{Fn} and all types in the parameter pack \tcode{ArgTypes}
shall be complete types, \cv{}~\tcode{void}, or
arrays of unknown bound. \\ \rowsep
Expand All @@ -16275,7 +16275,7 @@
\tcode{template <class R, class Fn, class... ArgTypes>}\br
\tcode{struct is_invocable_r;} &
The expression \tcode{\placeholdernc{INVOKE}<R>(declval<Fn>(), declval<ArgTypes>()...)}
is well formed when treated as an unevaluated operand &
is well-formed when treated as an unevaluated operand &
\tcode{Fn}, \tcode{R}, and all types in the parameter pack \tcode{ArgTypes}
shall be complete types, \cv{}~\tcode{void}, or
arrays of unknown bound. \\ \rowsep
Expand Down Expand Up @@ -16677,7 +16677,7 @@
\tcode{struct invoke_result;}
&
If the expression \tcode{\placeholdernc{INVOKE}(declval<Fn>(), declval<ArgTypes>()...)}
is well formed when treated as an unevaluated operand\iref{expr},
is well-formed when treated as an unevaluated operand\iref{expr},
the member typedef \tcode{type} names the type
\tcode{decltype(\placeholdernc{INVOKE}(declval<Fn>(), declval<ArgTypes>()...))};
otherwise, there shall be no member \tcode{type}. Access checking is
Expand Down