问题标签 [contracts]

我想在单独的模块中编写 WCF 服务库

1. 合同（IServices）的一个模块（类库）。
2. 合同实施（服务）的一个模块（类库）。
3. 一个用于配置（托管）服务的模块（参考上述 2 个模块的 WCF 服务库）。- 它只包含 app.config。

当我开始运行解决方案时，我收到以下错误。“元数据丢失”

在配置文件中，我以下列方式指定了端点信息

谢谢，

您好，每次在网页上输入时，我都会在服务器控制台中收到以下信息：f:view contracts attribute found, but not used at top level.

我正在使用 jsf 模板，并且我有一个这样的 default.xhtml 模板文件：

我有以下合同目录：

-src/main/webapp/contracts/default/common/css/main.css

而在实际页面中：index.xhtml

合同有效，因为当我将合同值从默认更改为说替代，在替代文件夹中有另一个 main.css 时，页面会进行更改并显示替代样式。我在正确的位置使用 f:view 吗？

谢谢

我在看番石榴的Preconditions。如果您在实现方法中使用它们很好，但是可以使用它们来声明接口契约吗？

例如，在 C# 合同中，您可以这样做 -

在番石榴中有这样的可能吗？如果没有，是否还有另一个 java 库呢？

我一直在阅读 Racket Guide 中的 Contracts。

该->i构造允许对函数的输入/输出施加任意约束。

例如，我可以有一个unzip函数，它接受一个对列表并返回两个列表。使用合同，我可以确认 in-list 的每个元素都是一对，并且 out-lists 具有相应的元素。

球拍指南暗示这是合同有用的时候。但似乎在函数本身内部这样做会更好。如果遇到非对，我可能会抛出错误，这将检查列表中的内容。通过具有正确的功能自动检查输出。

什么是通过比简单类型更复杂的合约以某种方式改进代码的具体示例？

假设我们与合约类有如下接口

实现就像

throw new ArgumentNullException将in 构造函数替换为Contract.Requires(obj != null).

合同应该由接口定义，并且由于构造函数是实现的一部分而不是接口，因此我倾向于当前的方法。这是一个好习惯吗？

在 clojure 我正在使用 :pre 像这样

这很好，但它没有解释为什么传入空集合没有意义的商业原因。（或者一个包含五个以上元素的集合，或者一个存在两个键但没有另一个键的集合，或者任何一天的规则。）如果前置条件使用私有函数，这可能会让用户更加困惑。

在使用 :pre 和 :post 时，有没有办法向用户提供更有用的反馈，例如错误消息？

using (ServiceHost host = new ServiceHost(typeof(HelloService.HelloService)))请帮助在下面的代码中获取异常

例外：只有绝对 URI 可以用作基地址

WCF 主机应用程序

合同执行

合同

应用程序配置

我们有内部部署的 CRM 2011。在 WCF 服务 (C#) 中，我以编程方式创建合同和合同详细信息。创建合同后，我使用以下代码设置其 State = 'Invoiced'：

这个过程曾经有效，但有时现在我得到这个错误，就像我今天所做的那样：

“System.ServiceModel.FaultException`1[Microsoft.Xrm.Sdk.OrganizationServiceFault]：状态无效，此合同不能设置为发票状态。（故障详细信息等于 Microsoft.Xrm.Sdk.OrganizationServiceFault）。”

执行此代码段（今天失败）时的合同状态是“草稿”。

此合同有子合同详细信息，其 ActiveOn 日期为 2015 年 6 月 1 日，因此它应该已激活 - 确实如此。所以我不理解错误或我需要做些什么来防止它。

感谢所有帮助和建议。

我认为能够为开始菜单提供搜索扩展是一个好主意（例如，在开始菜单中输入也可以搜索网站上的文章）。这就是 Windows 10 搜索合同的用途吗？从他们的 API 文档看来，合同似乎是用于 App 到 App 的交互。

我目前正在对Maximo. 我的问题如下。

如何将合同状态更改为已过期Maximo？

我们目前正在使用版本7.508和7.602.

从我目前发现的情况来看，这可能只能通过升级来完成，但如果有人能启发我另一种方法，那就太好了。我希望一旦当前日期超过到期日期，合同会自动更改为到期状态，但没有这样的运气。