From 0de7df7c850bb5b1f1699c7cd474d9f96d2e5d32 Mon Sep 17 00:00:00 2001 From: Florian Deljarry Date: Wed, 29 May 2019 16:49:55 -0400 Subject: [PATCH] src/toolcontext: Provide contract options `--no-contract` option to disable the contracts usage `--full-contract` option to enable the contracts usage in all classes Signed-off-by: Florian Deljarry --- src/toolcontext.nit | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/toolcontext.nit b/src/toolcontext.nit index 0797723..043e9ee 100644 --- a/src/toolcontext.nit +++ b/src/toolcontext.nit @@ -405,12 +405,18 @@ class ToolContext # Option --stub-man var opt_stub_man = new OptionBool("Generate a stub manpage in pandoc markdown format", "--stub-man") + # Option --no-contract + var opt_no_contract = new OptionBool("Disable the contracts usage", "--no-contract") + + # Option --full-contract + var opt_full_contract = new OptionBool("Enable all contracts usage", "--full-contract") + # Verbose level var verbose_level: Int = 0 init do - option_context.add_option(opt_warn, opt_warning, opt_quiet, opt_stop_on_first_error, opt_keep_going, opt_no_color, opt_log, opt_log_dir, opt_nit_dir, opt_help, opt_version, opt_set_dummy_tool, opt_verbose, opt_bash_completion, opt_stub_man) + option_context.add_option(opt_warn, opt_warning, opt_quiet, opt_stop_on_first_error, opt_keep_going, opt_no_color, opt_log, opt_log_dir, opt_nit_dir, opt_help, opt_version, opt_set_dummy_tool, opt_verbose, opt_bash_completion, opt_stub_man, opt_no_contract, opt_full_contract) # Hide some internal options opt_stub_man.hidden = true -- 1.7.9.5