アサーション

アサーションは仮説を検証するメカニズムです。（JDK 1.4 より導入）
アサーションは有効無効を切り替えられます。
不必要な try - catch ブロックや if 文などはプログラムの完成後に取り除くのは手間がかかりますが、
アサーションは有効無効の切り替えだけですみます。

JDK 1.4 ではデフォルトでアサーションが無効になっているのでアサーションのコードは実行時に無視されます。

アサーションを有効にするjava -ea
java -enableassertions

アサーションを無効にする
java -da
java -disableassertions

sample.Sample クラスのアサーションを有効にする
java ea:sample.Sample

sample パッケージとそのすべてのサブパッケージのアサーションを有効にする
java ea:sample

全体のアサーションを有効にし、システムクラスのアサーションのみを無効にする
java -ea -dsa

全体のアサーションを有効にし、sample パッケージのみを無効にする
java -ea -da:sample


アサーションの使い方
int x = 2 + 2;
assert (x == 4);     // true でないとき AssertionError を投げる