code-contracts

0열

1답변

CodeContract의 올바른 사용 필요합니다.

기본적으로 ConcurrentDictionary에 키가 있는지 결정하기 위해 코드 계약을 사용하는 것이 코드 계약의 사용을 허용하는지 알고 싶습니다. 런타임시 사전 상태에 따라 매개 변수 검사 이상이므로 나에게 맞는 느낌이 들지 않습니다. 괜찮 경우 public class MyClass { private ConcurrentDictionary<st

.net c#-4.0 code-contracts 2013-03-15

---

8열

1답변

C# 코드 계약 - null 참조에 대한 매개 변수 확인 안 함

오늘 C# 4.0 코드 계약에 대해 읽었습니다. 그것은 다음과 같이 널이 아닌 방법에 매개 변수의 유효성을 검사하기위한 일반적인 관행처럼 보인다 : 그것은 내가 모든 인터페이스 메소드의 모든 매개 변수에 대해이 작업을 수행해야 할 거라고 나에게 매우 불합리한 것 같습니다 그러나 Contract.Requires(p != null); 내 코드에서. 대다수의

c# c#-4.0 code-contracts 2013-03-18

---

0열

1답변

마이크로 코드 계약을 사용하여 부작용으로 코드를 선언하십시오.

Microsoft Code Contracts (.net 4)을 사용하여 부작용이없는 것으로 메서드를 선언 할 수 있습니까?

code-contracts 2013-05-21

---

0열

1답변

CodeContracts : 증명되지 않음 : (image.PixelFormat 및 PixelFormat.Indexed) == 0

Net 4.0의 코드 계약에서 다음과 같은 경고는 무엇이며 어떻게 수정합니까? 내가 뭘 CodeContracts: requires unproven: (image.PixelFormat & PixelFormat.Indexed) == 0 중 하나 var bmp = new Bitmap(pSize.Width, pSize.Height, System.Drawing.Im

c#-4.0 code-contracts requires 2013-05-23

---

0열

2답변

CodeContracts 불변 값이 거짓입니다.

VS2010은 계속 CodeContract.Invariant가 false임을 알려줍니다. 나는이 가능한 경우 public class BankAccountIdentifierDefinitionVariation_CreateCommandArgs : ValidatedCommandArgs { public string IdentifierCode {get; p

c# .net code-contracts 2013-02-13

---

0열

1답변

정적 분석 다음은 내가 실패 할 정적 분석 도구를 얻기 위해 만든 예입니다 가장 간단한 예를

작동하지 경고. 나는 모든 체크 박스를 프로젝트 설정에서 선택하고, 경고 레벨을 "hi"로 설정했다. 버전 1.4.51019.0을 실행 중입니다. 컴파일이 실패하려면 무엇을해야합니까?

c# visual-studio-2010 code-contracts 2013-02-13

---

3열

1답변

코드 계약 분석을 수동으로 실행할 수 있습니까?

C# 응용 프로그램을 다시 빌드하면 코드 계약 분석 결과가 나타나지 않습니다. 이것은 다음과 같은 오류 메시지가 여기에 CodeContracts: MyApp.Client.Model: Analysis method MyApp.Client.Model.MyClass.CreateCalculatedElements(System.Collections.Generic.Lis

c# timeout code-contracts 2013-02-18

---

3열

1답변

인터페이스 계약이 어셈블리 외부에 적용되지 않는 이유는 무엇입니까?

코드 계약을 사용하여 인터페이스에 대해 쓴 (아주 간단한) 계약이 적용되도록 노력하고 있습니다. 이 코드는 우리 프로젝트 중 하나의 "공유"dll에 있습니다. 나는 다음과 같은 간단한 테스트를 실행하는 경우에는 예외가 발생하지 않기 때문에, 실패, [ContractClass(typeof(CommandHandlerContracts<>))] public in

.net unit-testing generics visual-studio-2012 code-contracts 2013-04-09

---

3열

2답변

코드 계약 정적 분석기에서 이러한 속성 getter 호출을 동일한 것으로 취급하는 이유는 무엇입니까?

나는 순서를 시행하기 위해 코드 계약을 사용하여 불변의 정렬 된 단일 링크 목록 클래스를 설정하려고합니다. 나는 이것에 졸이다 몇 가지 문제로 실행 해요 :이 [Pure, ContractVerification(true)] public class Hierarchy { private readonly object _data; private

c# code-contracts 2013-04-12

---

1열

2답변

값 형식에 대한 코드 계약

방금 ​​코드 계약으로 게임을 시작 했으므로 유망한 반면 값 유형과 관련하여 몇 가지 제한 사항이있는 것 같습니다. 예 : public struct Wrap<T> where T : class { readonly T value; public Wrap(T value) { Contract.Requires(value

c# c#-4.0 clr code-contracts 2013-04-15

---