单声道代码合同？

Question

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

如果没有，是否有其他库？优选地支持静态分析（通过视觉工作室中的插件或类似物）

Answer 1

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

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