Merge: Contract: Change mpropdef driving
[nit.git] / tests / contracts_add.nit
index 5ab7621..6f99c88 100644 (file)
 class MyClass
        fun foo(x: Int)
        is
-               expects(x == 1)
+               expect(x == 1)
        do
                x=1
        end
 
        fun bar(x: Float): Bool
        is
-               ensures(result)
+               ensure(result)
        do
                return true
        end
@@ -36,14 +36,14 @@ class MyClass2
 
        redef fun foo(x: Int)
        is
-               ensures(x == 0)
+               ensure(x == 0)
        do
                x=0
        end
 
        redef fun bar(x: Float)
        is
-               expects(x == 1)
+               expect(x == 1)
        do
                return true
        end