code-contracts

6열

2답변

을 내가 잘못 여기거나 수정해야 할 경우 뭔가를하고있어 잘 모르겠어요 ... 내가 정의 사전 래퍼 클래스를 가지고 있으며 여기에 조각입니다 필요한 코드를 나는 다음과 같은 경고 메시지를 받았습니다 (그리고 아직도) 때문에 public int Count { get { Contract.Ensures(Contract.Result<i

3열

4답변

왜 CodeContracts 정적 분석기가 경고를 표시하지 않습니까?

다른 클래스의 이벤트 처리기에 가입 한 여러 사용자 컨트롤이 있습니다. 왜 정적 분석기는 다음과 같이 코드를 작성 허용 않습니다 나는 C#에서 CodeContracts을 배우고, 나는 궁금 : 여기 void MyUserControl_MouseEnter(object sender, MouseEventArgs e) { MyUserControl item

9열

2답변

릴리스 빌드에서 .NET 4.0 용 코드 계약의 런타임 검사를 켜야합니까?

모든 새로운 .NET 4.0 코드를 가정합니다. 나는이 옵션을 켜는 옵션이 있음을 알았습니다. 그러나 나는 최선의 관행이 무엇인지 보지 못합니까? 일단 정적 검사가 완료되면 컴파일러에서 조건이 충족되므로 런타임 검사를 수행하지 않아도되는 것이 가장 좋습니다. 아니면 컴파일러가 당신을 위해 그것을 체크하더라도, 실행 중에 조건이 충족되지 않는 것이 여전히 가

1열

1답변

코드 계약 - 누락 된 참조가있는 Rewriter가 실패합니다.

소유하고있는 일부 라이브러리에 코드 계약을 사용하려고합니다. 내 라이브러리 A는 ThirdParty 라이브러리 B에 대한 참조를 가지고 있습니다. 라이브러리 C는 A를 참조하고 B는 사용하지 않으며 B를 사용하는 A의 비트도 사용하지 않습니다. 라이브러리 B를 찾으려고 시도하지만 다시 작성기가 실패하지만 A에 대한 참조 어셈블리가 있습니다. rewriter

3열

2답변

Contract.Ensures의 사용자 정의 메소드

코드 계약을 좀 더 자세히 이해하려고합니다. 다음과 같은 인위적인 예제를 가지고 있는데, try/invoke 패턴의 불변성을 선언하려고 시도하는 곳에서 true을 반환하면 out 객체는 null이 아니며 그렇지 않은 경우 false을 반환합니다. Contract.Ensures 그래서 난 이것에 대한 내 자신의 방법을 고려하고 싶었다 내부 public sta

2열

2답변

.NET 코드 계약에 로깅을 통합하는 방법

.NET의 코드 계약을 머리에 쓰려고합니다. 코드 계약을 사용할 때 어설 션을 어떻게 로그하여 문제의 메소드가 실패하게 할 수 있습니까? 예를 들어, 다음 코드를보십시오 : Public IsMatch(string x, string, y) { Contract.Assert(!string.IsNullOrWhiteSpace(x)); Contr

1열

3답변

펜스 및 코드 계약

다음은 Pex 문서 pexandcontracts.pdf http://research.microsoft.com/en-us/projects/pex/pexandcontracts.pdf의 코드 샘플입니다. 나는 이것이 특정 질문이 아니라 코드 계약과 관련되어 있다는 것을 알고 있지만, 그것은 pex 튜토리얼의 코드이다. CodeContracts : namespac

2열

2답변

코드 계약 1.4.40602.0 - Contract.ForAll이 작동하지 않는 것 같습니까?

Warning 1 CodeContracts: requires unproven: Contract.ForAll(coll, item => item != null) C:\MyApp\MyObj.cs public MyObj() : this(new Collection<Object>()) { } public MyObj(ICollection<Objec

1열

1답변

컬렉션의 모든 항목이 동일 함을 보장하는 코드 계약

컬렉션의 모든 항목이 동일한 지 확인하는 사후 조건을 만들려면 어떻게해야합니까? this solution을 사용하려고 생각했지만 원치 않는 부작용이 있는지 또는 코드 계약의 잘못된 사용인지 여부는 확실하지 않습니다.

0열

1답변

코드 계약 오류

런타임 동안 코드 계약이 작동하는 방식을 변경하는 방법이 있습니까? 에서와 같이 실행 중 사전 또는 사후 조치가 실패하면 응용 프로그램이 충돌합니다. 충돌 대신에 MessageBox가 표시되는 방법이 있습니까 ??