CodeContractsのエラーリストに次のメッセージレベルのエントリがあります。
CodeContracts：チェック済み410アサーション：404正解（6マスク）
私は理解できません：
- マスクされたアサーションとは
- それが言及している6を見つける方法
- 私がそれらについて心配する必要があるかどうか
コードを投稿しなくてすみません...小さなサンプルでこれを再現する方法がわかりません:)
どうもありがとう
質問する
905 次
2 に答える
9
プロジェクトのプロパティ>コードコントラクト>静的チェック>警告を「hi」に設定するのは簡単です。
これで、ccCheckはさらに警告を出しました。
さよなら。
于 2013-01-25T10:31:54.520 に答える
2
これらは、「ベースライン」ファイルに含まれているためにマスクされているアサーションのようです。ドキュメントから（私の強調）：
6.6.8ベースライン
多数のコントラクトを追加する必要があるため、既存のコードベースをベリエがわずかな警告しか出さないポイントにするのは困難で時間がかかります。既存のコードベースでコントラクトを使いやすくし、新しいコードまたはコードの変更によって導入された警告に焦点を合わせるために、ベースライン機能を使用できます。
ベースライン機能を使用するには、ラベルの付いたチェックボックスをオン
Baselineにして、ベースラインを保存するファイル名を指定します。パスはプロジェクト出力ディレクトリからの相対パスです。分析が実行され、ベースラインファイルが存在しない場合、ベースラインが作成されます。この実行中、すべての警告が出力に表示され、XMLとしてベースラインファイルに保存されます。分析が実行され、ベースラインファイルが存在する場合、ベースラインはフィルターとして機能し、ベースラインで既に検出された警告は再度表示されません。新しい警告が表示され、ベースラインファイルのファイル名である
<baseline>.newと呼ばれるファイルに保存されます。<baseline>ファイルはテキストXMLとして保存されるため、ファイルを編集したり、ベースラインに障害を追加したりすることができます。形式はメソッドの順序に依存せず、グループ化のための追加のXMLタグを自由に導入できます。
「マスクされた」メッセージについても疑問に思っていました。「ベースライン」オプションをオフにしたところ、表示されなくなりました。したがって、2番目の質問に対する答えは、「「ベースライン」チェックボックスをオフにする」のようです。
あなたがそれらについて心配するべきかどうかに関して、私はそう、そうすべきだと思います。
于 2012-05-24T21:47:25.377 に答える