1つまたは複数の契約ですか？

Question

契約数はいくつですか？

Contract.Requires(name.NotEmpty() && identifier.NotEmpty()); 

または

Contract.Requires(name.NotEmpty()); 
Contract.Requires(identifier.NotEmpty()); 

Answer 1

をして、私はそれはそれ以上にスケールの理由

1. のカップルのための二番目のが好きより良い契約
2. コード契約に応じてlibraどんな条件が失敗したかを正確に把握することが簡単になる場合があります。

Answer 2

コードあなたが投稿しているとは、まったく同じこと

Answer 3

各パラメータに独立したRequireステートメントが必要です。

静的チェッカーでは、この情報はコールサイトでも使用されます。私は、チェッカーが&&の状態を解析することができるかもしれないが、あなたは知りたくないと信じています。