摘要: 一.代码协定 1.前提条件 Contract.Requires(bool) .EndContractBlock();用于兼容旧if判断代码 2.后置条件 .Ensures(bool) .Result() 返回值 .OldValue(x)返回参数的原始值 .ValueAtResult(out x)返回out参数的值 3.集合检查 .Exists()任一项满足条件 .ForA... 阅读全文
posted @ 2014-11-03 18:19 诺贝尔 阅读(545) 评论(0) 推荐(0) 编辑