.net - 单声道代码契约(Contract)?

标签 .net mono code-contracts

单声道支持Code Contracts吗? IE。如果我建立一个类库,单用户可以使用我的程序集吗?

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

最佳答案

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

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

关于.net - 单声道代码契约(Contract)?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/6483055/

相关文章:

c# - 为 REST 对象生成契约

c# - 有代码契约(Contract)时是否需要单元测试?

c# - 防止为 EF6 中的特定实体生成表

c# - .NET 库中是否有 Month 的预定义枚举?

c# - 当我们设置掩码时,有什么方法可以删除 MASKEDTEXTBOX 字段中显示的行吗?

C# Mono - 属性名称

c# - Monodroid 在 Intent 中传递 int[]

c# - 在 Linux/Mono 上运行的 FTDI D2XX C# .NET Wrapper - SetEventNotification 被触发似乎使程序崩溃

JavaScript 代码契约库?

c# - TFS:获取锁定文件的用户名