contract

0熱

1答えて

次のように私は私のイーサリアム契約で定義されたマッピングを持って mapping (string => string) client; 私はこのマッピングにクライアントを追加しようとしているが、私は追加する前に、私はチェックしたいされた機能を持っていますitemがすでに存在する場合。私がアイテムのインデックスを取得する方法はありますか？「価値があればこのマッピングのアイテムのインデックスを取得

2熱

1答えて

Spring Frameworkを使用しないSpringクラウド契約テスト

Spring Cloud契約だけでなく、他のフレームワークとSpring Cloud契約を使用できるかどうかを知りたいですか？ Spring Cloud Contractをテストしたい別のフレームワークの例はKumuluzEEです。

1熱

1答えて

Ethereum ERC 20スマートコントラクトからのトークンの送信

タイトルが示唆しているように、ERC20スマート契約アドレスからトークンを送信することは可能ですか？実用的な説明： noobはいくつかの指示を誤解し、スマート契約アドレスerc20に代わり、いくつかのトークンを自分のアドレスに送信します。トークンのプログラマーがこれらのトークンを回復することは可能ですか、または手が "結ば"れていて、もはやそのトークンにアクセスできない人はいませんか？

1熱

1答えて

他の契約から関数を呼び出すsolidity

Maker契約からTaker契約の新しいインスタンスを作成しようとしています。は、その後、私はそれが「チェンジ」と呼ばれる機能を見つけて、エラーをスローすることはできませんしかしテイカー契約 maker.change.value(5)(y); からメーカー契約に戻って値を送信したいと思います。私が考えることができる唯一の可能な説明は、非同期に実行する必要があるが、同時にコンパイルされるという

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))))) は、再帰的な契約をする同様の方法はあります

-4熱

1答えて

WCFサービス - 複数契約の実装

私のチームは、REST API WCFシステムのリファクタリングを現在のアーキテクチャとしては不十分であることを目指しています。既存のWCFサービスを、アプリケーションの実際のビジネスコンテキストを表すモジュールに分割したいと考えています。 1つのサービス（単一の.svcファイル）は、契約インタフェースの実装を1つしか持てないことがわかっている限り、いくつかの契約がありますが、すべて同じ単一クラス

0熱

1答えて

Laravelに複数のリポジトリが必要なクラスを使用するファサードを作成するにはどうすればよいですか？

私はLaravelをほぼ1年間使用していますが、私は自分のパッケージを作成し、契約書、リポジトリ、ファサードなどを使用することに非常に新しいです。サービスプロバイダに正面ファサードを正しく登録しているかどうかを知る上で問題があります。ここでコンテキストが（これはあまりにも複雑取得しないように、私はそれらを含めておりません名前空間と輸入が正しく行われていると仮定）である：私はAdminServi

0熱

1答えて

Odoo 8 - 請求書を自動的に作成

私たちはOdoo 8でこのアプリケーションを楽しんでいます。すべての顧客に対して自動的に請求書を作成したいと考えています。契約を作成してもうまく動作しますが、「請求書の生成」をクリックする必要があり、請求書が作成されます。これらの2つの問題については、ウェブ上でまだ解決策が見つかりませんでした。ソリューションをご存知ですか？

0熱

2答えて

畳んだラケット契約の目的は何ですか？

私はラケットガイドを歩くと、ちょうどこのページ仕上がっています： https://docs.racket-lang.org/guide/contracts-first.html を生じた契約は、私は私の目を信じることができなかったほど複雑である： (provide (contract-out [argmax (->i ([f (-> any/c real?)] [lov (a