logo
  • 教程列表
  • SO官方文档
  • 代码契约
    • 后置条件
    • 不变
    • 在接口上定义合同
    • 前提条件
  1. StackOverflow 文档
  2. C# Language 教程
  3. 代码契约
  4. 后置条件

后置条件

Created: November-22, 2018

public double GetPaymentsTotal(string name)
{     
    Contract.Ensures(Contract.Result<double>() >= 0);
 
    double total = 0.0;
 
    foreach (var payment in this._payments) {
        if (string.Equals(payment.Name, name)) {
            total += payment.Amount;
        }
    }
 
    return total;
}
  • 不变
  • 代码契约

Copyright © 2018. All right reserved

tastones.com 备案号:鲁ICP备18045372号-1

  • 关于我们
  • 免责声明