断言函数-AssertFailed异常-msg

当predicate的结果为false的时候，断言函数会抛出AssertFailed异常，可选的错误信息为msg。可以使用java.util.Date返回当前日期对象，也能够返回介于[0, 1)之间的double类型随机数和介于[0, n)之间的long类型随机数。比较函数能够比较x和y的大小，返回整数，0表示相等，1表示x > y，负数表示x < y。此外，可以打印对象，如果指定out输出流，则输出到out中，否则默认输出到标准输出。