Moq和代码合同

使用类不变量时，Code契约似乎在任何地方都会引入代码。 像这样的东西

[ContractClassFor(typeof(IX))] interface IXContract { [ClassInvariant] void Invariant() { ... } } [ContractClass(typeof(IXContract))] interface IX { event EventHandler b; } var a = new Mock(); a.Raise(x => xb += null); 

失败并显示错误消息

 Could not locate event for attach or detach method Void $InvariantMethod$(). 

有人知道解决方案吗？

Answer 1

运行时unit testing“通过”而不产生exception：

 [ContractClassFor(typeof(IX))] class IXContract { [ContractInvariantMethod] void Invariant() { } } [ContractClass(typeof(IXContract))] public interface IX { event EventHandler b; } /// 
 /// Summary description for UnitTest1 /// 
 [TestClass] public class UnitTest1 { public void MyTest() { var a = new Mock(); a.Raise(x => xb += null); } } 

我不完全确定发生了什么，以及你是如何编译（或转录）上述内容的，但我认为你不能让“ContractClassFor”属性装饰一个接口，你当然不能实现“{ ……}“在界面中。 您还需要将您的界面IX公开以模拟它（或者在您的属性中使用InternalsVisibleTo（）城堡代理内部）。

希望这会有所帮助，但如果这不能引导您实现您的目标，请随时使用新代码更新您的post。

Answer 2

您的代码不正确。 它应该如下所示：

 [ContractClassFor(typeof(IX))] internal abstract class XContract : IX { // Invariants belong on your actual implemenation; interfaces don't dictate implemenation so this isn't appropariate here. // [ ContractInvariantMethod] // void Invariant() { ... } public event EventHandler b { get { return default(EventHandler); } set { }} } [ContractClass(typeof(XContract))] interface IX { event EventHandler b; } var a = new Mock(); a.Raise(x => xb += null); 

请注意，Contract类是Internal Abstract，它现在也实现了您的接口。 Invariant不适合那里，因为那是实施细节; 你不知道人们将如何实现你的界面，所以不要把它放在那里。 另外，不变方法的属性是ContractInvariantMethodAttribute 。