Native R# Support for Code Contracts?

Good morning,

now that .Net 4.0 is out and Code Contracts being one of the bigger additions to it, does R# have native support for them and their capabilities & constraints somewhere on the roadmap? Right now I disable R# entirely for all my Code Contracts annotated libraries because there's too much distraction with false warnings etc.. but is there something planned for the future?

-J

2 comments
Comment actions Permalink

Hello Jorg,

As of today, we do not have any specific plans regarding Code Contracts support.
Thank you!

Andrey Serebryansky
Support Engineer
JetBrains, Inc
http://www.jetbrains.com
"Develop with pleasure!"

Good morning,

now that .Net 4.0 is out and Code Contracts being one of the bigger
additions to it, does R# have native support for them and their
capabilities & constraints somewhere on the roadmap? Right now I
disable R# entirely for all my Code Contracts annotated libraries
because there's too much distraction with false warnings etc.. but is
there something planned for the future?

-J

---
Original message URL:
http://www.jetbrains.net/devnet/message/5265370#5265370



0
Comment actions Permalink

Andrey,

thanks for the quick reply! I've posted a R# feature request for that at http://youtrack.jetbrains.net/issue/RSRP-182553

-J

0

Please sign in to leave a comment.