Documentation section numbering update

[skip ci]
This commit is contained in:
William S Fulton 2019-02-11 19:02:03 +00:00
commit d16d145787
24 changed files with 688 additions and 672 deletions

View file

@ -7,7 +7,7 @@
</head>
<body bgcolor="#ffffff">
<H1><a name="Contract">14 Contracts</a></H1>
<H1><a name="Contract">15 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">14.1 The %contract directive</a></H2>
<H2><a name="Contract_nn2">15.1 The %contract directive</a></H2>
<p>
@ -95,7 +95,7 @@ RuntimeError: Contract violation: require: (arg1&gt;=0)
</pre>
</div>
<H2><a name="Contract_nn3">14.2 %contract and classes</a></H2>
<H2><a name="Contract_nn3">15.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">14.3 Constant aggregation and %aggregate_check</a></H2>
<H2><a name="Contract_nn4">15.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">14.4 Notes</a></H2>
<H2><a name="Contract_nn5">15.4 Notes</a></H2>
<p>