assert(断言)

前置条件是采用你自己的语言尽量简洁地表达的，描述的是方法在什么情况下可以被调用，并且能够得到正确的结果。理想情况下，前提条件表示程序的状态，这些状态通常会映射到传递给例程的参数中。如果一个程序没有前提条件，说明该程序在任何情况下调用都不会出错。
后置条件描述的是，在前提条件满足的前提下，例程运行完后程序的状态。每个例程都应该有后置条件。如果没有后置条件，则例程不会改变程序的状态，即例程没有起到任何作用。因此一定要提供后置条件。

断言有两种形式：
assert Expression1;
assert Expression1:Expression2;
其中Expression1应该永远都是Boolean值，Expression2是断言失败是抛出的错误信息。

例如：

public class AssertTest {

	/**
	 * @param args
	 */
	public static void main(String[] args) {
		// TODO Auto-generated method stub
		int x = 10;
		System.out.println("测试x==100");
		assert x==100:"out assertion fail";
		System.out.println("assertion pass");
	}


}

[size=large]直接编译运行：[/size]
javac AssertTest.java
java AssertTest

[size=large]运行结果：[/size]
测试x==100
assertion pass

这是因为断言默认是关闭的，在运行时要先打开断言，要使用-ea参数

[size=large]编译及运行：[/size]
javac AssertTest.java
java -ea AssertTest

[size=large]运行结果：[/size]
测试x==100
Exception in thread "main" java.lang.AssertionError: out assertion fail
at AssertTest.main(AssertTest.java:11)