code-contracts

1열

1답변

Contract.Ensure는 finalizer 및 Dispose 메서드에 사용해야합니까?

불 휘발성 개체가 개체 종료 자 또는 Dispose 메서드를 구현하는 메서드에 대해 확인되지 않았지만 이유를 설명하지 않은 것으로 here을 읽습니다. 그 이유는 객체가 처분 될 때 불변 조건이 더 이상 유지되지 않아 잠재적으로 finalizer를 만들거나 메서드를 처리하지 못할 수 있기 때문입니다. 내 논리가 맞다면, finalizer에 Contract.

c# code-contracts 2013-05-31

---

1열

2답변

.NET에서 계약, 테스트, 어설 션 및 예외 코드를 사용하는 경우 언제 사용합니까?

우선, 나는 이것들이 그들 자신의 목적 영역과 분리 된 개념이라는 것을 이해하고 싶습니다. 그런 말로는 가끔씩 뭔가를 처리하는 가장 좋은 방법이 계약, 좋은 테스트 또는 부적절한 사용의 경우에 예외인지 궁금합니다. 예를 들어 온 전성 검사 및 유효성 확인과 같은 입력에 대한 간단한 요구 사항은 계약 도메인이거나 예외 상황에서 더 잘 처리됩니까? 예외적 인

.net validation exception testing code-contracts 2013-06-05

---

0열

1답변

Dynamics CRM 2011 워크 플로의 코드 계약

Dynamics CRM 2011 워크 플로에서 코드 계약을 사용할 수 있습니까? ' 방법 : 계약 법인은 System.Diagnostics.Contracts의 계약과 동일한 이름을 가지고 있지만 코드 계약은 아직도 내가이 경고를 얻을이 System.Diagnostics.Contracts.Contract.Requires(i < 5); 처럼 사용할 수 있습

dynamics-crm-2011 code-contracts 2013-06-10

---

7열

2답변

코드 계약 - 사전 및 사후 조건에 대해 개인 방법을 검사해야합니까?

코드 계약의 속도를 높이려고합니다. 나는 개념이 마음에 들지만 실제적으로 계약을 추가하는 것의 가치는 알지 못한다. 많은 개인적인 방법이 필요하다. 그 중 일부는 단지 한 줄 또는 두 줄의 길이 밖에 없다. 나는 Public 메소드에서 포인트를 볼 수 있지만 private 클래스 메소드에서는 과도한 것처럼 보인다.

c# code-contracts 2013-06-11

---

0열

1답변

ObjectInvariant가 null을 검사 할 때 CodeContract에서 null 참조에 대한 경고가 나타나는 이유

코드 계약을 사용하여 속도를 높이려고합니다. 를 이것은 불변 : [ContractInvariantMethod] void Invariant() { Contract.Invariant(this._uiRoot.RowDefinitions!=null); } 다음, 방법이 코드입니다 : int colunmn = 0; foreach (U

c# code-contracts 2013-06-12

---

3열

1답변

ReSharper ExternalAnnotations에 대한 코드 계약 보증

누구든지 ReSharper ExternalAnnotations에 코드 계약 보증을 추가하는 방법을 알고 있습니까? 마지막 v7.1.3이나 최신 v8 EAP에는 없으며 주위에 떠 다니는 사용자 정의 xml에도 없습니다. Contract.Ensures(Contract.Result<T>() != null);

c# resharper code-contracts 2013-06-23

---

1열

1답변

CodeContracts :이 메서드를 호출하면 항상 오류가 발생합니다.

코드 계약을 계속 학습합니다. 작은 테스트를 만들면 검사기에서 다음 메시지가 나타납니다. CodeContracts :이 메서드를 호출하면 항상 오류가 발생합니다. 원할 경우 Contract.Requires (false)를 추가하여 문서화하십시오. 나는 무엇을 말하려고하는지 이해하지 못합니다. 이 예제에 Contract.Requires (false)를 어떻게

code-contracts 2013-06-23

---

2열

2답변

하나의 메소드 만이 특정 필드를 수정할 수 있도록 코드 계약을 작성하는 방법이 있습니까? 공공 부울은 IsLoaded 표시 :

나는 많은 방법과 그 풀어서 속성 _isLoaded라는 사설 읽기 전용의 부울 필드 클래스가 나는 확신 객체 불변 방법이 알고 class MyClass { readonly bool _isLoaded; public bool IsLoaded { get { return _isLoaded; } } publ

c# code-contracts 2013-06-30

---

1열

1답변

CodeContracts 정적 체커가 Contract.Assure (a)를 제안한 이유는 무엇입니까?

기본적으로 특정 필수 조건을 서브 클래스에 전파하는 가상 메소드가 있습니다. 여기에 단순화 된 버전입니다과 이상한 경고 정적 검사를 생성 (편집 - 내 예제는 불완전 그것은 바로 지금입니다.) : 사실 public abstract class OrderingClass { protected bool _ordered public bool I

c# inheritance abstract-class code-contracts post-conditions 2013-06-30

---

1열

1답변

코드 계약, 예외, 주장, 도메인 유효성 검사에 대한 기술 문서

나는 앱의 다른 영역에서 메시지를 문서화하는 방법에 대한 공통된 근거를 찾고 있습니다. 일부 주요 영역은 다음과 같습니다 테스트에서 어설 문 코드 도메인 검증 예외 사용자 인터페이스를 계약합니다 여기 은 몇 가지 예입니다 Assert.IsNotNull(employee, "Employee can't be null.") if (employee !=

exception-handling documentation code-contracts 2013-05-25

---