From 781c0464f7c1b5b148c909b265b4c552281dfbe1 Mon Sep 17 00:00:00 2001 From: Florian Deljarry Date: Wed, 29 May 2019 16:04:06 -0400 Subject: [PATCH] share/man/nitc: Adding the man explication to disable contracts Signed-off-by: Florian Deljarry --- share/man/nitc.md | 9 +++++++++ 1 file changed, 9 insertions(+) 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` -- 1.7.9.5