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