To verify that certain conditions exist either before or after you execute a method

• 验证特定条件在执行方法之前或之后存在