最病 cOntracts 口契约就是“规范和检查”! 口 Precondition:针对 method,它规定了在调用该方法 之前必须为真的条件 口 Postcondition:针对 method,它规定了方法顺利执行 完毕之后必须为真的条件 variant:针对整个类,它规定了该类任何实例调 用任何方法都必须为真的条件 Institute of Computer Software 2021/1/30 Nanjing UniversityContracts  契约就是“规范和检查”！  Precondition：针对method，它规定了在调用该方法 之前必须为真的条件  Postcondition：针对method，它规定了方法顺利执行 完毕之后必须为真的条件  Invariant：针对整个类，它规定了该类任何实例调 用任何方法都必须为真的条件 2021/1/30 Institute of Computer Software Nanjing University 13