You do three types of sanity checking in your computer programs:
For (2) you use asserts which can be turned off once you are sure the code is solid.
For (3) you trust the run time array subscript out of bounds and null pointer checking.
If an assert fails, presumably something is wrong with a program or one of its resources — not data input files and keyed input. That is why it should be safe to turn it off for production. Sometimes I catch myself using assert to detect flawed data. There is no way the compiler knows that I am using the assert improperly.
|Design by Contract||Alternative|
Bertrand Meyer in Eiffel pioneered the use of structured assertions in a system he called Programming By Contract. These serve both to document the preconditions (require) on parameters coming into a method and the guaranteed characteristics of the result (ensure). Unfortunately, Java still does not support them. They can be crudely added with the JaWa preprocessor.
Java version 1.4 or later has a feature Sun calls assertions but they are so pathetic they don’t deserve the name. It is as though Sun wanted to claim that Java has assertions without doing any work to implement them and not caring if the final product was actually of any use. If Sun wants to try again, they should look at how Eiffel assertions work.
They are new language feature, not just a new class.
In Eclipse, you enable assertions by using the Java version 1.5 level then click run ⇒ arguments ⇒ VM arguments then enter -ea. There is no checkbox to tick.
assert a > b : "a must be bigger than b";
The second expression can be anything you would feed to printLn or it can be left out.
To mark a place in your code you should never get, you can code an assertion that always fails like this:
assert false : "Fell out bottom of loop without finding elt.";
If you want an assertion that is always turned on and works in all levels of the JDK (Java Development Kit), you can use code like this:
This page is posted
Optional Replicator mirror
Your face IP:[184.108.40.206]
You are visitor number|