code-contracts

5열

3답변

CodeContracts - "증명되지 않음"으로 INotifyPropertyChanged의 올바른 구현 시행

INotifyPropertyChanged를 올바르게 구현하는 쉬운 방법을 찾고 있습니다. 즉, PropertyChanged가 발생하면 실제로 정의 된 속성을 참조해야합니다. Microsoft의 새로운 CodeContract 도구로이 작업을 시도했지만 "CodeContracts : unproven"이 필요합니다. 여기 내 코드는 ... public seale

c# inotifypropertychanged code-contracts 2009-10-25

---

6열

2답변

정적 계약 검사기의 버그입니까?

나는이 작성하는 경우 : public sealed class Foo { private int count; private object owner; private void Bar() { Contract.Requires(count > 0); Contract.Ensures(owner == null || c

.net code-contracts 2009-12-17

---

9열

2답변

.Net 4 코드 계약 정적 분석기에 대한 대안은 무엇입니까?

.NET 4.0 코드 계약과 함께 사용되는 정적 분석기는 Team Suite 버전의 Visual Studio에서만 사용할 수 있습니다. 이는 팀 예산에 적합하지 않습니다. 계약 스타일 코드 (닷넷 코드 계약을 사용하지 않아도 됨)로 디자인에 대한 유사한 정적 분석을 제공하는 대안 (오픈 소스, 무료 또는 합리적인 가격)이 있습니까? 나는 BCL 자체가 계약

c# .net visual-studio-2010 static-analysis code-contracts 2009-10-31

---

2열

1답변

vs 2010과 코드 계약을 체결하려면 무엇을 설치해야합니까?

devlabs (버전 1.2.21023.14)의 코드 계약뿐만 아니라 2008 년과 vs 2010이 내 컴퓨터에 설치되어 있습니다. 그러나 2008 년에는 "코드 계약"탭이 없습니다. 설치해야 할 것이 있습니까?

.net visual-studio-2010 code-contracts 2009-12-22

---

32열

1답변

C 번호 : 코드 계약 대 일반 매개 변수 유효성 검사

코드의 다음과 같은 두 가지 고려 : public static Time Parse(string value) { string regXExpres = "^([0-9]|[0-1][0-9]|2[0-3]):([0-9]|[0-5][0-9])$|^24:(0|00)$"; Contract.Requires(value != null)

c# .net .net-4.0 code-contracts microsoft-contracts 2009-12-30

---

9열

5답변

.NET 4.0의 코드 계약, nullableable 참조 유형 팬을위한 기쁨 없음?

저는 VS2008 (http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx)의 코드 계약서를 가지고 놀았습니다. 그들은 확실히 좋고 방법 안의 if-then-throw 검사에 대한 견고한 대안을 제공합니다. 그럼에도 불구하고 필자는 nullable이 아닌 참조 유형에 대해 강하게 느끼는 필요성을 충족시킬 수 있기를

c# .net .net-4.0 c#-4.0 code-contracts 2009-10-01

---

6열

1답변

C++/CLI 프로젝트에서 코드 계약을 사용하려면 어떻게해야합니까?

최근에 나는 Code Contracts를 발견하고 C# 프로젝트에서 사용하기 시작했습니다. 그러나 C++/CLI로 작성된 많은 프로젝트가 있습니다. C# 및 VB의 경우 코드 계약은 프로젝트 속성 대화 상자에서 편리한 구성 패널을 제공합니다. C++/CLI 프로젝트의 경우 그러한 패널이 없습니다. 문서에서 , 나는 추가 코드 계약은 빌드 프로세스 (즉 cc

msbuild c++-cli code-contracts 2009-11-20

---

1열

1답변

유닛 테스트 C#

의 인터페이스 계약 VS2010 Beta 2에서 사용할 수있는 코드 계약 도구를 사용하여 인터페이스, 해당 인터페이스의 계약 클래스 및 인터페이스를 구현하는 두 클래스를 정의했습니다. 이제 코드를 테스트 할 때 구현 클래스를 테스트하여 해당 기능이 정확하고 계약 코드를 테스트하여 내 조건이 올바른지 알고 싶습니다. 2 가지 구현 클래스 각각에서 각 계약서를

visual-studio-2010 c#-4.0 code-contracts 2009-12-01

---

0열

1답변

코드 계약을 쿼리에 사용하는 방법은 무엇입니까?

코드 계약을 처음 접했을 때 문제가 발생했습니다. 나는 이런 식으로 뭔가를 이동하는 방법에 LINQ 쿼리에 있습니다 MyClass[] fields = (from p in rType.GetProperties() where p.CanRead let fAttr = p.GetCustomAttributes(typeof(MyCla

linq code-contracts 2009-10-13

---

1열

2답변

Microsoft.Contracts 네임 스페이스

필요한 경우 asp.net에서 Microsoft.Contracts 네임 스페이스가 필요합니까? 어떤 경우에 나는 using Microsoft.Contracts;을 쓸 수 있습니까?

c# asp.net code-contracts design-by-contract microsoft-contracts 2009-11-05

---