code合同单？ [英] Code Contracts for mono?

问题描述

单是否支持 code合同的？即如果我建立一个类库，可以单声道用户使用我的组装？

Does mono support Code Contracts? I.e. if I build a class library, can mono users use my assembly?

如果不是，是否有任何其他图书馆？ preferably支持静态分析（通过插件或Visual Studio类似）

If not, are there any alternative libraries? Preferably supporting static analysis (through a plugin or similar in visual studio)

推荐答案

按照兼容性网站的Monos code合同的API完成，但模具尚未完成。

According to the compatability website, Monos Code Contracts API is done but the tooling is not yet complete.

修改：单声道（2.8）的最新版本只支持Contract.Requires电话，你不得不重写你code与ccrewrite，的链接。

EDIT: The newest version of Mono (2.8) only supports Contract.Requires calls and you have to rewrite you code with ccrewrite, link.

这篇关于code合同单？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！