• bearophile (5/5) Feb 04 2011 From Google:
• Andrej Mitrovic (3/3) Feb 04 2011 @Requires -> in{}

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?