code-contracts

7熱

2答えて

私はRESTが新しく、これはかなりシンプルであるように思えます。 .NETアプリケーションでは、WCFサービスへの参照を作成することができ、利用可能なすべてのタイプの契約が生成されます。今、Windows Phone 7アプリケーションでRESTサービスを使用しようとしています。私が私の電話をして適切な応答を返すことはできますが、各オブジェクトをデシリアライズするクラスを作成する簡単な方法はあり

5熱

1答えて

.NET 4コード契約： "要求されていない：ソース！= null"

私はちょうど私のプロジェクトでコード契約を使い始めました。しかし、Entity Frameworkを使用してデータベースにクエリを実行するリポジトリの実装に問題があります。私は、次の方法があります。 public IEnumerable<Organization> GetAllOrganizations() { return _uow.CreateSet<Party>().OfTyp

10熱

2答えて

コード契約、forallおよびカスタムenumerable

私はC＃4.0とCode Contractsを使用しています。私は自分のカスタムGameRoomCollection : IEnumerable<GameRoom>を持っています。 GameRoomCollectionのインスタンスには、nullの値要素が含まれないことを確実にしたいと思います。私はこれにできるとは思わない。一般的なルールを作る代わりに、私は単純で単純な例を試みました。 AllGa

1熱

2答えて

コード契約では、ループの検証が保証されていません

スタティックチェッカーが何を証明できないかを知るために、.Net Code Contracts（VS2010 Ultimate .Net 4）を使い始めました。私は、次の例にしようとしている： - public int Mult(int num1, int num2) { Contract.Requires(num2 >= 0); Contract.Ensure

5熱

1答えて

コード契約：IEnumerator <T> .GetEnumerator（）weirdは契約を継承していますか？

Code ContractsとCode Contracts Editor Extensions VS2010アドインを使用しています。私はIEnumerable<T>インターフェイスを実装するクラスを持っており、GetEnumerator()メソッドのイテレータブロックを実装しました。 GetEnumerator()がnullを返してはいけません、それは副作用を引き起こすことはありませんしなければ

4熱

1答えて

コード契約ビルドパフォーマンス

私の質問は非常に単純です：コード契約が有効になっていれば、ビルド時間が増えますか？

6熱

1答えて

コード契約をセキュリティに使用する必要がありますか？

ビジネスルールを実施するためにコード契約を使用しない理由はありますか？システムの1人のユーザーを表すUserクラスがあり、他のユーザーに対して実行できる操作を定義しているとします。あなたはこれらの2つの方法の長所と短所は何ですか public void ChangePassword(User requestingUser, string newPassword) { Contract

0熱

1答えて

契約は、私は証明されていない保証しますm個GUID

のための証明されていない保証します上記のコードのifといくつかのバリエーションの代わりに、しかしまだ警告、任意のアイデアを得るか？乾杯

4熱

3答えて

コードコントラクト私のコードで

をチェックし、私はこれは多くを行いますか？ nullが渡され、静的検査で捕捉されたかどうかを調べることに興味があります。私はnullが、私は機能のうちに終了したい生産のために、私たちのテストの間で渡された場合、契約の例外がスローされたに興味があります。コード契約でこれを行うことはできますか？これはコード契約には適していますか？

0熱

1答えて

CodeContracts：null参照 'this.Master'のメソッドを呼び出す可能性があります

基本的なマスターページとコンテンツページがあり、コンテンツページのマスターページのプロパティまたはメソッドを使用する場合は、 string something = this.Master.MasterPageFile; コードコントラクト静的解析は、と文句を言うでしょう： warning : CodeContracts: Possibly calling a method on a null