Add C++20 documentation chapter
[skip-ci]
This commit is contained in:
parent
f00dfdb714
commit
36e8d521de
35 changed files with 1045 additions and 1029 deletions
|
|
@ -7,7 +7,7 @@
|
|||
</head>
|
||||
|
||||
<body bgcolor="#ffffff">
|
||||
<H1><a name="Contract">15 Contracts</a></H1>
|
||||
<H1><a name="Contract">16 Contracts</a></H1>
|
||||
<!-- INDEX -->
|
||||
<div class="sectiontoc">
|
||||
<ul>
|
||||
|
|
@ -39,7 +39,7 @@ When one of the rules is violated by a script, a runtime exception is
|
|||
generated rather than having the program continue to execute.
|
||||
</p>
|
||||
|
||||
<H2><a name="Contract_nn2">15.1 The %contract directive</a></H2>
|
||||
<H2><a name="Contract_nn2">16.1 The %contract directive</a></H2>
|
||||
|
||||
|
||||
<p>
|
||||
|
|
@ -95,7 +95,7 @@ RuntimeError: Contract violation: require: (arg1>=0)
|
|||
</pre>
|
||||
</div>
|
||||
|
||||
<H2><a name="Contract_nn3">15.2 %contract and classes</a></H2>
|
||||
<H2><a name="Contract_nn3">16.2 %contract and classes</a></H2>
|
||||
|
||||
|
||||
<p>
|
||||
|
|
@ -174,7 +174,7 @@ specified for the derived class all must hold. In the above example,
|
|||
this means that both the arguments to <tt>Spam::bar</tt> must be positive.
|
||||
</p>
|
||||
|
||||
<H2><a name="Contract_nn4">15.3 Constant aggregation and %aggregate_check</a></H2>
|
||||
<H2><a name="Contract_nn4">16.3 Constant aggregation and %aggregate_check</a></H2>
|
||||
|
||||
|
||||
<p>
|
||||
|
|
@ -263,7 +263,7 @@ Regrettably, there is no automatic way to perform similar checks with enums valu
|
|||
release.
|
||||
</p>
|
||||
|
||||
<H2><a name="Contract_nn5">15.4 Notes</a></H2>
|
||||
<H2><a name="Contract_nn5">16.4 Notes</a></H2>
|
||||
|
||||
|
||||
<p>
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue