code-contracts

1열

1답변

코드 계약을 통한 실행 및 실행

VS2010 및 .NET 4.0의 경우 코드에 계약서를 추가하는 데 필요한 인텔리 센스의 단축키가 표시됩니다 (예 : cr, crr).이 탭을 추가하면 코드 (예 : 계약서 .Requires)에는 유효한 어셈블리가 없으므로 인텔리 센스가 없습니다 (유형을 기본적으로 찾을 수 없음). 코드 계약서를 작성하려면 어떻게해야합니까? 편집 : 모든 메서드는 Syst

visual-studio code-contracts 2010-03-28

---

6열

3답변

얻기 코드 계약은 비주얼 스튜디오에서 작업하는 2010

나는 다음과 같은 코드가 있습니다 class Program { static void Main(string[] args) { Console.WriteLine(SqrtRoot(0)); Console.WriteLine(SqrtRoot(10)); Console.WriteLine(SqrtRoot(-10));

c# code-contracts 2010-02-14

---

10열

2답변

.NET 4 코드 계약을 사용하고 .NET 3.5와 호환되는 상태를 유지할 수 있습니까?

.NET 4에서는 코드 계약을 새로운 기능으로 도입했습니다. CC를 사용하고 싶지만 3.5 SP1에서 계속 실행될 수있는 파일을 제공하십시오. 그게 가능하니? 새로운 기능의 일부만 사용할 수 있습니까? 분명히 CC가 바이너리 파일에 포함되지 않고 정적 검사 만 수행하는 것은 가능합니까? 맞습니까? CC가 별도의 모듈로 3.5를 사용할 수 있다는 것을 알고

.net-3.5 .net-4.0 code-contracts 2010-04-08

---

3열

1답변

CodeContracts 다시 작성시 메타 데이터 오류

이전 관리되는 C++ 구문으로 작성된 혼합 모드 C++ DLL 종속성이있는 대형 데스크톱 응용 프로그램 프로젝트에서 .NET 3.5와 코드 계약을 사용하려고합니다. 실제 솔루션은 20 개 이상의 프로젝트로 구성되어 있지만 A, B, C 및 D 프로젝트와 혼합 모드 M 프로젝트 만 있다고 가정 할 수 있습니다. C는 A, B 및 M에 종속됩니다. A, B 및

c# compiler-errors code-contracts 2010-01-04

---

7열

5답변

CodeContracts : null 참조에서 메서드를 호출했을 가능성이 있음

CodeContracts static analysis tool이라는 인수가 있습니다. 내 코드 : Screenshot http://i40.tinypic.com/r91zq9.png (ASCII version)는 이 도구는 instance.bar가 null 참조가 될 수 있음을 알려줍니다. 나는 그 반대를 믿는다. 누가 맞습니까? 어떻게 잘못했는지 증명할 수

c# visual-studio-2010 .net-4.0 code-contracts 2010-04-20

---

8열

1답변

코드 계약 "메소드 호출은 생략하는 방법이 조건 때문에 컴파일러는 ... 메소드 호출을 생성합니다 [...]."

안녕하세요, 난 그냥 Microsoft.Contracts와 함께 연주하기 시작 (최신 버전을) 및 샘플 인터페이스의 상단에 연결하고 지금은 다음과 같습니다 밖으로 시각적으로 툴팁 말과 'blured에서') ... 이제 namespace iRMA2.Core.Interfaces { using System; using System.Collec

.net code-contracts 2010-03-12

---

14열

1답변

코드 계약 대. 개체 이니셜 라이저 (.net 4.0)

액면가에서는 개체 이니셜 라이저가 .net 4.0 "코드 계약"에 문제가있는 것처럼 보입니다. 일반적으로 개체 생성자가 완료 될 때까지 불변성이 설정되어야합니다. 그러나 객체 이니셜 라이저는 작성이 완료된 후에 속성을 설정해야한다고 가정합니다. 제 질문은 "코드 계약"의 불변식이 개체 생성자를 처리 할 수 ​​있는지, "마치"생성자가 완료되기 전에 속성이

.net .net-4.0 code-contracts design-by-contract object-initializers 2010-05-02

---

4열

2답변

연결하는 동안 불필요한 검사를 피하기 위해 체인 방식의 코드 계약을 암시하는 방법은 무엇입니까?

C# 4.0에서 코드 계약을 사용하고 있습니다. 선택적 매개 변수를 시뮬레이트하기 위해 일반적인 정적 메서드 체이닝을 적용하고 있습니다 (C# 4.0은 선택적 매개 변수를 지원하지만 실제로는 사용하고 싶지 않습니다). Init(string , string[]) 메서드를 호출하면 내 계약 요구 사항이 두 번 (또는 구현 된 체인 오버로드 수) 발생할 수 있습

c# c#-4.0 code-contracts 2010-05-02

---

33열

2답변

코드 계약 : 제네릭 인터페이스에 대한 계약 클래스를 어떻게 제공합니까?

나는 코드 계약을 사용하여,이 일반적인 인터페이스에 대한 계약을 지정하고 싶습니다 :는 interface IRandomWriteAccessible<T> { T this[uint index] { set; } uint Length { get; } } 문서는 인터페이스에 대한 계약을 지정할 때 ContractClass 속성을 사용했다.

.net generics interface code-contracts 2010-01-27

---

7열

1답변

코드 계약 : 사후 조건에서 필드/속성 값이 변경되지 않았 음을 어떻게 나타낼 수 있습니까?

나는 코드 예제로 무엇을하고 싶습니까? class SomeClass { public int SomeProperty; public void SomeOperation() { Contract.Ensures("SomeProperty's value has not changed."); // ^^^^^^^^^^^

c# .net code-contracts design-by-contract 2010-01-28

---