<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, ...

Get Ant Developer’s Handbook now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.