하나 또는 여러 계약?

Question

계약 수는 얼마나됩니까?

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

또는

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

Answer 1

내가

1. 그것은 더에 확장 몇 가지 이유로 두 번째를 정확히 같은 것은 좋아하지 않습니다 게시로 계약이 더 좋다
2. 코드 계약에 따라 libra ry 및 생성 된 메시지의 품질은 어떤 조건이 실패했는지 정확히 알기가 더 쉽습니다.

Answer 2

코드는

Answer 3

각 매개 변수에 대해 독립형 Require 문을 확실히 원합니다.

정적 검사기로이 정보는 전화 사이트에서도 사용된다는 점에 유의하십시오. 나는 검사기가 && 상태를 구문 분석 할 수 있지만 당신은 알고 싶지 않을 것이라고 생각합니다.