tests/contracts_attributs.nit

   1 # This file is part of NIT ( http://www.nitlanguage.org ).
   2 #
   3 # Licensed under the Apache License, Version 2.0 (the "License");
   4 # you may not use this file except in compliance with the License.
   5 # You may obtain a copy of the License at
   6 #
   7 #     http://www.apache.org/licenses/LICENSE-2.0
   8 #
   9 # Unless required by applicable law or agreed to in writing, software
  10 # distributed under the License is distributed on an "AS IS" BASIS,
  11 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  12 # See the License for the specific language governing permissions and
  13 # limitations under the License.
  14
  15 # Verification if it's possible to define a contract with a call of an attribute and a method call
  16
  17 class MyClass
  18
  19         var bar = 10
  20
  21         fun foo(x: Int)
  22         is
  23                 expect(bar == 10)
  24                 ensure(x > 0)
  25         do
  26                 if bar != 10 then print "Error"
  27         end
  28 end
  29
  30 class MyClass2
  31
  32         var my_class: MyClass
  33
  34         fun baz: Bool
  35         do
  36                 return false
  37         end
  38
  39         fun foo(bool: Bool)
  40         is
  41                 expect(not self.baz)
  42                 ensure(my_class.bar == 11)
  43         do
  44                 if baz then print "Error"
  45                 my_class.bar = 11
  46         end
  47 end
  48
  49 var first = new MyClass
  50 first.foo(1) # Ok
  51 var second = new MyClass2(first)
  52 second.foo(false) # Ok