单声道代码合同？

Question

mono支持Code Contracts吗？即如果我构建一个类库,单声道用户可以使用我的程序集吗？

如果没有,有没有其他库？最好支持静态分析(通过Visual Studio中的插件或类似工具)

Answer 1

根据兼容性网站，Monos Code Contracts API 已完成，但工具尚未完成。

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