J2SE 1.4在語言上提供了一個新特性，就是assertion(斷言)功能，它是該版本在Java語言方面最大的革新。在軟體開發中，assertion是一種經典的除錯、測試方式。

       assertion(斷言)在軟體開發中是一種常用的除錯方式，很多開發語言中都支援這種機制，如C，C++和Eiffel等，但是支援的形式不盡相同，有的是通過語言本身、有的是通過庫函式等。另外，從理論上來說，通過assertion方式可以證明程式的正確性，但是這是一項相當複雜的工作，目前還沒有太多的實踐意義。

　　在實現中，assertion就是在程式中的一條語句，它對一個boolean表示式進行檢查，一個正確程式必須保證這個boolean表示式的值為true;如果該值為false，說明程式已經處於不正確的狀態下，

　　1.1) 語法表示

　　在語法上，為了支援assertion，Java增加了一個關鍵字assert。它包括兩種表示式，分別如下：

　　assert expression1;

　　assert expression1: expression2;

　　在兩種表示式中，expression1表示一個boolean表示式，expression2表示一個基本型別或者是一個物件(Object) ，基本型別包括boolean,char,double,float,int和long。由於所有類都為Object的子類，因此這個引數可以用於所有物件。

　　1、assert

　　如果為true，則程式繼續執行。

　　如果為false，則程式丟擲AssertionError，並終止執行。

　　2、assert : <錯誤資訊表示式>

　　如果為true，則程式繼續執行。

　　如果為false，則程式丟擲java.lang.AssertionError，並輸出<錯誤資訊表示式>。

　　1.2) 語義含義

　　在執行時，如果關閉了assertion功能，這些語句將不起任何作用。如果打開了assertion功能，那麼expression1的值將被計算，如果它的值為false，該語句強丟擲一個AssertionError物件。如果assertion語句包括expression2引數，程式將計算出expression2的結果，然後將這個結果作為AssertionError的建構函式的引數，來建立AssertionError物件，並丟擲該物件;如果expression1值為true，expression2將不被計算。

　　一種特殊情況是，如果在計算表示式時，表示式本身丟擲Exception，那麼assert將停止執行，而丟擲這個Exception。

　　1.3) 一些assertion例子

　　下面是一些Assert的例子。

　　assert　　0 < value;

　　assert　　0 < value:"value="+value;

　　assert　　ref != null:"ref doesn''t equal null";

　　assert　　isBalanced();

　　1.4) 編譯

　　由於assert是一個新關鍵字，使用老版本的JDK是無法編譯帶有assert的源程式。因此，我們必須使用JDK1.4(或者更新)的Java編譯器，在使用Javac命令時，我們必須加上-source 1.4作為引數。-source 1.4表示使用JDK 1.4版本的方式來編譯原始碼，否則編譯就不能通過，因為預設的Javac編譯器使用JDK1.3的語法規則。

　　一個簡單的例子如下：

　　javac -source 1.4 test.java

　　1.5) 執行

　　由於帶有assert語句的程式執行時，使用了新的ClassLoader和Class類，因此，這種程式必須在JDK1.4(或者更高版本)的JRE下執行，而不能在老版本的JRE下執行。

　　由於我們可以選擇開啟assertion功能，或者不開啟，另外我們還可以開啟一部分類或包的assertion功能，所以執行選項變得有些複雜。通過這些選項，我們可以過濾所有我們不關心的類，只選擇我們關心的類或包來觀察。下面介紹兩類引數：

　　引數 -esa和 -dsa：

　　它們含義為開啟(關閉)系統類的assertion功能。由於新版本的Java的系統類中，也使了assertion語句，因此如果使用者需要觀察它們的執行情況，就需要開啟系統類的assertion功能 ，我們可使用-esa引數開啟，使用 -dsa引數關閉。 -esa和-dsa的全名為-enablesystemassertions和-disenablesystemassertions，全名和縮寫名有同樣的功能。

　　引數 -ea和 -ea：

　　它們含義為開啟(關閉)使用者類的assertion功能：通過這個引數，使用者可以開啟某些類或包的assertion功能，同樣使用者也可以關閉某些類和包的assertion功能。開啟assertion功能引數為-ea;如果不帶任何引數，表示開啟所有使用者類;如果帶有包名稱或者類名稱，表示開啟這些類或包;如果包名稱後面跟有三個點，代表這個包及其子包;如果只有三個點，代表無名包。關閉assertion功能引數為-da，使用方法與-ea類似。

　　-ea和-da的全名為-enableassertions和-disenableassertions，全名和縮寫名有同樣的功能。

　　下面表格表示了引數及其含義，並有例子說明如何使用。

　　引數 例子 說明

　　-ea java -ea 開啟所有使用者類的assertion

　　-da java -da 關閉所有使用者類的assertion

　　-ea: java -ea:MyClass1 開啟MyClass1的assertion

　　-da: java -da: MyClass1 關閉MyClass1的assertion

　　-ea: java -ea:pkg1 開啟pkg1包的assertion

　　-da: java -da:pkg1 關閉pkg1包的assertion

　　-ea:... java -ea:... 開啟預設包(無名包)的assertion

　　-da:... java -da:... 關閉預設包(無名包)的assertion

　　-ea:... java -ea:pkg1... 開啟pkg1包和其子包的assertion

　　-da:... java -da:pkg1... 關閉pkg1包和其子包的assertion

　　-esa java -esa 開啟系統類的assertion

　　-dsa java -dsa 關閉系統類的assertion

      1.6)說明

       assertion為開發人員提供了一種靈活地除錯和測試機制，它的使用也非常簡單、方便。

      1.7) MyEclipse中用法

       測試程式碼：
    
    設定執行引數：
    
    即可。