問題タブ [contracts]

クラスにプライベート静的読み取り専用フィールドがあります。

For issue #1 I used a null coalescing operator to default to some magic string and that fixed it, but I don't really like that solution. I was hoping there was a better solution.

For issue #2 the only thing I can think of is using a Contract.Assumes because if I attempt to use Contract.Requires(MyDirectory.Exists || !String.IsNullOrEmpty(MyDirectory.FullName)); it complains about visibility (private field used in a requires on a protected method).

D の関数を "in" コントラクトでオーバーライドすると、継承された "in" コントラクトがチェックされます。それらが失敗した場合、オーバーライドされた「in」コントラクトがチェックされます。コントラクトに何も指定しない場合、空の「イン」コントラクトがあるかのように解釈されます。したがって、次のコードは正常にコンパイルおよび実行されます。

コンパイラが正しく実行するのに十分であることが静的にわかっているため、呼び出すときに前提条件のみI.write()をチェックする必要があります。動的ディスパッチ後にすべての前提条件をチェックすると、カプセル化が失われるため、オブジェクト指向の観点から奇妙に思えます。i.write()I.write()

前提条件を繰り返したりin { assert( false ); }、インターフェイスを実装するすべてのクラスに記述したりできますが、それは面倒です。D言語の設計ミスですか？または、それを行うための適切なスケーラブルな方法はありますか?

クラス メソッドの JML 事後条件に、別のメソッド呼び出しへの呼び出しを含めることができますか

たとえば、私はこのクラスを持っています:

doB の事後条件については、次のものを使用できensures doA(x) = doA(y)ます。

おそらく、もっと検索または調査する必要があります。しかし、最初に皆さんに質問することを考えました.. WindowsでホストされているWCFサービスがいくつかあり、クライアント側にはこれらすべてのサービス契約を持つプロキシがあります。私のアプリケーションはそれらを消費しており、うまく機能しています。ここで、サービスのエンドポイント/他の何かを指定した場合に、各コントラクトから操作のリストを取得できる方法があるかどうかを知りたいと思いました。

エンドパイント

プロキシー

サービス コントラクト内の操作のリストを取得するメソッドが必要です...この場合、List opeartions = SendEcho(); どうすればこのポイントを取得できますか?

マイクロソフトのサイトで違いを調べましたが、実際には違いがわかりません。ウェブサイトへのリンクは以下のとおりです

• Contracts.Ensures
• Contract.Requires

追加の説明は素晴らしいでしょう

ビジュアル スタジオ c# の使用

ラケット契約は、フラット契約、シャペロン契約、なりすまし契約の3 つのカテゴリに分類されます。

Impersonator コントラクトの場合、私が見つけた唯一の例は、パラメトリック ポリモーフィズムのコントラクトです。これら以外の例はありますか？

私は、C# でコントラクトを使用してコーディングを開始しました。以下のプロパティをC#で表現したい

つまり、2 つのタプルの最初の要素が同じ場合、2 番目の要素も同じでなければなりません。

ここでの問題は、(e1,e2) => ... が 2 つの引数のために有効な式ではないことです。e1とe2の両方でこの契約を表現する方法はありますか? あるいはどう書き直すか。