code-contracts

1열

1답변

Microsoft 코드 계약을 사용하여 메소드가 예외를 throw하지 않아야하는 불변성을 확인할 수 있는지 궁금합니다. 다음과 같이 사용 사례는 다음과 같습니다 을 나는 수입자가 수입의 여러 단계를 정의하는 수입에 대한 기본 클래스를 사용하여 첨부 로거로 수입이 있습니다 파일을 읽기; 데이터를 일반 데이터 레코드에 저장하십시오. 레코드에서 도메인 개체를 만

4열

1답변

'[Pure]가없는 메소드에 대한 감지 된 호출 ...'... 그러나 Pure가 있습니다.

이것은 인터페이스의 계약 클래스의 일부입니다. 경고 CC1036 : CodeContracts : 방법 'EntityObjectContract.Save'의 계약에 [순수]없이 'IEntityObject.IsDirty'메서드에 대한 호출을 감지 [Pure] public bool IsDirty() { throw new NotImplementedExce

2열

2답변

코드 계약 런타임

가 어떻게 코드 계약을 사용하여이 문제를 해결할 수있는 오류 메시지 : User message to contract call can only be string literal, or a static field, or static property that is at least internally visible. 편집 : 비슷한와 계약을 사용할 때 나는이 정보를

1열

2답변

.net 4.0에서 다른 개발자에게 영향을주지 않고 codeContracts를 사용하십시오.

저는 codeContracts를 처음 접했습니다. 나는 그것이 작동하도록 라이브러리를 다운로드해야한다는 사실을 모르겠다. 마이크로 소프트가 전체 프레임 워크에 포함시키지 않는 이유를 이해하지 못했다. 다른 팀원들에게 다운로드를 원하지 않습니다. 질문 : 내가 확장을 다운로드하고 그들이 최신이나 또는 직장을 얻을 그들은 아무 상관이없는 경우 있도록 빌드에 D

5열

1답변

공용 메서드에서 코드 계약을 사용하려는 이유는 무엇입니까?

IMHO, 매개 변수가있는 공용 메서드는 다른 프로그래머가 호출 할 수 있으므로 매개 변수 값을 확인하고 해당 매개 변수가 유효하지 않은 경우 의미가 유용합니다 (ArgumentException). 이 이상 ... public void Toto(string parameter) { Contract.Requires(parameter != null);

0열

2답변

인터페이스 읽기 전용 속성이

다음과 같은 인터페이스를 고려 변경되지 않습니다 확인? ContractInvariantMethod -marked 메서드 내에서 Contract.OldValue을 사용해 보았지만 외관상으로는 지원되지 않습니다. 내가 할 수있는 건?

0열

1답변

종속성으로 사용되는 내 보낸 인터페이스에만 계약에 의존하는 것이 좋지 않습니까?

첫째, 코드 계약을 사랑하지만 내가 한 생각에 조금 혼란 스러워요 : 내 클래스 MyClass 계약 클래스에 대한 인터페이스 IDependency되는 종속성을 사용 (internal abstract class IDependencyContracts)을 선언하고 내 수업은 크게이 계약에 의존 . 클라이언트 코드에서 제공하는 인터페이스의 사용자 정의 구현을 위해

0열

1답변

프로젝트를 게시 할 때 ccrewrite가 호출되지 않는 이유는 무엇입니까?

마침내 ccrewrite가 작동하고 유닛 테스트가 끝났지 만 웹 프로젝트를 게시 할 때 다시 작성되지 않은 것처럼 끊임없이 폭발합니다. JustDecompile으로 확인 후, 코드를 재 작성되지 않았습니다 Contract.Requires<ArgumentNullException>(log != null, "Must provide a valid ILog to U

1열

1답변

라이브러리의 메소드가 순수하다는 것을 어떻게 표현합니까?

Contract.Requires (vg., 메서드 Regex.Matches)에서 수정할 수없는 라이브러리의 메서드를 호출해야하는 경우이 메서드가 순수하다는 것을 나타내는 방법이 있습니까? Contract.Requires<ArgumentException>(Regex.Matches(password, "\d").Count > 1) 경고 : 계약에있어서의 메소

4열

1답변

VB.NET 프로젝트에서 코드 계약의 컴파일 시간 감지

VB.NET 프로젝트에서 Code Contracts을 설정하려고합니다. Public Function Divide(ByVal numerator As Integer, ByVal divisor As Integer) As Double Contract.Requires(Of ArgumentOutOfRangeException)(divisor <> 0, "Div