• bearophile <bearophileHUGS lycos.com> Feb 04 2011
• Andrej Mitrovic <andrej.mitrovich gmail.com> Feb 04 2011

bearophile <bearophileHUGS lycos.com> writes:

From Google:

http://google-opensource.blogspot.com/2011/02/contracts-for-java.html
http://code.google.com/p/cofoja/

Bye,
bearophile

Andrej Mitrovic <andrej.mitrovich gmail.com> writes:

 Requires -> in{}
 Ensures -> out(result){}

That's about it for this post, right?