nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56c44ec) | patch
check_annotation: adding no_contract
authorFlorian Deljarry <deljarry.florian@gmail.com>
Sun, 26 May 2019 17:17:09 +0000 (13:17 -0400)
committerFlorian Deljarry <deljarry.florian@gmail.com>
Wed, 28 Aug 2019 20:23:58 +0000 (16:23 -0400)
commitdf122cc2df844de72aca9fcd4896efd648be4210
tree229f5bb13c8791440271512fcdc8519694c6bc2etree | snapshot
parent56c44ecbbc55f373fa5c0b257cd30042323f353fcommit | diff
check_annotation: adding no_contract

Adding option to remove contract on a specific annotated method

Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
src/frontend/check_annotation.nit diff | blob | history
Nit language project; an oo programing language and its tool suite.