code-contracts

2열

1답변

제네릭을 enum 형식으로 만드는 코드 계약 사용

며칠 전 나는 How to constraint a generic to be of type enum?이라는 질문을했습니다. 문제를 요약하면 다음 코드입니다 : 내가 코드 계약에 소개 된 class MyClass<T> where T : enum // Not possible in C# { } 나는 내가 원하는 모든 인 문제에 대한 경고 컴파일 시간을 생산

c# inheritance enums constraints code-contracts 2012-01-03

---

-1열

1답변

모듈러스 (%) 연산자에 대한 CodeContracts가 실패합니까?

전문화 된 랜덤 화기 클래스를 작성 중이며 CodeContracts를 사용하여 품질을 보장하고자합니다. 전형적인 랜덤 화 방법은 상한 'max'를 수신하고 그 한계 이하의 양의 무작위 값을 반환합니다. pick()가 임의의 UInt32 반환 public int Next(int max) { Contract.Requires<ArgumentOutOfR

c# .net random code-contracts modulus 2012-01-05

---

12열

5답변

는 확장 방법은 직접 실행 창

나는 Visual Studio에서 직접 실행 창에서 확장 메서드를 호출하려고 할 때마다 때문에이 질문에서 호출 할 수있는 2010 나는 다음과 같은 오류 얻을 : System.Collections.Generic.IEnumerable' does not contain a definition for 'ToList' and no extension method 'T

c# linq visual-studio code-contracts 2012-01-13

---

2열

2답변

C# 코드 계약 빌드 시간 - 어떻게 개선합니까?

Assert과 함께 인증자를 도울 수 있도록 가장 많은 시간이 걸리는 증명을 어떻게 확인할 수 있습니까? 추측 - 확인보다 나은 방법이 있습니까?

c# code-contracts contract 2012-01-18

---

3열

1답변

C# - 코드 계약 - 잠재 된 부작용에 대해 평가 된 표현식 문

C#으로 CodeContracts를 사용하기 시작 했으므로 도움이 필요할 수 있습니다. 정적 키 목록이있는 클래스가 있고 그 목록에서 키를 제거하는 Remove()라는 정적 메서드가 있습니다. 이제 계약서 게시 조건에서 알 수 있듯이 클래스의 프로그래머는 현재 공개 메소드가 특정 경우에 특정 항목을 수행한다는 것을 보증합니다. 목록의 요소를 제거하는 것입니

c# .net vb.net code-contracts 2012-01-20

---

1열

1답변

왜 Contract.Ensures (Contract.Result <...>! = null)가 작동하지 않습니까?

왜 "CodeContracts : null 참조 'stream'에 메서드가 호출되었을 수 있습니다." 이 코드 샘플에? 내가 System.Contracts.dll에 반사판을 사용하고 GetRequestStream에서 다음 줄()의 방법이 있기 때문에 public static void Test() { var request = (HttpWebRequ

.net-4.0 httpwebrequest code-contracts 2012-01-24

---

1열

1답변

일반 및 비 일반 메서드의 이름과 매개 변수가 동일한 경우 코드 계약 1.4.40602.0의 버그?

일반 메서드에 대한 계약이 손실되어 IL에 표시되지 않습니다. 다음은 코드 예제입니다. 비 제네릭을 인터페이스에서 제거한 경우 일반 계약은 예상대로 작동합니다. 그러나 제네릭이 아닌 제네릭의 경우 일반 계약이 다시 작성 될 때 손실됩니다. [ContractClass(typeof(IContractTestContract))] interface IContrac

c# visual-studio code-contracts 2011-12-09

---

0열

2답변

단위 테스트는

를 계약합니다 나는 다음과 같은 방법이 있습니다 public static DateTime SubQtrs(this DateTime dt, int qtrs) { Contract.Requires(qtrs > -1); Contract.Requires((qtrs * 3) >= -120000 && (qtrs * 3) <= 120000);

c# .net-4.0 tdd code-contracts pex 2011-12-12

---

5열

4답변

프레임 워크 메서드에서 SuppressMessage를 사용할 수 있습니까?

나는 CodeContracts에서 다음과 같은 제안을 구현하고 싶습니다 : 그것은 내가이 일어날 수 있도록 대상 속성 SupressMessage을 사용할 수있을 것 같은 느낌 CodeContracts: MyModule: Method MyModule.MyClass.MyMethod: To mask *all* warnings issued like the pre

c# code-contracts suppressmessage 2011-12-22

---

2열

2답변

코드 계약 : 검증되지 않은 소스가 필요합니다! = null

이 질문에 대한 다른 응답을 읽은 후에도 경고가 표시됩니다. 이 스 니펫에서는 데이터베이스에서 UserActivation을 가져옵니다. 이 시점까지는 적어도 하나의 UserActivation이 항상있을 것입니다. 더 많은 것이 있다면 배가 모두 모양이 된 것입니다 ... 증명되지 않은 소스와 관련하여 경고를 줄이는 방법에 대한 몇 가지 다른 지침을 따랐지만

c# code-contracts 2011-12-27

---