后置条件表示
Post-conditional representation
以上为机器翻译结果，长、整句建议使用 人工翻译 。
当方法结束时，后置条件表示其结果需要满足的契约。
Postconditions are contracts to be met when a methods ends, and are specified with Contract.Ensures() as in the next example
youdao
后置条件测试通常用方法返回值的断言来表示。
Postconditions are often expressed as assertions about method return values.
应用推荐
模块上移
模块下移
不移动