本文介绍了code合同单?的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
单是否支持 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合同单?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持!