From: Florian Deljarry Date: Wed, 29 May 2019 20:04:06 +0000 (-0400) Subject: share/man/nitc: Adding the man explication to disable contracts X-Git-Url: http://nitlanguage.org?hp=cce1f3d8938e636cff48ba038ef95b7d7841a2a9 share/man/nitc: Adding the man explication to disable contracts Signed-off-by: Florian Deljarry --- diff --git a/share/man/nitc.md b/share/man/nitc.md index eff6232..64d8c53 100644 --- a/share/man/nitc.md +++ b/share/man/nitc.md @@ -539,6 +539,15 @@ Force lazy semantic analysis of the source-code. Analysis of methods is thus done only when required. This option breaks the behavior of most of the tools since errors in methods are undetected until the method is required in some processing. +## Contract +By default the contracts can be defined as "semi-global". I.E. All contracts (ensures, expects) used in the main package are enabled, the `expects` contracts are enabled (`ensures` contracts are disable) in direct imported package. Other indirected imported package has no active contract. + +### `--no-contract` +Option used to disable the contracts(ensures, expects) usage. + +### `--full-contract` +Option used to enables contracts (ensures, expects) on all classes. Warning this is an expensive option at runtime. + # ENVIRONMENT VARIABLES ### `NIT_DIR`