nitlanguage
/
nit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge: Contract: Change mpropdef driving
[nit.git]
/
tests
/
contracts_attributs.nit
diff --git
a/tests/contracts_attributs.nit
b/tests/contracts_attributs.nit
index
504f0f9
..
dae1f23
100644
(file)
--- a/
tests/contracts_attributs.nit
+++ b/
tests/contracts_attributs.nit
@@
-20,8
+20,8
@@
class MyClass
fun foo(x: Int)
is
fun foo(x: Int)
is
- expects(bar == 10)
- ensures(x > 0)
+ expect(bar == 10)
+ ensure(x > 0)
do
if bar != 10 then print "Error"
end
do
if bar != 10 then print "Error"
end
@@
-38,8
+38,8
@@
class MyClass2
fun foo(bool: Bool)
is
fun foo(bool: Bool)
is
- expects(not self.baz)
- ensures(my_class.bar == 11)
+ expect(not self.baz)
+ ensure(my_class.bar == 11)
do
if baz then print "Error"
my_class.bar = 11
do
if baz then print "Error"
my_class.bar = 11