tmp/tmp7fdckf2k/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,11 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 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 |
+
|