3

C＃アプリを再構築すると、コードコントラクト分析の結果が得られないことがよくあります。これは、次のエラーメッセージが原因で発生します

CodeContracts: MyApp.Client.Model: Analysis method MyApp.Client.Model.MyClass.CreateCalculatedElements(System.Collections.Generic.List1<System.Collections.Generic.KeyValuePair2<System.String,MyCompany.Scripting.ICompiledFunction1<System.Object>>>,System.Collections.Generic.Dictionary2<System.String,MyCompany.Scripting.ICompiledFunction1<System.Decimal>>,System.Collections.Generic.Dictionary2<System.String,MyCompany.Scripting.ICompiledFunction1<System.Decimal>>) timed out

メソッドの定義は次のとおりです

internal void CreateCalculatedElements(
List<KeyValuePair<string, ICompiledFunction<object>>> preFinalCalculationScripts,
Dictionary<string, ICompiledFunction<decimal>> factorCalculators,
Dictionary<string, ICompiledFunction<decimal>> elementCalculators)

これは常にタイムアウトになるとは限りません。再構築ソリューションを介してすべてのプロジェクトではなく、1つのプロジェクトに対してのみ手動で契約チェックを実行する方法はありますか？

4

1 に答える 1

2

次のように、プロパティ ペインの静的チェック オプションにオプションを追加することで、そのプロジェクトのタイムアウトを増やすことができます。

デフォルトは 180 で、メソッドごとです。

元の質問に関しては、はい、次のようにツールを手動で実行できます。

プロジェクト P がディレクトリ D にあるとします。次に、D\obj\Debug\Decl に移動します。そこには、ビルド中に cccheck に渡されたパラメーターを含む Pcccheck.rsp という便利なファイルがあります。分析を再度実行するには、次を発行するだけです: cccheck @Pcccheck.rsp

現在、再構築せずに 1 つのプロジェクトのみの再分析をトリガーするオプションはありません。

于 2013-04-24T20:32:48.337 に答える