|
No language can be without them these days. Asssetions are, of course, only a tool to enable DbC which is the really important thing. One of the fiew useful ideas in SE.
The Java facility seems a bit primitive. For example if you want an invariant, you must code it in every relevant method. One would want, in some cases, to specify pre/post-conditions as an integral part of an interface, in the hope that some day compilers would perform some static analysis.
Posted to Software-Eng by Ehud Lamm on 5/25/01; 4:02:44 AM
|
|
Java 1.4 adds Assertions
