declare code as side-effects free using microsoft code contracts

Question

Is there a way to declare a method as side-effects free using Microsoft Code Contracts (.net 4)?

Answer 1

The [Pure] attribute might be what you're looking for. Just attach it to your method and Code Contracts will assume it doesn't involve any state changes. Note that it doesn't actually enforce or check anything, it just tells the system to make that assumption, so it's up to you to make sure you're using it appropriately.