Ant Developer’s Handbook

<icontract>

This task facilitates an interface to the iContract preprocessor system that implements the Design By Contract principal. More information on iContract can be found at http://www.reliable-systems.com/tools/.

Design by Contract (DBC) is a methodology first developed by Bertrand Meyer, the original designer of the Eiffel language (one of the languages Java was based on). DBC is characterized by the notion of assertions; the capability to check the state of a class execution at specific points; and preconditions, postconditions, and invariants. A precondition is a set of rules that must be true before a given method can be allowed to execute. Conversely, a postcondition is a set of rules that must be true after a given method has run, ...