断言

断言用于证明和测试程序的假设，比如“这里的值大于5”。
断言可以在运行时从代码中完全删除，所以对代码的运行速度没有影响

断言使用有两种方法：一种是assert<<布尔表达式>>; 另一种是assert<<布尔表达式>>:<<细节描述>>。
如果布尔表达式的值为false，将抛出AssertionError异常；细节描述是AssertionError异常的描述文本。

public static void main(String args[]){
int x=10;//x=9;
assert x==10:”Our assertion failed”;
System.out.println(“Test passed”);
}

由于断言是一项古老的技术，MyEclipese默认屏蔽断言，所以在使用断言时得先对MyEclipese进行调试，调试步骤如下：
打开任意一个java文件，在编辑框内右键，选择Run As,选择Run Config…,然后点击Java Application,选择当前类，会弹出一个VM arguments属性框，在属性框中填入 “-ea” ,表示允许断言。保存即可。
运行时屏蔽与允许断言：
屏蔽：java -disableassertions 或 java -da
允许：java -enableassertions 或 java -ea