Можно ли указать контракты кода, чтобы гарантировать, что метод не изменяет состояние объекта.

Допустим, у меня есть логическое свойство IsValid для моего объекта.

Я хотел бы создать метод и убедиться, что IsValid не изменится после его вызова, независимо от того, было ли оно истинным или ложным до вызова.

Есть ли такая поддержка?