code-contracts

3열

1답변

C# 코드 계약 내가 코드 계약을 조사하고 있는데 나는이 같은 빌더 패턴을 구현하고있어

"아마도 null 참조에 메소드를 호출" Possibly calling a method on a null reference. Do you expect that NWP.PointServices.Domain.Model.People.PersonCaution+Builder.WithCautionType(System.String) returns non-null? :이

0열

2답변

D에서 필드의 이전 값에 대한 사후 조건을 검사하려면 어떻게합니까?

C#에서는 사후 조건에서 Contract.OldValue<T>을 사용하여 필드가 어떻게 변경되었는지 확인할 수 있습니다. D에서 어떻게 할 수 있습니까? 문서에서 the relevant page을 읽었지만 언급하지 않았습니다. 특히, 페이지 렌더러를 작성 중이며 페이지 변수가 멤버 변수에 얼마나 있는지 추적합니다. out 블록에서 변수의 값이 시작과 같거나

12열

1답변

Pub/Sub RabbitMQ에 대한 자동 문서화/계약 생성

REST 세계에서 REST 인터페이스 경계 (클라이언트와 서버 간 계약)를 완전히 설명하는 Swagger Specification과 같은 것이 있습니다. 이러한 Swagger 스펙을 사용하여 REST 클라이언트를 자동으로 생성 할 수있을뿐만 아니라 REST API 소비자 용 문서를 자동으로 생성 할 수도있다. 또한 이러한 Swagger 사양은 가치있는 자산

0열

1답변

Contract.Ensures 메서드의 조작 된 계약 섹션이 잘못되었습니다

다음 코드에서이 건물 오류 "메서드의 조작 된 섹션이 잘못되었습니다 ..."가 표시되는 이유는 무엇입니까? Contract 전화의 대부분과 마찬가지로 List<int> MatrizesCorrelacao; public string lsMatrizes { get { if (TudoDataUnica == true)

1열

2답변

Visual Studio 2015 코드 계약이 제대로 업데이트되지 않습니다.

나는 매우 성가신 문제가 있습니다. 업데이트 3이 설치된 Visual Studio 2015 Enterprise를 설치했습니다. 중요한 것은 C : \ Program Files ...에 설치되지 않았지만 D : \ Program Files ...에 설치된 것입니다. "1.9.10714.2"인 Visual Studio Gallery에서 최신 코드 계약을 설치했

0열

1답변

다른 프로젝트의 코드 계약

라이브러리를 생성하는 계약 (프로젝트 A)과 해당 라이브러리의 인터페이스를 구현하는 다른 프로젝트 (프로젝트 B)가 있습니다. 프로젝트 A에서 프로젝트 B로 계약 파일을 복사하려고 시도했는데 계약이 문제없이 런타임에 실행됩니다. 하지만 프로젝트 B에서 프로젝트 A를 참조하려고 할 때 정적 분석기가 여전히 작동하지만 런타임 검사가 더 이상 작동하지 않습니다.

-1열

1답변

DotNet.Contracts NuGet 패키지를 사용하는 방법?

누군가 Visual Studio 2015 및 2017에서 DotNet.Contracts NuGet 패키지를 사용하는 방법에 대해 설명해 줄 수 있습니까? Visual Studio에서 코드 계약을 사용하는 데 필요한 유일한 구성 요소입니까? Contracts.devlab9ts.msi를 설치해야합니까? Contracts.devlab9ts.msi를 설치하려고 할

2열

1답변

정적 검사 증명되지 매개 변수 = 내가 코드 계약에 대해 알게

는 null, 나는 다음을 수행 할 수있는 가정. 그러나 나는 경고를 얻지 못한다. 다시 아무것도 public void ContractTestCallerCaller() { this.ContractTestCaller(null); } 그러나 : 그때 나는이 작업을 수행하지 않을 때 나는 적어도 경고를 얻을 수 있습니다 생각했다. 내가 뭔가를 잘

2열

1답변

"외부 API에 낙천적으로"옵션은 어떤 기능을합니까?

코드 계약에 대한 "정적 검사"옵션에는 "외부 API에 낙관적"인 옵션이 있습니다. 이 옵션의 기능에 대한 문서를 찾을 수 없습니다. 분석기의 동작에 어떤 영향을 줍니까?

1열

1답변

는 예를 들어

가, 다음 코드를 실행하는 동안 Contract.Requires<CustomException>(arg !=null) 을 니펫을 고려해 계약, 다음 코드 유형 CustomException의 예외가 발생합니다. 코드 계약은 Activator를 사용하여 CustomException의 인스턴스를 만들거나 어떻게 사용합니까? 나는 다른 목적으로 비슷한 코드를 구