contracts: change the contract syntax
authorFlorian Deljarry <deljarry.florian@gmail.com>
Wed, 9 Oct 2019 00:57:01 +0000 (20:57 -0400)
committerFlorian Deljarry <deljarry.florian@gmail.com>
Wed, 9 Oct 2019 12:35:03 +0000 (08:35 -0400)
commitbfbe3cb8026f2e6b53d41f23c97cfd3060f87016
treeaab800ea72ea6799c36f0fcdeef0e302e095e4de
parenta5711e8acd9ff125f76288f5da61dd582a465519
contracts: change the contract syntax

Replace `ensures` by `ensure` and `expects` `expect`

Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
40 files changed:
src/contracts.nit
src/frontend/check_annotation.nit
tests/contracts.nit
tests/contracts_abstract.nit
tests/contracts_add.nit
tests/contracts_attributs.nit
tests/contracts_constructor.nit
tests/contracts_ensures.nit
tests/contracts_ensures_1.nit
tests/contracts_ensures_2.nit
tests/contracts_ensures_3.nit
tests/contracts_ensures_4.nit
tests/contracts_ensures_sequence.nit
tests/contracts_error.nit
tests/contracts_expects.nit
tests/contracts_expects_1.nit
tests/contracts_expects_2.nit
tests/contracts_expects_3.nit
tests/contracts_generic_type.nit
tests/contracts_inheritance.nit
tests/contracts_same_contract.nit
tests/contracts_virtual_type.nit
tests/sav/contracts.res
tests/sav/contracts_abstract.res
tests/sav/contracts_add.res
tests/sav/contracts_constructor.res
tests/sav/contracts_ensures.res
tests/sav/contracts_ensures_1.res
tests/sav/contracts_ensures_2.res
tests/sav/contracts_ensures_3.res
tests/sav/contracts_ensures_4.res
tests/sav/contracts_ensures_5.res
tests/sav/contracts_ensures_sequence.res
tests/sav/contracts_error.res
tests/sav/contracts_expects_1.res
tests/sav/contracts_expects_3.res
tests/sav/contracts_generic_type.res
tests/sav/contracts_inheritance.res
tests/sav/contracts_same_contract.res
tests/sav/contracts_virtual_type.res