Ed Keith <e_...@yahoo.com> writes: >> I think DbC as envisioned by the Eiffel guy... >> the term is that it's a static verification technique, > > Eiffel throws an exception when a contract is violated. That is run > time behavior, not static verification.
The runtime checks are for when static analysis hasn't been supplied (that is usually a partly manual process). DBC is always intended to be statically verified as I understand it. Doing it at runtime is just a hackish fallback. -- http://mail.python.org/mailman/listinfo/python-list
