diff options
Diffstat (limited to 'Doc/Manual/Contract.html')
-rw-r--r-- | Doc/Manual/Contract.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Doc/Manual/Contract.html b/Doc/Manual/Contract.html index 93fb8c003..f7acbba3e 100644 --- a/Doc/Manual/Contract.html +++ b/Doc/Manual/Contract.html @@ -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> |