code-contracts

0열

1답변

특정 위치에서 특정 dll이나 서비스 코드 사용을 방지하기

응용 프로그램의 특정 부분에서 특정 DLL/네임 스페이스/어셈블리를 사용하지 못하게하는 간단한 방법이 있습니까? 내 컨트롤러에서 회사 전체 서비스 레이어를 사용하려고 할 때 경고 메커니즘을 사용하고 싶습니다. 대신 서비스 레이어와 컨트롤러 (서비스 레이어가 바뀌고 우리는 새 SDK에 대해 조금씩 바꿀 것입니다.)가 있어야합니다. 어떤 방법이 있습니까? 컨트

c# asp.net-mvc asp.net-mvc-4 code-contracts 2012-07-24

---

0열

1답변

코드 계약 컴파일러는 이것이 null 일 수 있다고 어떻게 생각합니까?

나는 패턴 것 같다 여러 경우에 명중했다 : Contract.Ensures(Contract.Result<BlahType>() != null); ... BlahType Blah = new BlahType(); ... ... return Blah; 을하며 불만. 필드는 모두 비공개이며 메서드의 다른 부분은 아무 것도 사용하지 않습니다. (이것들은

c# code-contracts 2012-07-25

---

3열

1답변

코드 계약은 null 조건을 확인하지 않습니다. 왜?

Contracts for .NET이이 코드에 대해 불평하지 않는 이유는 무엇입니까? private static User GetUser() { var sFirstName = Console.ReadLine(); var sLastName = Console.ReadLine(); if (sLastName == "NULL") {

c# .net code-contracts 2012-06-27

---

0열

1답변

while 루프가 발생한 후 조건을 CodeContracts에 증명하는 방법

CodeContracts로 재생하려고합니다. 나는 약간의 기능으로 시작하고있다. public static string MyTrim(string text) { Contract.Requires(text != null); Contract.Ensures(Contract.Result<string>().Length == 0 || Contract.R

c# .net code-contracts 2012-06-27

---

2열

1답변

코드 계약 런타임 검사 예외

우리는 코드베이스에서 Microsoft의 코드 계약을 사용합니다. 프로젝트에 "런타임 계약 검사 수행"확인란이 선택되어 릴리스 된 빌드 구성없이 Contract.Requires 문이있었습니다. 릴리스 빌드가 Contract.Requires 문에 도달하면 예외가 생성됩니다. 이로 인해 결국 코드 콘트랙트를 사용하는 웹 서비스에서 System.ServiceMo

c# code-contracts 2012-06-29

---

11열

1답변

IEnumerable 계약 전제 조건으로 인한 여러 열거 형

IEnumerable 매개 변수가 비어 있어야합니다. 아래의 것과 같은 전제 조건이있는 경우 컬렉션이 그 중에 열거됩니다. 그러나 다음에 내가 그것을 참조 할 때 다시 열거 될 것이다. (ReSharper에서에 경고 A "는 IEnumerable의 가능한 여러 열거".) void ProcessOrders(IEnumerable<int> orderIds) {

c# .net ienumerable validation code-contracts 2012-07-04

---

13열

1답변

부동 소수점 논리의 올바른 코드 적용 범위를 생성하는 방법은 무엇입니까?

나는 새로운 코드를 손으로 제작하고있다. 나는 돌이 더듬 거리지 않도록 해두 고 싶다. 코드 집약을 지정하여 Pex를 안내하여 수치 집약적 인 코드에서 좋은 적용 범위를 생성 할 수있는 구체적인 방법이 있습니까? 배경 정보를 보려면 'float'키워드로 http://research.microsoft.com/en-us/projects/pex/pexconcep

c# unit-testing code-contracts numerical pex 2012-05-26

---

2열

1답변

코드 계약 및

이의 내가이 과부하로하는 방법을 정의하는 유틸리티 라이브러리 쓰고 있어요 가정 해 봅시다 오버로드 : 나는 단 하나의 방법으로 논리를 정의하는 가장 좋은 방법은 public static class MyClass { public static void DoSomething(string myValue, bool myFlag) { C

c# code-contracts 2012-07-19

---

-1열

1답변

.NET 4.0에서 코드 계약을 사용하여 입력 매개 변수 컬렉션을 정렬하는 가장 효과적인 방법은 무엇입니까?

입력 매개 변수 정렬 된 전제 조건 적용을 구현하는 방법은 무엇입니까?

c#-4.0 .net-4.0 static-analysis code-contracts 2012-07-21

---

1열

1답변

CodeContracts : 가정/어설트 재사용?

MSDN의 CodeContracts forum에이 내용을 올렸지 만 아무도이 문제를 조사하거나 신경 쓰지 않아도됩니다. 반복적 인 주장을 줄이고 재사용 가능하게 만들려고했지만 불행히도 이것이 작동하지 않습니다. 왜 그런지 설명 할 수 있습니까? [ContractVerification(false)] public static class Assert {

c# assert code-contracts 2012-07-25

---