java アサート

アサーションとは、プログラマが前提としている条件をチェックし、プログラムの正しい動作を保証する為の機能です。 例えば、、プログラマのA君が「ここの処理結果はtrueになる」ようにプログラムを書いても、実際に実行して見ない限り分かりません。 そこでアサーション機能を使用することで、trueにならなかった場合は、エラーを表示することができ、バグの検出に有効です。