c# - '检测到没有 [Pure] 的方法调用'......但是 Pure 在那里

Question

这是接口(interface)契约类的一部分。

[Pure]
public bool IsDirty() {
    throw new NotImplementedException();
}

public void Save() {
    Contract.Ensures(!this.IsDirty()); //WARNING
    throw new NotImplementedException();
}

它产生了这个警告:

warning CC1036: CodeContracts: Detected call to method 'IEntityObject.IsDirty' without [Pure] in contracts of method 'EntityObjectContract.Save'.

...即使存在 Pure 属性。我试过重建、重新打开 Visual Studio，但每次都是相同的结果。知道如何摆脱这个警告吗？我错过了什么吗？

Answer 1

看起来它正在寻找 IEntityObject.IsDirty() 方法中的属性。

在我看来，您需要将此属性添加到接口(interface)中的方法声明中吗？

public interface IEntityObject
{
    [Pure]
    bool IsDirty();

    //...
}