code-contracts

2熱

1答えて

コード契約の「静的チェック」オプションには、「外部APIに楽観的」というオプションがあります。。私はこのオプションが何をしているのかに関するドキュメンテーションを見つけることができません。分析計の動作にどのような影響を及ぼしますか？

1熱

1答えて

を縮小し、実行時に次のコードスニペット Contract.Requires<CustomException>(arg !=null) を検討し、次のコードでは、タイプCustomExceptionの例外をスローします。コード契約では、Activatorを使用してCustomExceptionのインスタンスを作成するか、それをどのように使用するのですか？私は別の目的のために私のコードでも同様のも

1熱

1答えて

.NETコード契約 - ProjectB.Contracts.dllが両方とも同じソリューションにある場合、ProjectB.Contracts.dllが見つかりません

コードコントラクトエクステンションがインストールされたVS2013にC＃ソリューションがあります。私のソリューションでは、アプリケーションプロジェクト（ProjectA）とクラスライブラリプロジェクト（ProjectB）があります。 ProjectAはProjectBを参照し、ProjectBのパブリックメンバーの大部分は、それらに関連付けられた契約をしています。私は問題なくPROJECTAから

0熱

2答えて

Dのフィールドの古い値の事後条件を確認するにはどうしたらいいですか？

C＃では、フィールドがどのように変更されたかを確認するために、後の条件でContract.OldValue<T>を使用できます。私はDでこれをどのようにすることができますか？私はドキュメントでthe relevant pageを読みましたが、これは言及していません。具体的には、私はページレンダラーを作成していて、メンバー変数にあるページまでの距離を把握しています。 outブロック内で、変数の値が

12熱

1答えて

Pub/Sub RabbitMQの自動ドキュメンテーション/契約生成

RESTの世界では、RESTインタフェース境界（クライアントとサーバの間の契約）を完全に記述するSwagger仕様のようなものがあります。これらのSwagger仕様は、RESTクライアントの自動生成に使用できますが、REST APIコンシューマ用のドキュメントを自動的に生成するためにも使用できます。さらに、これらのSwagger仕様は、貴重な資産です。 CIとAPIのバージョン管理。同様のソリュ

0熱

1答えて

Contract.Ensuresメソッドの不正な契約セクション

次のコードで、このビルドエラー "メソッドの不正な契約セクション..."が表示されるのはなぜですか？ Contract呼び出しのほとんどと同様に List<int> MatrizesCorrelacao; public string lsMatrizes { get { if (TudoDataUnica == true) {

1熱

2答えて

Visual Studio 2015コード契約が正しく更新されない

私は非常に迷惑な問題があります。私はアップデート3でVisual Studio 2015 Enterpriseをインストールしました。注目すべき重要な点は、C：\ Program Files ...ではなくD：\ Program Files ...にインストールされていることです。 "1.9.10714.2"というVisual Studio Galleryから最新のコード契約をインストールしまし

1熱

2答えて

契約表示メッセージを表示しないのはなぜですか？

私はメソッドの最初の行として、次います Contract.Requires(param1 != null, "param1 can't be null"); のparam1がnullになると、何も起こらないと契約以下のコードを実行し続けます。メッセージを表示するために何か他のものが必要ですか？

0熱

1答えて

異なるプロジェクトでのコード契約

私は、ライブラリを生成する契約（プロジェクトA）と、そのライブラリからインタフェースを実装するもう1つ（プロジェクトB）のプロジェクトを持っています。プロジェクトAからプロジェクトBに契約ファイルをコピーしようとしましたが、契約は問題なく実行時に起動します。しかし、私はプロジェクトBからプロジェクトAを参照しようとしています。スタティックアナライザはまだ動作していますが、ランタイムチェックはもは

2熱

1答えて

静的チェッカーを証明していないパラメータ=私はコードの契約について学んだ

nullが、私は次のことを行うことができます仮定しました。しかし私は警告を受けません。は、その後、私は私がこれを行うとき、私は、少なくとも警告を受けるかもしれないと思った： public void ContractTestCallerCaller() { this.ContractTestCaller(null); } しかし、再び、何もありません。私が何か間違ったことをやって