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
Avatar
Andrey Serebryansky
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.