Home/ Questions/Q 804717
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-05-14T23:57:49+00:00

After reading about the System.Diagnostics.Contracts.Contract static class that has been influenced by the awesomeness

  • 0

After reading about the System.Diagnostics.Contracts.Contract static class that has been influenced by the awesomeness of Spec# I was thrilled and immediately started peppering my code with calls to Contract.Requires() and Contract.Ensures().

I guess it’s just because my code is so super-awesome and bug-free that checking that those calls actually did something just didn’t come up until recently. A bug slipped through and I came to the realization that these calls do not do anything! I would have thought that they at least throw an exception when the condition is violated but no such luck.

Am I missing something? Does anyone know what the heck is the point?

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    From the Contract Class page at MSDN:

    You must use a binary rewriter to
    insert run-time enforcement of
    contracts. Otherwise, contracts such
    as the Contract.Ensures method can
    only be tested statically and will not
    throw exceptions during run time if a
    contract is violated. You can download
    the binary rewriter CCRewrite from
    Code Contracts on the MSDN DevLabs Web
    site. CCRewrite comes with a Visual
    Studio add-in that enables you to
    activate run-time contract enforcement
    from the project Properties page. The
    binary rewriter and the Visual Studio
    add-in do not ship with Visual Studio
    2010 or the Windows SDK.

    • 0