microsoft-contracts

1熱

2答えて

CodeContracts：fullfillの方法this（）コールを使用してCtorで必須？

MicrosoftのCodeContractsで遊んでいて、解決できなかった問題が発生しました。私は2つのコンストラクタを持つクラスを持っています： public Foo (public float f) { Contracts.Require(f > 0); } public Foo (int i) : this ((float)i) {} この例は単純化されていま

0熱

1答えて

microsoft.contracts DLLエラーFacebookのC＃のSDK

using Facebook; using Facebook.Web; public pageLoad() public void fetchFacebookData() { var fbApp = new FacebookClient();// error occured at this line var result = (IDictionary<

1熱

1答えて

契約による設計：プロトコルとのインターフェースがありますか？

私はContract by Designのコンセプトをかなり新しくしていますが、これまでのところ、バグを見つけ出すのがとても簡単です。しかし、私はMicrosoft.Contractsライブラリ（かなり優れています）を使って作業していますが、私はロードブロックに入っています。私が何をしようとしているのこの単純化した例取る：それを要約すると public enum State { NotRead

2熱

2答えて

この契約を証明するには何が必要ですか？必要ですか？

私はトーナメントでのラウンドを通じて実行するアプリケーションを持っている、と私は、この単純化されたコードの構造上の契約の警告を取得しています：私は何をやっている contracts: requires unproven: index < @this.Count ： public static void LoadState(IList<Object> stuff) { fo

5熱

1答えて

.NETコード契約：これより基本的なものが得られますか？

私はちょうど私が私のVisual Studio（2008）の内側から静的検証の警告に気づいたとき、スタックオーバーフローにここに誰かの質問に答えるためにいじりました： string[] source = { "1", "A", "B" }; var sourceObjects = Array.ConvertAll(source, c => new Source(c)).ToArray();

4熱

2答えて

契約による設計を行うためにどのようなツールを使用していますか？

私はMicrosoft CodeContractsを3週間使っていましたが、今では私のコードの半分は単なる契約書です。 IL rewriteはカバレッジツールに何かを表示させてコンパイル時間をあまり許容しないので、私は何十もの未解決の場所を持っています。私はこれが好きではありません。そして、今は助けを求める良い時期です。あなたの定期的な開発にどんなツールが使用されますか？

7熱

2答えて

Microsoftコード契約をASP.NET Webサイトで使用することはできますか？

私は現在、ASP.NET MVCアプリケーションで何も問題なくMicrosoft Code Contractsを使用していますが、基本的なASP.NET Webサイトではそれを実行できないようです。私はそれがこのタイプのプロジェクトで作業するように作られていることは完全にはわかっていません（それは問題ではありません）ので、私は全員にそれを持ち出そうと思っていました。契約をうまくコンパイルできます