코드 계약 : 상속 된 인터페이스를 다루는 방법?

Question

MS 코드 계약을 사용 중이며 인터페이스 상속 및 ContractClassFor 특성을 사용하여 문제가 발생했습니다.

을 감안할 때 이러한 인터페이스 및 계약 클래스 :

[ContractClass(typeof(IOneContract))] 
interface IOne { } 
[ContractClass(typeof(ITwoContract))] 
interface ITwo : IOne { } 

[ContractClassFor(typeof(IOne))] 
abstract class IOneContract : IOne { } 
[ContractClassFor(typeof(ITwo))] 
abstract class ITwoContract : IOneContract, ITwo { } 

는 이제 IONE 및 ITwo 상당한 인터페이스가 있다고 가정 해 봅시다. 따라서 IOneContract는 필요한 검사를 위해 상당한 양의 코드를 포함하게됩니다.

IOne 인터페이스에 대한 ITwoContract의 모든 것을 복제하고 싶지 않습니다. ITwo 인터페이스에 대한 새로운 계약 만 추가하려고합니다. 하나의 계약 클래스를 다른 클래스에서 상속받는 것은 해당 코드를 재사용 할 수있는 가능성이있는 것으로 보입니다. 그러나 다음과 같은 오류 메시지가 나타납니다.

코드 계약의 제한 사항입니까? 아니면 잘못 했습니까? 우리는 프로젝트에서 많은 인터페이스 상속을 가지고 있으며,이 문제를 해결하는 방법을 모르는 경우 코드 계약의 거래 차단기처럼 느껴집니다.

Answer 1

대신 : 당신은 ITwo에 새로운 방법에 대한 계약을 제공해야

[ContractClassFor(typeof(ITwo))] 
abstract class ITwoContract : ITwo { } 

:

[ContractClassFor(typeof(ITwo))] 
abstract class ITwoContract : IOneContract, ITwo { } 

그냥 계약을 상속합니다. 또는 CC는 불평 IOneContract에서 계약이 자동으로 상속됩니다, 당신은, 당신이이 ITwoContract에 IOne에 대한 계약을 제공 할 수 사실 추상적 인 — 모든 상속 IOne 방법을 선언 할 수 있습니다 :

예를 들어, 경우 이것을 가지고 : 예상대로

[ContractClass(typeof (IOneContract))] 
interface IOne 
{ 
    int Thing { get; } 
} 

[ContractClass(typeof (ITwoContract))] 
interface ITwo : IOne 
{ 
    int Thing2 { get; } 
} 

[ContractClassFor(typeof (IOne))] 
abstract class IOneContract : IOne 
{ 
    public int Thing 
    { 
     get 
     { 
      Contract.Ensures(Contract.Result<int>() > 0); 
      return 0; 
     } 
    } 
} 

[ContractClassFor(typeof (ITwo))] 
abstract class ITwoContract : ITwo 
{ 
    public int Thing2 
    { 
     get 
     { 
      Contract.Ensures(Contract.Result<int>() > 0); 
      return 0; 
     } 
    } 

    public abstract int Thing { get; } 
} 

그런 다음이 구현은, 두 방법의 "검증되지 않은 계약"을 말할 것이다 :

class Two : ITwo 
{ 
    public int Thing 
    { 
     get { return 0; } 
    } 

    public int Thing2 
    { 
     get { return 0; } 
    } 
}