code-contracts

2열

1답변

WPF 컨트롤 프로젝트에서 코드 계약을 활성화하면 컴파일 타임에 생성 된 자동 생성 파일 (XamlNamespace.GeneratedInternalTypeHelper)에 문제가 발생했습니다. 생성 된 파일의 이름은 GeneratedInternalTypeHelper.g.cs이며 GeneratedInternalTypeHelper.g.i.cs와는 다르며 여기에는

6열

3답변

MsBuild가 코드 계약으로 정적 계약 분석을 실행하지 못하게 할 방법이 있습니까?

내 프로젝트에서 정적 검사를 사용할 수 없지만 cmd를 사용하여 msbuild.exe를 실행하면 각 프로젝트에 대한 정적 검사가 시작됩니다 ... 매개 변수가있는 방법으로이 기능을 사용할 수 있습니까?

5열

2답변

코드 계약을받는 이유 : 입증되지 않은 경고를 보장 하시겠습니까?

다음은 아주 간단한 예입니다. 내가 정적 분석 경고를 켤 때, 나는 여전히 경고 CodeContracts를 얻을 수 : 검증되지 않은 보장! Contract.Result() = String.Empty로 라인에 에게 반환 및 String.format (" {0}, {1} ", movie.Title, movie.Description); 내 아래 코드 names

4열

1답변

일부 계약을 정적 분석에서 쉽게 제외 할 수 있습니까?

정적 분석기가 입증 할 수없는 특정 계약이 있습니다. 특정 종류의 계약 위반 오류를 전체 기능에서 제외 할 수는 있지만 너무 광범위합니다. baseline.xml 기능을 사용하여 특정 위반 오류를 제외 할 수 있지만 팀 환경에서 감사 또는 문서 작성이 본질적으로 불가능합니다. 한마디로 이 가능 정적 분석기 막 다른 골목 것으로 보인다 제 3 자 라이브러리에

5열

2답변

어떻게 .NET의 알고리즘 코드에서 주장합니까?

저는 현재 대학 프로젝트를 위해 C#으로 작은 인공 지능 프레임 워크 (유전 알고리즘/신경망)를 개발 중입니다. 첫 번째 관심사는 재사용 가능한 프레임 워크를 개발하는 것이므로 모든 것을 꽤 모듈화하도록 설계하고 있습니다. 나는이 (공연)에 대한 대가를 지불하고 있다는 것을 알고 있지만, 나는 그것을 잃을 때보 다 더 많은 것을 얻는다는 것을 느낀다. 모

3열

2답변

인터페이스 유형의 코드 계약 클래스에 대한 명명 규칙

System.Diagnostics.Contracts 네임 스페이스의 코드 계약 클래스를 사용하여 객체에 대한 일부 계약을 정의하고 있으며, 계약이 기본 계약에 대해 정의 된 경우 다른 계약 클래스의 이름을 지정하는 방법을 알고 싶습니다. 인터페이스. 간단한 예를 들어 설명해 드리겠습니다. [ContractClass(typeof(AnimalContract))

3열

1답변

코드 계약이 Visual Studio 2008의 속도가 느려짐

Visual Studio 2008 (C#)에서 코드 계약을 사용하기 시작한 이래로 내 DLL을 빌드하는 작업이 매우 느립니다. 정적 검사가 켜지지 않았지만 분명히 다시 작성하는 데는 오래 걸립니다 ... 해결 방법이 있습니까? 향후 Microsoft Code Contracts 버전에서 개선 될 예정입니까? 업데이트 : VS2008에서 빌드 할 때, 정적 분

3열

2답변

system.diagnostics.contracts.contract가 v4.0 v3.5에 모두 있음

방금 Visual Studio 2010으로 업그레이드하고 코드 계약 msi를 설치했습니다. 내가 그것을 사용하려고하면 system.diagnostics.contracts.contract dll이 v3.5 및 v4 프레임 워크 모두에 존재한다는 컴파일러 오류가 발생합니다. 누구든지이 문제를 해결하기 위해 무엇을해야하는지 알고 있습니까? 감사.

4열

2답변

C# 코드 계약 :이 간단한 조건을 입증 할 수없는 이유는 무엇입니까?

코드 계약에 대한 간단한 테스트를하고 있습니다. 다음 코드는 winform에 있습니다. 이것은 (물론) 전달합니다 private void Test(Form form) { Contract.Requires(!string.IsNullOrEmpty(form.Name)); MessageBox.Show(form.Name); }

6열

1답변

코드 계약 : 상속 된 인터페이스를 다루는 방법?

MS 코드 계약을 사용 중이며 인터페이스 상속 및 ContractClassFor 특성을 사용하여 문제가 발생했습니다. 을 감안할 때 이러한 인터페이스 및 계약 클래스 : [ContractClass(typeof(IOneContract))] interface IOne { } [ContractClass(typeof(ITwoContract))] interfa