P0542R5 Support for contract based programming in C++

Author: jensmaurer

source/basic.tex

@@ -553,6 +553,15 @@
 requirement applies recursively)\footnote{\ref{dcl.fct.default}
 describes how default argument names are looked up.}; and
 
+\item it is
+\impldef{consistency of build level and violation continuation mode}
+the conditions under which ---
+if \tcode{D} contains an assertion, has a postcondition,
+or invokes a function with a precondition ---
+each definition of \tcode{D} shall be translated
+using the same build level
+and violation continuation mode\iref{dcl.attr.contract}; and
+
 \item if \tcode{D} is a class with an implicitly-declared
 constructor\iref{class.ctor}, it is as if the constructor was
 implicitly defined in every translation unit where it is odr-used, and the
@@ -984,8 +993,9 @@
 The potential scope of a name declared in a class consists not
 only of the declarative region following the name's point of
 declaration, but also of all function bodies, default arguments,
-\grammarterm{noexcept-specifier}{s}, and
-default member initializers\iref{class.mem}
+\grammarterm{noexcept-specifier}{s},
+default member initializers\iref{class.mem},
+and contract conditions\iref{dcl.attr.contract}
 in that class (including such
 things in nested classes).
 
@@ -1330,6 +1340,7 @@
 A name used in the definition of a class \tcode{X} outside of a member
 function body, default argument, \grammarterm{noexcept-specifier},
 default member initializer\iref{class.mem},
+contract condition\iref{dcl.attr.contract},
 or nested class definition\footnote{This refers to unqualified names
 following the class name; such a name may be used in the
 \grammarterm{base-clause} or may be used in the class definition.}
@@ -1393,11 +1404,14 @@
 \end{note}
 
 \pnum
-For the members of a class \tcode{X}, a name used in a member function
-body, in a default argument, in a \grammarterm{noexcept-specifier}, in a
-default member initializer\iref{class.mem}, or in the definition of a class member
-outside of the definition of \tcode{X}, following the
-member's
+For the members of a class \tcode{X}, a name used
+in a member function body,
+in a default argument,
+in a \grammarterm{noexcept-specifier},
+in a default member initializer\iref{class.mem},
+in a contract condition\iref{dcl.attr.contract}, or
+in the definition of a class member outside of the definition of \tcode{X},
+following the member's
 \grammarterm{declarator-id}\footnote{That is, an unqualified name that occurs,
 for instance, in a
 type in the

source/classes.tex

@@ -563,8 +563,9 @@
 Within the class
 \grammarterm{member-specification}, the class is regarded as complete
 within function bodies, default arguments,
-\grammarterm{noexcept-specifier}{s}, and
-default member initializers
+\grammarterm{noexcept-specifier}{s},
+default member initializers, and
+contract conditions\iref{dcl.attr.contract}
 (including such things in nested classes).
 Otherwise it is regarded as incomplete within its own class
 \grammarterm{member-specification}.