code-contracts

0열

2답변

인터페이스에서 코드 계약을 사용하고자합니다. 우리는 커다란 인터페이스 계층 구조를 가지고있어 계약 클래스에 엄청난 중복이 생깁니다. 우리는 인터페이스가 IX이며 (다른 인터페이스를 상속 함) 약 50 개의 메소드가 있습니다. IX에서 파생 된 여러 인터페이스가 있습니다. 인터페이스 IY은 두 가지 방법 만 추가하여 IX에서 상속됩니다. IY에 대한 계약 클

0열

1답변

코드 계약을 통해 '보증'을 통해 필드/속성 초기화를 확인해야합니까?

using System.Diagnostics.Contracts; class C { public C(bool x) { Contract.Ensures(this.X == x); // is this necessary? this.X = x; } public readonly bool X; // could

0열

1답변

CONTRACT_FULL 정의하지만, 정의는 내가 현재 .NET 프레임 워크의 코드 계약을 찾고

를 아무데도 찾을 수 있습니다. 제가하고 싶은 것은 저의 동료들이 Visual Studio를 위해 필요한 확장 기능을 설치하고 그대로 작동하도록하는 것을 피하면서 그 계약을 사용하는 것입니다. Aber는 계약서와 함께 몇 가지 방법을 설정하고 CONTRACT_FULL 기호가 정의되었지만 다시 작성자가 호출되지 않은 메시지를 실행 응용 프로그램에서받습니다.

2열

1답변

불필요한 코드 계약 제안

나는 다음과 같은 방법이 있습니다 Contracts.Requires(text.Length == 0 || array != null || start < array.Length); Contracts.Requires(text.Length == 0 || start < 0 || start < array.Length); 나는이 두 가지 추가 요구 사항의 추가 혜택

1열

1답변

인터페이스의 CodeContracts가 하나의 솔루션에서 서로 다른 프로젝트에서 작동하지 않습니다.

하나의 프로젝트에 공개 인터페이스 & 다른 구현이 포함 된 솔루션이 있습니다. 인터페이스는 계약으로 장식되어 있습니다. 이 인터페이스의 구현이 같은 프로젝트에있는 경우 계약 엔진보다 해당 인터페이스가 작동하기 때문에 문제없이 그 을 테스트하는 동안 밝혀졌다 계약 엔진보다 해당 인터페이스가 '아무튼으로 인터페이스 구현이 다른 프로젝트에있는 경우 일하지 마라.

0열

3답변

코드 계약 및 ccrewrite

코드 계약을 통해 정적 점검을하고 모든 것이 올 Y 른지 확인하려면 왜 ccrewrite가 2 진을 다시 쓸 수 있도록해야합니까? ccrewrite를 완전히 끄는 것이 정상입니까?

4열

1답변

C#에서 코드 계약을 사용하여 컴파일 시간을 어설 션하는 방법은 무엇입니까?

this answer에 따르면 C#에는 이제 C++ 컴파일 타임이 아니라 "코드 계약"이 있습니다. IntPtr이 필요 IntPtr pointer; //blahblahblah pointer = new IntPtr(pointer.ToInt32() + Marshal.SizeOf(typeof(SomeStruct))); 가 Int32와 같은 크기가 될 :

5열

2답변

CodeContracts "필수"

을 이해 나는 그들이 어떤 구체적인 사업을 수행하기 전에 존재입니다 확인하기 위해 검색 엔티티 NOT NULL 검사의 어떤 종류를 사용하려면 다음 코드를 시도 : After contract block, found use of local variable 'obj' defined in contract block 잘못된 방법으로 Contract.Requires을

0열

1답변

코드 계약 정의 == 어설 션 오류

나는 간단한 2D 물리 엔진을 쓰고 다음과 같이 내 Vector2 구조체에 대한 ==를 무시했습니다 그러나 [Pure] public static bool operator ==(Vector2 v1, Vector2 v2) { Contract.Ensures(Contract.Result<bool>() == (v1.x == v2.x && v1.y ==

5열

1답변

코드 계약 정적 검사기가 계약을 모르게 인식합니다. ReadOnlyCollection의 보장 <T> 생성자

최근에 Code Contracts Tools (.NET 용 코드 계약) 및 Code Contracts Editor Extensions VS2012를 설치했으며 정적 검사기를 작동하는 데 문제가 있습니다. 정확히. CodeContracts : 나는 using System.Collections.Generic; using System.Collections.Ob