問題タブ [code-contracts]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
1 に答える
5283 参照

c# - Microsoft Code Contracts と CI ビルド サーバー

私たちは .NET 4 に移行しており、新しい Design By Contract 機能の実装に非常に関心があります。

私たちが知っているように、Code ContractエンジンにはCode Contract アドイン 代替テキスト
と VS Ultimate または Premium (静的チェック用) のインストールが必要です。

ここに私の質問があります:

  1. CI ビルド サーバー (TeamCity) に VS をインストールせずに、コード コントラクトの書き換えを使用できますか?
  2. コントラクト チェックを実行する msbuild タスクはありますか?
  3. CI ビルドで Code Contract の検証を使用しますか?
0 投票する
3 に答える
483 参照

.net - Sandcastleはコードコントラクトをサポートしていますか?

私のライブラリはコードコントラクトを使用しています。

サンドキャッスルによって生成されたドキュメントにこれらの契約を組み込む方法はありますか?

0 投票する
1 に答える
453 参照

c# - デフォルト(タイプ)を使用すると、契約の形式が正しくないのはなぜですか?

コード コントラクトを使用するコードをコンパイルすると、理解できない非常に奇妙なエラーが発生します。

次のエラーで失敗します。

不正な契約。メソッド '<ProjectName>.ObjectInvariant' での代入後に不変が見つかりました。

コードが次のように変更された場合:

それはうまくコンパイルされます。

私の何が問題なのdefault(Guid)ですか?

0 投票する
3 に答える
206 参照

validation - Microsoft Code Contracts はユーザー入力の検証には適していませんか?

Enterprise Library Validation Application Block はユーザー入力の検証を目的としていますが、Code Contracts はプログラマーのエラーを防ぐためのものであると、SO の別の場所で書かれているのを見たことがあります。この意見を支持しますか?なんで?

0 投票する
2 に答える
1862 参照

c#-4.0 - コントラクトクラスは抽象クラスである必要があります

次のコードは私に警告を与えますContract class 'FooContracts' should be an abstract class。私がオンラインで読んだすべての例(たとえば、http: //www.infoq.com/articles/code-contracts-csharp)から、これは機能するはずです(おそらくコンパイラの警告なしで)。

私はVisualStudio2010を使用しておりCode Contracts、プロジェクトのプロパティのセクションに次の設定があります。

  • ランタイムコントラクトチェックを実行します(に設定Full
  • 静的コントラクトチェックを実行します(の下Static Checking
  • バックグラウンドでチェックイン

CONTRACTS_FULLまた、 ReSharperをシャットダウンするためのコンパイルシンボルを定義しました。

警告なしにこのコンパイルを行うための何かが欠けていますか?

0 投票する
1 に答える
677 参照

code-contracts - コード契約。生成されたコードの警告をどのように抑制しますか?

Linq2Sql コードの静的チェックをオフにするにはどうすればよいですか?

0 投票する
1 に答える
325 参照

oop - エッフェル:前提条件を緩め、事後条件を厳しくしますか?

エッフェルでは「前提条件を緩め、事後条件を厳しくする」と言われていますが、どういう意味かわかりません。これは、サブクラス化によってどのようにメリットがありますか?

ありがとうございました

0 投票する
1 に答える
937 参照

c# - C# コード コントラクトで純粋な関数を使用する場合の静的検証の制限は?

コード コントラクトを使用した配列ベースのスタックの次の部分的な実装を静的に検証しようとしています。メソッドPop()は純粋な関数IsNotEmpty()を使用して、後続の配列アクセスが下限以上になるようにします。静的ベリファイアは失敗し、前提条件を追加するよう提案しますContract.Requires(0 <= this.top)

検証者が、与えられたコントラクトの下限に関して配列アクセスが有効であることを証明できない理由を誰でも説明できますIsNotEmpty()か?

最初はContract.Requires(IsNotEmpty())、サブクラスが をオーバーライドする可能性があるため、このアプローチは正しくないのではないかと考えましたIsNotEmpty()。ただし、クラスを としてマークすると、ベリファイアは配列アクセスが有効であることを証明できませんsealed

更新:IsNotEmpty()読み取り専用のプロパティに変更すると、検証は期待どおりに成功します。これは疑問を投げかけます:読み取り専用プロパティと純粋な関数はどのように/なぜ異なる方法で扱われるのでしょうか?

0 投票する
2 に答える
95 参照

metrics - Design-By-Contract のメトリクスを使用した経験があるか、またはコード ベースでの Design-By-Contract の使用状況を測定するためのメトリクスを推奨できますか?

現在、さまざまなコンポーネントを開発している約 60 人の開発者からなるソフトウェア開発グループに Design-by-Contract を導入しています。まず、C# と Java の Design-By-Contract ポリシーを定義しました。進行状況を測定するために、キーワード (コメントと文字列リテラルを除く) を単純に検索して、クラスの数とコントラクト アサーション (前提条件、事後条件、および不変条件) の数を数えています。したがって、次の 2 つの統計があります。

  1. コンポーネントごとのコントラクト アサーションの数
  2. コンポーネントごとのクラスごとのコントラクト アサーションの平均数

Design-By-Contract のメトリクスを使用した経験があるか、またはコード ベースでの Design-By-Contract の使用状況を測定するためのメトリクスを推奨できますか?

0 投票する
1 に答える
1192 参照

c# - Resharper とコード コントラクトがうまく連携しない

私は Resharper 5.x を使用してコンパイル時の分析を行っていますが、通常は非常に優れていますが、ロジックにコード コントラクトを適用していないようです。次のようなものがありますが、マークされた行で問題が発生しています。

[1] は、「可能性のある 'System.InvalidOperationException'」で強調表示されます。チェックをオフにせずにこのエラーを取り除く方法はありますか?