>>>>> "D" == Dave Thomas <Dave / thomases.com> writes:

 A stupid question, I know nothing about DBC (sorry) but it's not best to
 write :


D>    def addOneTo(aValue)
D>     aValue += 1
D>     return aValue   # contrived, I know
D>     post { return = aValue.orig + 1 }
D>    end

      def assOneTwo(aValue)
      # body
      ensure
      # post condition
      end


Guy Decoux