Lambda the Ultimate

inactiveTopic Java 1.4 adds Assertions
started 5/25/2001; 4:02:11 AM - last post 5/25/2001; 4:02:11 AM
Ehud Lamm - Java 1.4 adds Assertions  blueArrow
5/25/2001; 4:02:11 AM (reads: 804, responses: 0)
Java 1.4 adds Assertions
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