nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0636d22) | patch
contracts: Improvement contract implementation
authorFlorian Deljarry <deljarry.florian@gmail.com>
Fri, 5 Jun 2020 19:22:16 +0000 (15:22 -0400)
committerFlorian Deljarry <deljarry.florian@gmail.com>
Fri, 5 Jun 2020 20:03:43 +0000 (16:03 -0400)
commit7f88fd2a7ad47d644752b14cb2de08c1ba028ba2
tree5dfd9d1529f9ed471411efab8ab9b8af942908dbtree | snapshot
parent0636d22e8e2537a8c1f14c80befd33759cdf79c3commit | diff
contracts: Improvement contract implementation

- Remove useless methods
- Change some properties names and comments to be more explicit
- Update contract message to get more explicit message when it fail

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