code-contracts

5열

1답변

코드 계약 : IEnumerator <T> .GetEnumerator() weird 상속 된 계약?

Code Contracts을 Code Contracts Editor Extensions VS2010 추가 기능과 함께 사용하고 있습니다. IEnumerable<T> 인터페이스를 구현하는 클래스가 있고 GetEnumerator() 메서드에 대한 반복기 블록을 구현했습니다. GetEnumerator()가 널을 반환해서는 안, 그리고 부작용을 야기해서는 안 -

1열

1답변

비주얼 스튜디오 그래서 2010

I (나는 몇 시간 동안 사용하지 않은 것을) 코드 계약과 몇 가지 간단한 코드 static void Main(string[] args) { double res = sqrt(-5); } static double sqrt(int a) { Contract.Requires(a >= 0, "a must b

4열

1답변

코드 계약 빌드 성능

제 질문은 매우 간단합니다. 코드 계약을 사용하면 빌드 시간이 늘어납니다.

8열

2답변

코드 계약을 완전히 비활성화하려면 어떻게해야합니까?

현재 아래와 같이 설정되어 있습니다. 나는 'Perform Runtime Contract Checking'을 체크 한 다음 'None'을 선택하려고했지만 불필요한 것으로 보인다. 만약 내가 아래처럼 내 프로젝트 설정을 가지고 코드 계약이 완전히 비활성화되어 있습니까? 각 빌드 구성뿐만 아니라 릴리스에 대한 그런

4열

3답변

CodeContracts 문제

안녕하십니까 CodeContracts 관한 약간의 문제가 있습니다. 클래스 foo (string s1, string s2) 클래스를 가진 클래스 라이브러리 프로젝트가 있습니다; foo 메소드 안에는 Contract.Requires (s1! = null)가 있습니다. 그래서 내 코드의 의미를 이해하면 (예, 방금 CodeContracts를 설치하고 함께 놀았

2열

1답변

CodeContract.Requires (param! = null)는 param이 null이 아님을 증명하지 못합니까?

안녕하세요 나는 방법이 울부 짖는 소리 나열했습니다 : public static PasswordCredential Create(string password, string username, string pinCode = null) { Contract.Requires<ArgumentException>(!string.IsNullOrWhiteS

1열

2답변

CodeContracts로 제안 필요

안녕하세요, 저는 CC에 처음이에요, 당신의 제안이 필요합니다. 마지막 프로젝트에서 CC로 시작했습니다. 나는 WCF 계약을 맺고 있으며 제 3 자에 의해 이행되어야한다. 코드 계약을 서비스 계약에 지정하고 싶습니다. 클래스 자동차 (서비스 계약)가 있고 그것이 OperationContract ICar라고 가정 해 봅시다. ICar에는 앞서 말했듯이 클라이

2열

1답변

계약은 정적 분석을 잘못 여기 ... 나는이 문제에 대한 몇 시간을 보냈어요 조건을

를 확인하지 않다고 생각하는 것은 내 코드입니다 "ensures unproven: Contract.ForAll<string>(Contract.Result<IEnumerable<string>>(), s => s != null)"으로 신고되었습니다. 어떻게 그럴 수 있는지 모르겠다 - 그것이 null 항목을 반환하지 않을 것이라는 보장을 생성하고, 분석기는 그

17열

2답변

전제 조건을 테스트하기위한 여러 가지 방법의 찬반 양론? 내 머리 위로 떨어져

, 내가 널 인수에 대해 확인하는 4 가지 방법을 생각할 수 있습니다 Debug.Assert(context != null); Contract.Assert(context != null); Contract.Requires(context != null); if (context == null) throw new ArgumentNullException("con

3열

3답변

CodeContracts가 정규 ArgumentExceptions를 대체해야합니까?

대신 CodeContracts를 사용할 수 있습니까? if (XXX == Y) throw new ArgumentException("bla bla"); 라이브러리를 개발하고 라이브러리 사용자가 CodeContracts를 사용하지 않으면 어떻게 작동합니까?