code-contracts

1열

1답변

Visual Studio 코드 계약 확장 - 툴팁은 계약 목록이 아닌 예외 목록 만 표시합니다.

누군가가있을 때 계약 정보가 툴팁에 표시되도록하려면 재 작성된 어셈블리 XML 문서 파일을 배포하는 것 외에 다른 것이 있습니까? 내 라이브러리를 사용하고 있습니까? Visual Studio 2010에서는 코드 계약 편집기 확장이 설치되어 있습니다.

code-contracts 2011-09-01

---

2열

2답변

메소드 리펙토링 메소드 매개 변수 유효성 검사 코드를 계약서로 변환 문제 - 문법 오류 문제

이전 유효성 검사 코드는 일반적으로 부울 조건을 검사하고 해당 조건이 참이면 예외를 throw합니다. 대신에 Contract.Requires(...)은 반대입니다. (수표를 전달하기 위해 이전 조건을 무효화해야합니다.) 오래된 코드를 refurb하고 때로는 상당히 진보 된 부울 문을 볼 수 있습니다. 반전은 쉽지 않고 단지 Contract.Requires(

c# .net c#-4.0 code-contracts 2011-09-12

---

2열

3답변

하나 또는 여러 계약?

계약 수는 얼마나됩니까? Contract.Requires(name.NotEmpty() && identifier.NotEmpty()); 또는 Contract.Requires(name.NotEmpty()); Contract.Requires(identifier.NotEmpty());

c# code-contracts 2011-07-28

---

1열

3답변

확장 메서드가 null을 허용하지 않는다는 계약 정적 검사기를 말하고 있습니까?

Contract.Requires(completeURL.IsUri()); // Error: Contract.Requires(completeURL != null) Contract.Assume()없이이 작업을 수행 할 수 있습니까? 어쩌면 [Pure] [DefinitelyNotANullStringAfterThatMethod] public s

c# code-contracts 2011-07-28

---

0열

1답변

Pex 만족스럽지 않은 코드 계약

나는 펙스 테스트를 쓰려고하는데, 나는 그것이 항상 내가 원했던 매개 변수 중 하나로서 잘못된 값을주고 있다는 것을 알아 차렸다. 내 테스트는 모습이 (간체 : 거기에 더 PARAMS이/한 없지만, 그렇지 않으면 다른) : 나는 PEX를했을 경우 [PexMethod] public void TestCtor(bool value) { Arbitrar

code-contracts pex pex-and-moles 2011-07-28

---

7열

1답변

코드 계약을 데이터 계약의 deserialization과 함께 사용하려면 어떻게해야합니까?

데이터 계약 클래스에 ContractInvariantMethod을 쓰고 모든 것이 클라이언트 측에서 훌륭하게 작동하지만이 유형의 객체가 내 서비스로 전송되고 데이터 계약 디시리얼라이저가이를 직렬화 해제하려고하면 코드 계약 확인이 시작됩니다. 도형은 ContractException을 던져 불변성을 실패했습니다. 그 이유는 클래스의 (기본) 생성자에서 불변성을

.net wcf datacontract code-contracts 2011-08-07

---

2열

1답변

'CodeContracts를 진단하려면 unproven이 필요합니다. 생성자! = null'?

내가 경고를 보고 여러 가지 방법이 "코드 계약하기 : 증명이 필요합니다! 생성자를 NULL ="는 C# CodeContracts 정적 검사가 활성화 된 경우. 이 특정 방법은 계약을 선언하지 않고, 어떻게 어떤 방법으로 호출되지 않습니다. 내가 경고를 두 번 클릭하면 는 시각적 인 스튜디오는 IQueryable<TEntity> 객체를 인스턴스화 라인에 저

c# linq linq-to-entities code-contracts 2011-08-08

---

0열

2답변

코드 계약 정적 분석기의 진행 상황을 볼 수 있습니까?

정적 분석기를 실행하는 데 시간이 오래 걸립니다. 이것은 이해할 수 있으며 많은 일을하고 있습니다. 그러나 그것이 백그라운드에서 실행되는 동안, 무엇이 진행되고 있는지를 말하기는 어렵습니다. 정적 분석기가 실행 중입니까? 그것을 막을 수있는 어떤 문제가 발생 했습니까? 완료에 얼마나 가깝습니까? (또는 적어도, "정적 분석기가 현재 실행라는 메시지) 정적

c# .net static-analysis code-contracts 2011-08-11

---

17열

1답변

Contract.Ensures는 어떻게 작동합니까?

코드 계약을 사용하기 시작했습니다. Contract.Requires는 꽤 솔직 합니다만, 보장이 실제로 무엇을하는지 보는 데 어려움을 겪고 있습니다. static void Main() { DoSomething(); } private static void DoSomething() { Contract.Ensures(false, "wr

c# code-contracts 2011-08-13

---

2열

1답변

계약서에 코드의 크로스 커팅 문제를 코드화 할 수 있습니까?

크로스 커팅 요구 사항을 지정하는 방법이 있습니까? 예를 들어 클래스 수준의 계약으로 인스턴스 변수가 호출 될 때마다 인스턴스 변수가 null이 아니도록 요구할 수 있습니까? 실패? 코드 계약을 처음 접했고 Feb 4, 2011 Code Contracts User Manual (PDF)과 MSDN docs을 감추고 있었지만 크로스 커팅 기능에 관한 내용은

.net-4.0 code-contracts 2011-08-19

---