code-contracts

7열

2답변

저는 REST를 처음 접했고 매우 간단해야한다고 생각합니다. .NET 응용 프로그램에서는 WCF 서비스에 대한 참조를 만들 수 있으며 사용 가능한 모든 유형에 대한 계약이 생성됩니다. 이제 Windows Phone 7 앱에서 REST 서비스를 사용하려고합니다. 저의 전화를 걸고 적절한 응답을 얻을 수는 있지만, 각 객체가 비 직렬화 될 클래스를 만드는 간단

5열

1답변

.NET 4 코드 계약 : "requires unproven : source! = null"

방금 프로젝트에서 코드 계약을 사용하기 시작했습니다. 그러나 Entity Framework를 사용하여 데이터베이스를 쿼리하는 리포지토리 구현에 문제가 있습니다. public IEnumerable<Organization> GetAllOrganizations() { return _uow.CreateSet<Party>().OfType<Organiz

2열

2답변

C# 코드 계약 : 다른 어셈블리에 정의 된 interfacemethod의 매개 변수를 확인하는 방법은 무엇입니까?

상황이 어떻게 풀릴 지 모르겠습니다. 섹션 3의 user manual에 따르면 계약 메소드, 즉 Require 또는 Ensure은 오버라이드 메소드/등록 정보 또는 인터페이스 구현에서 허용되지 않습니다. 계약 메소드는 루트 가상/추상 메소드에서 선언해야하며 추상 메소드로 코드를 선언 할 수 없으므로 ContractClassAttribute 및 Contrac

8열

1답변

.NET 4.0에서 코드 계약을 어떻게 사용합니까? 코드가 어수선하게 보이지 않습니까?

나는 코드 계약을 사용하기 시작했으며 방법의 '용기'를 즉각적으로 파악하는 것을 어렵게한다는 것을 발견했습니다. 이 (매우 간단) 예를 보자 이제 나는 그들이 숨어 할 수 있도록 영역에서 계약을 넣어 유혹하고있어 public static void UserAddNew(string domain, string username, string displayName)

16열

1답변

프로덕션 환경에 코드 계약을 배포하는 것이 좋지 않습니까?

나는이 answer (강조 광산)를 참조하고 있습니다 : 는 ContractClass에서 살펴보고 ContractClassFor 속성. 이를 통해 별도의 어셈블리에 코드 계약을 포함한 클래스를 작성할 수 있습니다. 이 코드를 복잡하게하지 않고, 당신이 dev에 작업에 사용할 수있는 계약을 할 수 있으며 또한 왜 원하지 않을 것이다 라이브 코드 와 계약을 배

10열

2답변

코드 계약, forall 및 사용자 정의 enumerable

C# 4.0 및 코드 계약을 사용하고 있으며 사용자 정의 GameRoomCollection : IEnumerable<GameRoom>이 있습니다. GameRoomCollection의 인스턴스에 null 값 요소가 포함되지 않도록하고 싶습니다. 그래도 나는이 일을 할 수없는 것 같아. 일반적인 규칙을 만드는 대신, 나는 평범하고 간단한 예제를 시도했다. Al

1열

2답변

코드 계약을 통해 루프가 입증되지 않음

.Net 코드 계약 (VS2010 Ultimate .Net 4)을 사용하여 정적 검사기가 증명할 수 있거나 증명할 수없는 것에 대한 아이디어를 얻으려고합니다. 나는 다음 예제를 시도하고있다 : - public int Mult(int num1, int num2) { Contract.Requires(num2 >= 0); Contr

2열

1답변

CodeAnalysis 및 CodeContracts 조합

ContractClassFor이 있는데 코드 분석으로 경고가 적습니다. 예 : Microsoft.Usage : 'IDocumentServiceContracts.GetItems (인쇄 큐, INT, INT)'의 매개 변수 'PAGENUMBER'은 사용되지 않습니다. 매개 변수를 제거하거나 메서드 본문에서 사용하십시오. 계약 클래스의 각 메소드에서 각 매개 변

6열

1답변

보안을 위해 코드 계약을 사용해야합니까?

비즈니스 규칙을 시행하기 위해 코드 계약을 사용하지 않는 이유가 있습니까? 시스템의 단일 사용자를 나타내는 User 클래스가 있고 다른 사용자에 대해 수행 할 수있는 작업을 정의한다고 가정 해보십시오. 이러한 두 가지 방법의 장점과 단점은 무엇 public void ChangePassword(User requestingUser, string newPassw

0열

1답변

CodeContracts : null 참조 'this.Master'에서 메서드 호출 가능

기본 마스터 페이지와 콘텐츠 페이지가 있고 콘텐츠 페이지에서 마스터 페이지의 일부 속성이나 메서드를 사용하려는 경우 : string something = this.Master.MasterPageFile; 코드 정적 분석과 불평 계약합니다 : warning : CodeContracts: Possibly calling a method on a null re