提问人:RandomB 提问时间:12/25/2018 最后编辑:RandomB 更新时间:2/13/2019 访问量:300
如何在C#中启用合同?
How to enable Contracts in C#?
问:
我尝试将合同包含在我的项目中,例如:
public Segment Bounds() {
Contract.Ensures(segments.Length > 0, "Segments are not empty");
return new Segment(segments[0].a, segments.Last().b);
}
我收到错误(显示为消息框),告诉我应该安装CCRewrite。我在这里得到了它,安装了,但项目设置中的“合同”选项卡没有出现,我继续收到同样的错误。我正在使用 Visual Studio 2017 Community。是否可以将合同与此版本的 Visual Studio 一起使用?
答:
评论