6.6.1 Java断言的语法