contract

1热度

1回答

正如标题所示 - 是否可以从ERC20智能合同地址发送代币，还是该代码单元无法访问？实用说明：一个noob会误解某些指令，并将一些令牌发送到他的地址，以发送到智能合同地址erc20。这些令牌的程序员是否有可能恢复这些令牌，或者他们的手是“捆绑”的，而且没有人可以使用这些令牌了？

1热度

1回答

只关心返回值的函数契约？

假设以下琐碎的功能： (define/contract (foo func) (-> (-> any/c ... any/c) #t) #t) 这是试图（和失败）表达的想法“富需要一个处理器功能我不在乎（这是调用程序作业）处理器需要什么论点，但处理器必须返回一个单一的结果。“ foo的正确合同是什么？我已经完成了关于职能合同的章节。以上是我第一次的猜测，但这种失败： (fo

0热度

1回答

如何为非空哈希表制作合同

球拍有non-empty-listof合同，但没有non-empty-hashof合同。有没有办法建立一个？

0热度

1回答

喜欢类型化球拍的递归合同“建议”型

类型化球拍的Rec类型是一种简单的方法来进行递归类型： #lang typed/racket/base (define (deep (n : Integer)) : (Rec T (U Integer (List T))) (if (zero? n) n (list (deep (- n 1))))) 有没有类似的方法，使一个递归合同？球拍的recursiv

-4热度

1回答

WCF服务 - 多个合同执行

我的团队旨在执行我们的REST API WCF系统的重构，因为当前体系结构不足。我们希望将现有的WCF服务划分为代表应用程序实际业务环境的模块。据我所知，一个单一的服务（意味着一个单一的.svc文件）只能有一个契约接口的实现 - 可以有多个契约，但它们必须全部由同一个类来实现。重构背后的想法是将现有的WCF分成负责特定业务上下文的功能块（模块），并将它们中的每一个作为不是WCF服务的普通.dl

1热度

1回答

MessageQueue的契约：MessageQueues情况下的样本提供程序测试

我已经通过参考pact repo中给出的示例示例编写了MessageProvider的样本Pact测试。以下是正在生成用于提供者期望的消息的PACT json文件的消费者测试。在API的情况下，为了验证PACT，我可以使用“pact-jvm-provider-maven”插件来完成此操作。在这种情况下，PACT将根据提供商的实际托管API服务进行验证。我的问题是，如何在MessageQueue

0热度

1回答

Odoo 8 - 创建自动打开发票

我们正在开发Odoo 8，享受这个应用程序。我们希望为每个客户自动创建开票。我们创建合同，它运作良好，但我们仍然必须点击“生成发票”，它会创建草稿发票。对于这两个问题，我们在网上找不到任何解决方案。您是否知道解决方案？

1热度

2回答

微服务合同的自动化测试？

假设我们有一个CreditCardService微服务，它依赖于使用JSON进行通信的ThreeDSecureService微服务。 ThreeDSecureService的API（或甚至实施）的微小变化可能会悄悄地破坏CreditCardService（和其他潜在客户端）。所以，我们希望自动化测试。我看到两个有缺陷的方法，并且想知道如何改进。在ThreeDSecureService.Test

0热度

2回答

Java合同检查 - 内置？例如。哈希码/等于

Java中是否有任何内置合同检查对于hashcode和equals函数之间的契约？对于这个问题，让我们坚持以hashcode/equals合同为例，但我一般感兴趣的是合同检查。我曾在多个地方读取equals和hashCode必须满足Java中的“合同”：的Equals必须遵循的equivalence relation的三个规则，也必须是在重复调用一致相等对象意味着等于哈希码我了解条件，而且

1热度

1回答

Solidity：合同调用另一个合同和地址是不同的，为什么？

我有一个实例化和调用另一个合同的包装合同，而且我的测试用例说所有者（msg.sender）不匹配。为什么？合同甲 pragma solidity ^0.4.4; contract A { address public owner; function A() { owner = msg.sender; } function create