code-contracts

21열

3답변

코드 분석에서 코드 계약을 이해할 수 있습니까? Microsoft.Design : 코드 분석과 함께 코드 계약을 사용하여

, 나는 CA1062 같은 경고를 많이 얻을 외부에서 볼 수있는 방법 'Foo.Bar (로그인)'에서 사용하기 전에 '로그인'매개 변수의 유효성을 검사 . Foo.Bar에서 log의 유효성을 검사하는 계약이 있습니다. public Bar(Log log) { Contract.Requires(log != null); log.Lines.Add

0열

2답변

C#에서 음수가 아닌 값으로 uint 또는 int를 사용해야합니까?

가능한 중복은 : Should I use uint in C# for values that can’t be negative?는의 MaxValue (대략 :)) 2^31 대 2^32가 문제가되지 않는 것으로 가정한다. 한편, uint을 사용하는 것은 그 자체로 설명하기 쉽기 때문에 좋을 것입니다. 어떤 값은 결코 음수가 아닐 수도 있음을 나타냅니다. 그러나 i

11열

1답변

코드 계약에서 Contract.ForAll 사용

그래, 또 다른 코드 계약 질문이 있습니다. [ContractClassFor(typeof(IUnboundTagGroup))] public abstract class ContractForIUnboundTagGroup : IUnboundTagGroup { public IUnboundTagGroup[] GetAllGroups() {

1열

2답변

Contract.ValueAtReturn()을 어색하게 사용함

내부 목록에 요소를 추가하는 메소드를 설계하고 있습니다. class MyCustomerDatabase { private IList<Customer> _customers = new List<Customer>(); public int NumberOfCustomers { get { return _customers; } } publ

9열

2답변

Contract.Exists는 어떻게 가치를 추가합니까?

저는 VS2010에서 표준으로 제공되는 코드 계약 라이브러리에 대해 배우기 시작했습니다. 제가 지금 당장 실행하는 한 가지는 계약 조항의 일부가 실제로 의미하는 것입니다. 예를 들어이 두 문은 어떻게 다른가요? 즉 Contract.Requires(!mycollection.Any(a => a.ID == newID)); Contract.Requires(!Co

22열

1답변

[순수한] 방법에 관한 질문

다음과 같은 방법은 순수한가요? 어쨌든 현재 클래스를 변경하지 않으므로 이렇게 말할 것입니다. 따라서 클래스에서 현재 "currenly"볼 수있는 모든 것,이 메서드를 실행하기 전에는 완전히 똑같을 것입니다. 나 맞아? 당신이 System.Diagnostics.Contracts에서 Pure 속성으로 표시 의미 [Pure]에 의한 경우 class Set {

2열

2답변

.NET 4 코드 계약 : 동일한 계약을 두 번 포함해야합니까?

호출자가 null 값으로 bar을 호출해서는 안되는 public void Foo(string bar) 메서드가 있다고 가정 해 봅니다. 또한 내가 private void FooImpl(string bar)이라고하는 방법이 있다고 가정 해 봅시다. 실제 작업은 Foo입니다. 물론 FooImpl인데 이 실제로 인 경우 Foo이 공용 인터페이스이더라도 bar의

4열

1답변

어떤 타사 코드 라이브러리가 MS의 .NET 4.0 라이브러리와 가장 비슷합니까?

계약으로 코딩하려고합니다. VS2010 (C# 4.0 컴파일러 사용)이 있지만 3.5 프레임 워크를 대상으로해야합니다. 계약 라이브러리 별 제 3 자 코드에는 .NET 4.0과 가장 유사한 클래스와 인터페이스가 있습니까? user guide에서

7열

2답변

.NET 3.5의 코드 계약으로 인해 VS10의 디버거가 엉망입니다.

최근 코드 계약을 통해 많은 수작업 선행 조건 테스트와 예외 처리를 마이그레이션했습니다. .NET 4로 업그레이드하는 대신에 Microsoft.Contracts.dll 어셈블리를 사용하여 .NET 3.5와 조금 더 긴 시간을 사용할 수있게되었습니다 (.NET 3.5와 .NET 4 어셈블리에서 모두 사용되는 라이브러리). 나는 Visual Studio 201

1열

1답변

CodeContracts : 개체 참조가 개체 인스턴스로 설정되지 않은 상태에서 ccrewrite가 실패합니다.

아래 코드는 ccrewrite를 폭발시킵니다! 아이디어? 당신이 ActualClass을 주석 경우 은 BTW, ccrewrite 사전에 ... [ContractClass(typeof(TestContracts))] interface ITestInterface { bool IsStarted { get; set; } voi