How to write contract

The program languages which implement “Design by Contract (DbC)” are Eiffel, Digital Mars C++ Compiler and D programming language. All of these languages are never popular now. But, you can understand how to write the contract by reading the source code of DbC in these languages.

Sample code in the D’s official site is the following:

long square_root(long x)
assert(x >= 0);
out (result)
assert((result * result) == x);

The in is contract pre-conditions. The out is contract post-conditions and able to get the variable result which is return value of the function.

D’s assert is more useful than C’s assert because it throws an AssertException. It can be caught and handled with catch{}.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s