tmp/tmpdr5_u0wu/{from.md → to.md}
RENAMED
|
@@ -1,11 +0,0 @@
|
|
| 1 |
-
## Requires paragraph <a id="depr.res.on.required">[[depr.res.on.required]]</a>
|
| 2 |
-
|
| 3 |
-
In addition to the elements specified in [[structure.specifications]],
|
| 4 |
-
descriptions of function semantics may also contain a *Requires:*
|
| 5 |
-
element to denote the preconditions for calling a function.
|
| 6 |
-
|
| 7 |
-
Violation of any preconditions specified in a function’s *Requires:*
|
| 8 |
-
element results in undefined behavior unless the function’s *Throws:*
|
| 9 |
-
element specifies throwing an exception when the precondition is
|
| 10 |
-
violated.
|
| 11 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|