code-contracts

2열

1답변

저는 EF 및 코드 계약에서 초보자입니다. 프로젝트를 수행하기 위해 EF6 및 코드 계약을 사용합니다. DB 첫 번째 접근법에서 알다시피, EF는 DB 엔티티에 해당하는 클래스를 자동으로 생성하므로 수동으로 정의한 부분 클래스에 계약을 추가했습니다. EF 생성 된 클래스 : public partial class Article { public Ar

1열

1답변

[순수]에는 코드 계약에 "보이는 부작용"이외의 의미가 있습니까?

PureAttribute documentation는 말한다 : 는 형식이나 방법 즉, 순수을 나타냅니다, 그것은 눈에 보이는 상태가 가의 요구 이것을 가 변경하지 않습니다 Microsoft Code Contracts의 순수한 기능은 무엇입니까? 그리고; 이 모델은 예외가 결과라고 가정합니까 (부작용이 아닌)? 좀더 일반적인 맥락에서 a pure functi

-2열

3답변

코드 계약에서 "null 일 수 있거나 null이 아닌"매개 변수를 지정 하시겠습니까?

내가 모르는 뭔가가 될 수도 있고, 내가 안 뭔가 CC를 요구 될 수 있지만 - 매개 변수가 "또는 null하지 않을 수있다"고 지정하는 방법으로오고없이 거기 완전히 중복 되었습니까? 예를 들어,이 인위적인 예를 상상 : CodeContracts : 위의와 string F(string x) { Contract.Requires(x == null |

15열

2답변

Code Contracts Tool 확장을 (완전히) 제거하는 방법은 무엇입니까?

내 시스템에서 Code Contracts Tools 확장을 제거하려고합니다. "프로그램 및 기능"에서 제거했지만 아직 Visual Studio에 설치된 확장 프로그램으로 나타납니다. 도움을 주시면 감사하겠습니다.

6열

1답변

코드 계약 및 작업

코드 계약은 결과를 비동기 적으로 기다리지 않고 다른 변수와 마찬가지로 처리합니다. 따라서 다음 시나리오는 작동하지 않으며 메서드가 반환 될 때 불완전한 작업이 발생하고 그 시점에서 결과가 설정되지 않기 때문에 계약 예외가 발생합니다. 다음 시나리오에 대한 합리적인 해결 방법이 있습니까? public Task LoadAppModel() { Con

3열

2답변

순도에 대한 예외 속성을 설정하는 방법은 무엇입니까?

나는 벨로우즈와 같은 수업을 가지고 있으며, 방법으로 변경하고 다른 속성은 변경하지 말아야합니다. x. public class Test { private int x,y,z; //number of these properties is large [Pure] public void Foo() { //only x m

2열

1답변

코드 계약에서 제네릭 형식에 대해 Null 허용 여부를 적용 할 수 있습니까?

우리는 T의 널 참조를 리턴 할 수 있어야하는 일반 메소드가 있다고 가정하고, 따라서 T는 널 입력 가능해야합니다. 이 같은의 종류 : public static T GetNullableTypeTest<T>() { Contract.Requires(!typeof(T).IsValueType || Nullable.GetUnderlyingType(type

2열

1답변

코드로 작성된 인터페이스에 대한 계약

저는 Microsoft Code Contracts와 함께 조금씩 노력하고 있습니다. 지금은 어색한 사건을 발견했습니다. 제 질문은이 상황을 해결할 수있는 우아한 방법이 있습니까? 의 내가 다음과 같습니다 저장소에 대한 간단한 특성 인터페이스를 가지고 가정 해 봅시다 : 속성의 표시로 [ContractClass(typeof(CanAddContract)] p

2열

1답변

Resharper CodeAnnotation 속성을 사용하여 결과 모호성을 나타낼 수 있습니까? 입력이 null가 아닌 경우 ReSharper에서의 코드 주석 속성을 사용

, 내가 입력이 null의 경우 항상 null 반환하는 방법에 대한 ContractAnnotation 속성을 쓰기 위해 노력하고있어,하지만 중 하나 null 또는 값을 반환합니다 . 뭔가 같은 :이 [ContractAnnotation("null => null; notnull => null||notnull")] 난 그냥 그 자체에서이를 작성합니다 null

4열

1답변

asp.net의 디스크에 DLL이없는 계약서 계약서 5/vnext

Asp.Net vnext/5는 roslyn을 사용하여 즉석에서 컴파일하고 전혀 어셈블리를 생성하지 않습니다. 대부분의 코드 계약 도구는 컴파일 타임 코드 변환을 사용하여 계약을 런타임 검사로 변환합니다. Asp.Net 5에서 어떻게 작동합니까? 나는 매개 변수에 [NotNull]과 같은 attibute 기반 계약을 사용하는 것을 좋아하지만, 컴파일 단계가없