程序员经验分享-hwhale

单声道的代码合同？

2024-01-29

单声道支持吗代码合约 http://msdn.microsoft.com/en-us/devlabs/dd491992？ IE。如果我构建一个类库，单声道用户可以使用我的程序集吗？

如果没有，有其他库吗？最好支持静态分析（通过 Visual Studio 中的插件或类似插件）


根据兼容性网站 http://www.mono-project.com/Compatibility, Monos Code Contracts API 已完成，但工具尚未完成。

EDIT：最新版本的 Mono (2.8) 仅支持 Contract.Requires 调用，您必须使用 ccrewrite 重写代码，link https://www.mono-project.com/docs/about-mono/releases/2.8.0/#codecontracts.

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

NET

MONO

codecontracts

单声道的代码合同？ 的相关文章

  • C# Julian 日期解析器

    我在电子表格中有一个单元格 它是 Excel 中的日期对象 但当它来自 C1 的 xls 类时 它会变成双精度型 类似于 2009 年 1 月 7 日的 39820 0 我读到这是儒略日期格式 有人可以告诉我如何在 C 中将其解析回 Dat

  • 如何在没有 Visual Studio 的情况下将新文件添加到 .csproj 文件

    如何添加新文件到 csproj从命令提示符 我认为没有任何工具可以响应命令行上的 add project 命令来执行此操作 但我认为您可以幸运地创建一个程序 脚本来直接操作 csproj 文件的 XML 内容 csproj 文件的结构如下所

  • 有谁知道一种更快的方法来执行 String.Split() 吗？

    我正在读取 CSV 文件的每一行 并且需要获取每一列中的各个值 所以现在我只是使用 values line Split delimiter where line是保存由分隔符分隔的值的字符串 衡量我的表现ReadNextRow我注意到它花费

  • 找不到 Microsoft.Office.Interop Visual Studio

    我正在开发一个使用 C 发送电子邮件的应用程序 该应用程序将能够使用邮件模板等 问题是我无法找到任何 Office Interop 引用 这意味着我无法使用 Outlook 我的计算机上安装了 Office 但我也尝试从此链接安装 PIAh

  • 设置 Form.KeyPreview = true 的缺点？

    我想知道 Form KeyPreview 属性实际上有什么用处 它为什么存在以及将其设置为 true 会带来什么 风险 我想它一定有some负面影响 否则它根本不应该存在 或者至少默认情况下是正确的 EDIT 我很清楚what确实如此 我问

  • 在 C# 中使用通配符解析相对路径

    在 C 中 如果我有一个目录路径和一个带通配符的相对文件路径 例如 c foo bar and blah cpp 有没有一种简单的方法来获取绝对文件路径列表 例如 c foo blah a cpp c foo blah b cpp 背景 有

  • C# - 方法必须有返回类型

    我在调用 C 中的方法时遇到问题 不断收到消息 方法 计算 必须有返回类型 using System Diagnostics namespace WindowsFormsApplication1 public partial class F

  • .NET“默认行终止符”？

    有什么方法可以弄清楚 NET 使用什么作为其 默认行终止符 例如 StringBuilder AppendLine String 的文档表示 附加指定字符串的副本 后跟默认行终止符 NET 中的几个与文本相关的类引用相同的概念 有什么方法可

  • 如何在 Android 中使用 C# 生成的 RSA 公钥？

    我想在无法假定 HTTPS 可用的情况下确保 Android 应用程序和 C ASP NET 服务器之间的消息隐私 我想使用 RSA 来加密 Android 设备首次联系服务器时传输的对称密钥 RSA密钥对已在服务器上生成 私钥保存在服务器

  • 如何根据给定的点生成热图

    我想生成 Windows 形式的热图 我有一组点作为输入 如何以最简单的方式做到这一点 谢谢 基于此处已有的答案 此方法允许您指定Colors您希望用作最大和最小颜色 private Color HeatMapColor double va

  • 如何在完成之前从 ReplaySubject 获取最新值

    我需要一种方法来获取添加到 ReplaySubject 中符合特定条件的最新项目 下面的示例代码完成了我需要它做的事情 但感觉不是正确的方法 static void Main string args var o new ReplaySubj

  • 抛出并保留堆栈跟踪不符合代码分析所描述的预期

    进行代码分析给了我项目 CA2200 CA2200 重新抛出以保留堆栈详细信息 func 重新抛出捕获的异常并将其显式指定为参数 请改用不带参数的 throw 以保留最初引发异常的堆栈位置 我已经实现了该建议 但无论如何我似乎都得到了相同的

  • 时间跨度格式[重复]

    这个问题在这里已经有答案了 当您将时间跨度声明为以下形式时 如何优雅地格式化时间跨度以表示 1 小时 10 分钟 TimeSpan t new TimeSpan 0 70 0 我当然知道你可以为此做一些简单的数学计算 但我有点希望 NET

  • 在 Azure DevOps 中为 Wix MSI 文件生成 GUID

    我正在为 Web 服务器应用程序和 Sitecore 前端应用程序设置 Wix 安装程序 我的问题并非特定于 Web 服务器或 Sitecore 我的问题是 Wix 以及如何使用它进行持续交付 1 Wix 需要每个文件和产品本身的 GUID

  • 家庭自动化图书馆[关闭]

    Closed 这个问题正在寻求书籍 工具 软件库等的推荐 不满足堆栈溢出指南 help closed questions 目前不接受答案 我是一名 C 开发人员 希望将家庭自动化作为一种 爱好 我做了一些研究 但想知道是否有人知道支持 In

  • 为什么 new String("Hello") 在 C# 中无效？

    制作背后的逻辑 原因是什么 String s new String Hello World 在 C 中非法 错误是 string String char 的最佳重载方法匹配有一些无效参数 我对 API 文档不感兴趣 我感兴趣的是为什么这是非

  • 比较已编译的 .NET 程序集？

    有没有什么好的程序可以与编译 NET 程序集进行比较 例如 我有 HelloWorld dll 1 0 0 0 和 HelloWorld dll 2 0 0 0 我想比较差异 我该怎么做 我知道我可以使用 NET Reflector 并使用

  • 在 JsonConverter 中递归调用 JsonSerializer

    我正在写一个JsonConverter要执行一些我需要在读 写时完成的转换任务 特别是 我采用现有的序列化行为 并在写入 读取时添加一些附加属性 在 的里面JsonConverter 我想利用通过的JsonSerializer实例来执行大部

  • 在 C#.NET 应用程序中使用 SQL Server 时间数据类型？

    如何使用 SQLtimeSQL Server 2008 中 C NET 中引入的数据类型 我一直在努力让它发挥作用 但没有成功 这是一个MSDN 文章 http msdn microsoft com en us library bb6751

  • 如何计算最低系统要求？

    对于我用 Visual C 编写的应用程序 Testing 不 真的 这就是全部

随机推荐

  • C++11 中 COW std::string 实现的合法性

    我的理解是 写时复制并不是实现一致性的可行方法 std string在 C 11 中 但当最近在讨论中出现时 我发现自己无法直接支持该声明 我是否正确 C 11 不承认基于 COW 的实现std string 如果是这样 这个限制是否在新标

  • ajax请求浏览器限制

    从一个更通用的问题开始 如果是 JSON 请求 ajax 请求的响应大小是否有限制 我通过 JSON 请求传递大量数据 并在 FF3 中遇到 脚本堆栈配额已耗尽 消息 现在 FF2 中的配额为 4mb 但 FF3 中的配额为 640kb 我

  • 在批处理中，如何在输入提示字符串的开头创建空格？

    假设我有一个批处理文件 其中包含 填充 并且我想缩进提示字符串的开头以供用户输入 如果我使用空格 则运行时不会显示它 它只是忽略空间 该脚本为例 echo off echo echo echo Hi echo Please input so

  • 如何从 boost 库中取出单个元素（例如共享指针）？

    我一直在尝试一些 Boost 组件 我认为在我正在从事的项目中直接需要的唯一一个是boost shared ptr 仅仅包含所需的文件会很困难吗 shared ptr 或者至少在我的项目中包含 Boost smart ptr 目录的文件 它

  • JVM 10 规范有差异吗？

    有谁知道是否有一个版本的 Java 10 和 JVM 10 规范与以前的版本有所不同 对于 Java 8 和 Java 9 存在带有差异的规范 否则很难看出到底发生了什么变化 关于Java 9和Java 10 18 3 的区别 可以下载 J

  • 如何使用react发送表单数据

    我有一个使用此方法的 webapi public async Task

  • 禁用seam的重定向过滤器

    我正在接缝中做一个需要静态 URL 的项目 我有一个映射到 group group locale 的视图 在该页面上我有一个所谓的消息列表 每条消息都有一个按钮 用于保存对消息的更改 这与一个动作 bean 相关联 如下所示

  • 安全的正则表达式来清理序列化的 DOM？

    我正在为 JavaScript 的 replace 方法寻找几种非常安全的正则表达式模式 输入是序列化的 DOM 字符串 我想删除所有 YUI3 classNames 和 YUI3 生成的 id 属性 var resourceDOMStr

  • low_memory 和 memory_map 标志在 pd.read_csv 中做什么

    的函数签名pandas read csv除其他外 还提供以下选项 read csv filepath or buffer low memory True memory map False iterator False chunksize N

  • 如何使用 C# 使键盘按钮消息文本与其 Telegram bot API 中的标题不同

    我需要我的机器人打印与其标题不同的消息 由电报客户端在键盘按钮元素上显示 我的自定义按钮有这样的文字 Where am I 当我点击它时 它会打印在屏幕上 Where am I 还 我想要打印按钮 location 与它不同的东西text

  • 在 iPython 中使用 HDF5 文件时出现异常“HDFStore 需要 PyTables”

    我对 Python 非常陌生 正在尝试使用 HDFStore 在 pandas 中创建一个表 如下所示 store HDFStore store h5 我得到例外 Exception Traceback most recent call l

  • 使用 Google Apps 脚本 API 访问其他用户

    我对此真的很困惑 我想使用 Gmail API 使用 google apps 脚本访问和发送另一个帐户中的邮件 我已在高级 Google 服务中启用 Gmail 并在控制台上启用 API 当我使用 me 值时 以下代码有效 但当我为另一个用

  • Jest/Typescript：在 jest 和 Typescript 中包含私有成员的模拟类依赖项

    上下文 我有依赖于类 A 的类 B 我想测试类 B 的方法 该方法在内部调用类 A 的方法 现在 我想通过模拟类 A 对类 B 的方法进行单元测试 Note 1 A 类有一些私有成员 Note 2 A类没有接口 这是我的代码结构 class

  • 错误：无法打开文件“Info.plist”，因为没有该文件

    我已将我的项目从另一台安装了最新 Xcode 的计算机上移走 但现在当我运行项目时它给我错误 Info plist 0 错误 读取数据 文件 Info plist 无法 打开 因为没有这样的文件 以前的项目运行没有问题 但现在在新系统项目上

  • Slick 3.0.0 自动增量复合键

    我有一个表结构如下 Table1 id Int name String version Int 该表相应的 Slick 表示形式为 class Table1 tag Tag extends Table Int String Int tag

  • 在表单之间翻转时如何保留表单的控制值

    需要两种形式才能输入特定交易的所有信息 我希望能够在这两个表单之间来回翻转 保留在每个表单上输入的内容 直到单击 保存 按钮 我想我应该能够使用 Form2 Show Me Hide 然后使用 Form1 Show Me Hide 我第一次

  • Delphi TThread.CurrentThread 和 EAccessViolation - 这是一个错误还是我的无能..？

    在 Delphi 2009 中 我发现每当我在应用程序中使用 TThread CurrentThread 时 应用程序关闭时我都会收到如下错误消息 Exception EAccessViolation in module ntdll dll

  • 努力解析（bash）时间命令

    我正在努力解析 bash 中 time 命令的输出 甚至在我调用它时阻止它打印输出 这是我的测试代码 bin bash TIME time ls lh gt dev null echo Testing echo TIME 目前打印出 bla

  • 列出具有重复项的并集

    我需要在 Python3 中合并两个列表 其中可以存在重复项 并且对于其中一组 结果列表将在两个列表中包含与 max 一样多的列表 一个示例可能会澄清这一点 1 2 2 5 some operator 2 5 5 5 9 1 2 2 5 5

  • 单声道的代码合同？

    单声道支持吗代码合约 http msdn microsoft com en us devlabs dd491992 IE 如果我构建一个类库 单声道用户可以使用我的程序集吗 如果没有 有其他库吗 最好支持静态分析 通过 Visual Stu

热门标签