我想创建一个方法,并确保在调用之后不更改IsValid,无论是在调用之前它是真还是假.
这样的事情有支持吗？
public bool IsValid { get { ... } } public void SomeMethod() { Contract.Ensures(this.IsValid == Contract.OldValue(this.IsValid)); ... }
