Proposed Feature: Design by Contract Support

I've created a feature request to add Design by Contract support with static
analysis to a future version of ReSharper. ReSharper's powerful static
analysis engine seems ideal for realtime and/or compile-time analysis and
verification of DbC constructs. DbC support could be implemented in a
similar way as Annotations in the R# 4.0 EAP. I encourage anyone interested
to vote for the feature:


Please sign in to leave a comment.