nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 781c046) | patch
src/toolcontext: Provide contract options
authorFlorian Deljarry <deljarry.florian@gmail.com>
Wed, 29 May 2019 20:49:55 +0000 (16:49 -0400)
committerFlorian Deljarry <deljarry.florian@gmail.com>
Thu, 26 Sep 2019 19:14:54 +0000 (15:14 -0400)
commit0de7df7c850bb5b1f1699c7cd474d9f96d2e5d32
tree63b1c07d98b2803d19bbce47efd783415a77e2f0tree | snapshot
parent781c0464f7c1b5b148c909b265b4c552281dfbe1commit | diff
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 <deljarry.florian@gmail.com>
src/toolcontext.nit diff | blob | history
Nit language project; an oo programing language and its tool suite.