From: Albert Wagner <alwagner@...>
Date: 2001-08-12T18:58:07+09:00
Subject: [ruby-talk:19588] Re: order and freedom in Ruby (was: Re: Re: the way class variables work)

This definition from:

http://www.scism.sbu.ac.uk/law/Section5/chap1/s5c1p4.html

suits me fine.

"The use of pre and post conditions allows the development of software to be 
thought of as an implicit, or explicit, contract between the calling 
environment and the called subprogram. The calling environment fulfils its 
part of the contract by ensuring that it only ever calls the subprogram with 
a set of actual parameters which comply with the pre-condition. The 
subprogram in its turn fulfils the contract by ensuring that if it is 
supplied with acceptable input parameters it will always provide results 
which comply with its post-condition. That is to say that it will fulfil its 
advertised specification to transform its input data into the output data."


On Saturday 11 August 2001 21:29, Chris Uzdavinis wrote:
> Albert Wagner <alwagner@tcac.net> writes:
> > Just a newbie here, but aren't you talking about  contracts?
>
> Maybe.  What definition of contracts are you using?