Unable to Service Request

Unable to Service Request

For the latest headlines and to see what's new, visit the MSDN home page.

Check out the various MSDN Developer Centers where you can find the latest product information, technical resources, and community offerings.

Visit the MSDN Library for the latest technical articles, reference documentation, downloads, and more.
© 2013 Microsoft. All rights reserved.
Microsoft Developer Network >
> 
> 
(Pre/post)conditions suppressions on contract abbreviators.

Unanswered (Pre/post)conditions suppressions on contract abbreviators.

  • 16 April 2012 15:09
     
     
    Masuk untuk Memilih
    0

    I noticed that (pre/post)conditions supressions (SuppressMessage attributes with "EnsuresInMethod" and "RequiresAtCall" modifiers) placed on abbreviators (methods marked with ContractAbbreviator attribute) are not considered by static checker. Now if I have (pre/post)condition in abbreviator that is too complex for static checker I forced to copy suppression to all usages of this abbreviator. I think it would be good feature if static cherker will consider suppressions on abbreviators or rewriter will copy it to all usages of abbreviator.

     
Unable to Service Request

Unable to Service Request

For the latest headlines and to see what's new, visit the MSDN home page.

Check out the various MSDN Developer Centers where you can find the latest product information, technical resources, and community offerings.

Visit the MSDN Library for the latest technical articles, reference documentation, downloads, and more.
© 2013 Microsoft. All rights reserved.