[#1816] Ruby 1.5.3 under Tru64 (Alpha)? — Clemens Hintze <clemens.hintze@...>

Hi all,

17 messages 2000/03/14

[#1989] English Ruby/Gtk Tutorial? — schneik@...

18 messages 2000/03/17

[#2241] setter() for local variables — ts <decoux@...>

18 messages 2000/03/29

[ruby-talk:02292] Re:

From: ts <decoux@...>
Date: 2000-03-31 10:03:45 UTC
List: ruby-talk #2292
>>>>> "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

In This Thread

Prev Next