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

Question

私はメソッドの最初の行として、次います

Contract.Requires(param1 != null, "param1 can't be null"); 

のparam1がnullになると、何も起こらないと契約以下のコードを実行し続けます。メッセージを表示するために何か他のものが必要ですか？

Answer 1

あなたは、あなたのプロジェクトのプロパティ（ソリューションエクスプローラでプロジェクトに検査を設定する必要があります - > [プロパティ] - >コードの契約と、静的チェックとランタイムチェックの設定を定義する

未確認の呼び出しは、紫色で下線が引かれます。波線、あなたのログウィンドウでヒントを得る

Answer 2

Contract class docsから：。

あなたが契約の実行時の執行を挿入するために、バイナリリライターを使用する必要があり、そのような私Contract.Ensuresなどそれ以外の場合は、契約。 thodは静的にのみテストすることができ、契約違反が発生した場合は実行時に例外をスローしません。 MSDN DevLabs WebサイトでコードコントラクトからバイナリリライタCCRewriteをダウンロードできます。 CCRewriteには、プロジェクトのプロパティページから実行時契約の強制を有効にできるVisual Studioアドインが付属しています。バイナリリライタとVisual Studioアドインは、Visual Studio 2010またはWindows SDKに付属していません。