The idea is to put in boolean checks for certain conditions at various stages in the execution of the program.

• 这种思想是在程序执行的不同阶段置入某些条件的布尔检查。