code-contracts

1열

1답변

코드 계약 내 클래스 인터페이스에 내 코드 계약을 넣어하려고

안녕 스피과 나는 같은 것을 쓰기 : [ContractClass(typeof(MyClassContract))] interface IMyClass { int Id { get; set; } } [ContractClassFor(typeof(IMyClass))] sealed class MyClassContract : IMyClass {

c# interface code-contracts 2013-10-10

---

2열

2답변

코드 유효성 검사를 코드 계약으로 대체 할 수 있습니까?

다른 사람 asked a similar question하지만 대답은 나에게 명확하지 않습니다. 우리 프로젝트에는 많은 매개 변수 유효성 검사 코드가 있습니다. 공용 메서드에서만 주로 null 매개 변수 검사입니다. if (param == null) { throw new ArgumentNullException("param"); } 이러한 검사

.net code-contracts 2013-10-18

---

0열

1답변

전체 솔루션에 대해 정적 계약 검사를 어떻게 할 수 있습니까?

코드 계약서를 가지고 놀고 있는데 그 아이디어가 정말 좋은 것처럼 보입니다. 어떻게하면 전체 솔루션을 검사하는 다른 측면을 활성화/비활성화 할 수 있습니까?

c# code-contracts 2013-12-10

---

3열

1답변

계약에 어떤 영향이 있습니까? 코드 계약을 설치하지 않은 경우 빌드가 필요합니까?

우리 프로젝트에서는 Release, Debug 및 'Debug-plus-contracts'의 세 가지 빌드 구성을 정의합니다. 이들은 다음과 같이 정의되어 있습니다 만를 설치 Code Contracts for .NET와 시스템을 기반으로 '디버그 - 플러스 - 계약'때문에 <PropertyGroup Condition="'$(Configuration)' ==

c# .net code-contracts 2013-12-12

---

1열

1답변

Visual studio 2008에서 코드 계약을 활성화하는 방법은 무엇입니까?

나는 (주로)는 .NET 개발자 오전 내 프로젝트에 난이 비디오를 시청 한 후 비주얼 스튜디오 2008을 사용 : 그것은 내가 코드 계약을 사용하려는 나를 위해 분명 해졌다 http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008 . 이 비디오 페

c# visual-studio-2008 code-contracts 2013-09-05

---

4열

1답변

코드 계약 명세서의 코드 중복을 피하는 방법

정적 및 런타임 검사를 사용하여 C# 코드 계약을 사용하기 시작합니다. 문제는 일부 코드 계약 점검이 메소드마다 중복 될 수 있으므로이를 방지 할 좋은 방법이 없다는 것입니다. 내 생각에 정적 분석기 경고를 피하고 가능한 경우 억제하지 않는 것이 좋습니다. 는 예를 살펴 수 있습니다 : 다음의 간단한 클래스가 있습니다. 우리가 모델 속성에 대한 공공의 기본

c# c#-4.0 refactoring code-contracts 2013-10-26

---

32열

2답변

Debug.Assert와 코드 계약 사용

코드 계약을 디버그해야합니까? 또는 그 반대로해야합니까? 나는 방법에 대한 전제 조건을 확인하기를 원하며 다른 것을 선택하기 란 혼란 스럽다. 나는 실패 시나리오를 테스트하고 예외를 예상하고 싶은 곳에 단위 테스트를 가지고 있습니다. 동일한 방법으로 Debug.Assert 및 코드 계약을 사용하는 것이 좋습니다. 그렇다면 코드를 작성해야하는 순서는 무엇입니

c# assert code-contracts 2013-12-16

---

0열

1답변

개인 실행 메서드의 CodeContract 오류 CC1025

Command 개체 Command에 대해 개인 실행 메서드 ClickExecute이 있습니다. 유형이 TypeA 인 매개 변수 객체를 바인딩하고 있습니다. 아래와 같이 코드 계약서에서 확인하고자하는 속성은 IsValid입니다. error CC1025: After contract block, found use of local variable 'typeA' d

c# wpf code-contracts 2013-12-16

---

0열

1답변

CodeContracts 정적 검사는 다른 어셈블리의 내부 클래스의 구성원이 InternalVisibleTo

내가 비주얼 스튜디오 2012에서 프로그램을 쓰고 있어요를 사용에도 불구하고, 충분히 볼 수 없습니다라고, 나는 두 개의 별도의 프로젝트에 한 쌍의 클래스가 있습니다 을 PROJECTA : namespace Test { internal class A { private A(B b) { Contract.Requi

c# code-contracts internalsvisibleto class-visibility 2013-10-29

---

0열

2답변

런타임 검사가 꺼져 있어도 Contract.Assert가 어설 션 대화를 표시하는 이유는 무엇입니까?

내 코드에 Contract.Assert 문이 있습니다. 디버그 모드에서 어설 션을 실패한 어설 션에 실패했습니다. 나는 이것에 대해 이해하지 못하는 두 가지가 있습니다 이 계약은 Rewiter에 의해 제어되지 않는가? 그래서 아무런 계약도 시행되지 않을 것이라는 사실이 확인되지 않았다면 생각했습니다. 그렇지 않은 경우, 런타임 검사 확인란에 의해 제어되는

c# code-contracts 2013-09-27

---