斷言是一個包含布爾表達式的語句，在執行這個語句時假定該表達式爲 true。如果表達式計算爲 false，那麼系統會報告一個 Assertionerror。它用於調試目的：
assert(a > 0); // throws an Assertionerror if a <= 0
斷言可以有兩種形式：
assert Expression1 ;
assert Expression1 : Expression2 ;
Expression1 應該總是產生一個布爾值。
Expression2 可以是得出一個值的任意表達式。這個值用於生成顯示更多調試信息的 String 消息。
斷言在默認情況下是禁用的。要在編譯時啓用斷言，需要使用 source 1.4 標記：
javac -source 1.4 Test.java
要在運行時啓用斷言，可使用 -enableassertions 或者 -ea 標記。
要在運行時選擇禁用斷言，可使用 -da 或者 -disableassertions 標記。
要系統類中啓用斷言，可使用 -esa 或者 -dsa 標記。還可以在包的基礎上啓用或者禁用斷言。
可以在預計正常情況下不會到達的任何位置上放置斷言。斷言可以用於驗證傳遞給私有方法的參數。不過，斷言不應該用於驗證傳遞給公有方法的參數，因爲不管是否啓用了斷言，公有方法都必須檢查其參數。不過，既可以在公有方法中，也可以在非公有方法中利用斷言測試後置條件。另外，斷言不應該以任何方式改變程序的狀態。
