单声道的代码合同？

【问题标题】：Code Contracts for mono?单声道的代码合同？
【发布时间】：2020-03-20 20:28:38
【问题描述】：

单声道是否支持Code Contracts？ IE。如果我构建一个类库，单声道用户可以使用我的程序集吗？

如果没有，是否有任何替代库？最好支持静态分析（通过插件或 Visual Studio 中的类似工具）

【问题讨论】：

【解决方案1】：

根据compatability website，Monos Code Contracts API 已完成，但工具尚未完成。

编辑：最新版本的 Mono (2.8) 仅支持 Contract.Requires 调用，您必须使用 ccrewrite 重写代码，link。

【讨论】：

Google SoC 2011 和 2012 有额外的开发。2.11.4 预览版似乎包含此代码：tirania.org/blog/archive/2012/Oct-02.html
那个链接让我进入一个索引页面。