(temporary) Implicit PureAttribute for methods whose names start with Is / Can / Has?

Question

Hello,

I do not know whether there has been a discussion about this topic before. I did not found any while searching.

As there are lots of classes without contracts (and therefore no PureAttributes), there are always some rewriter wrnings "Warning: Call to impure method...".

It would be nice if the rewriter would not produce warnings for methods with names starting with "Is", "Can" or "Has". Those methods are usually Pure. This could be only temporary until there is a better coverage with contracts.

What do you think?

Best regards
winSharp93

Answer 1

We already have the default (corresponding to the .NET coding guidelines) that properties are always pure. I'm not sure we want to bake in any more defaults, but we are open to the idea. We'll need to wait and see how many people feel the same way that you do.

Thanks!

Answer 2

It's not a bad idea. I've had the urge to do just this in the past.

---

Cheers, -MaF (Manuel Fahndrich)