Analyzer suggesting pure?

[electricessence]

I think this would be the holy grail here.
If it were possible that you could suggest a method be marked as [Pure].
This would need to be an opt-in or at maximum a suggestion that comes along with the analyzer.
You could also split your analyzer into different ones. One that suggests [Pure] (maybe depends on the other) and the more important one, one that enforces it.

[electricessence]

Side note: I'm doing my best to beta test this for you by trying it in my own libs.
It's not easy! :)

[alexyorke]

Thanks for the beta testing assistance! I'll go through the helpful feedback that you have provided soon.

[alexyorke]

I am rewriting the analyzer from scratch on the rewrite-cfg branch which will support this. I'll keep this issue open in the meantime though as the rewrite is still in progress.

[electricessence]

This ultimately may be something for just super nerds, but I really like where this is going. :)
I got into using [Pure] because of code contracts, and I know my functional friends would appreciate all this.

[alexyorke]

This should be fixed, it is now flagged as PS0004

[electricessence]

Oh really? It will "suggest" a function be pure? :O

[electricessence]

Any installable/downloadable updates?

[alexyorke]

I just released 0.0.2, but I may have broken the [Pure] attribute, so you may have to use [EnforcePure] for the time being.

[electricessence]

Ok. So the VSIX analyzer is updated too?
Lemme know if you've got the [Pure] update working as that's what I want to use.

[alexyorke]

v0.0.3 released for VSIX analyzer which includes fix for the [Pure] attribute. It may take a few hours to appear however