contract programming without a function

[Thomas Kuehne]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Derek Parnell schrieb am 2007-05-20:


> In summary ...
>
> 'in' is executed before its function is entered.
> 'out' is executed after its function returns.
> 'invariant' is executed after /any/ class member function returns.

'invariant' is executed before and after any public class member
function. The only exception are constructors: they don't cause a
pre check.

Thomas

-----BEGIN PGP SIGNATURE-----

iD8DBQFGUGf3LK5blCcjpWoRAistAKCaoaWOAeGiByk/kYizvNJ2DNQvrQCfXpyL
A/SDQC7J0Xm1gFTNZJqdNTY=
=PEWR
-----END PGP SIGNATURE-----