Assertions represent boolean expressions that the programmer believes to be true at specific points in the program.

• 断言表示为一些布尔表达式,程序员相信在程序中的某个特定点该表达式的值为真。