Contracts for Java

Andrej Mitrovic andrej.mitrovich at gmail.com
Fri Feb 4 19:20:51 PST 2011


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

That's about it for this post, right?


More information about the Digitalmars-d mailing list