Home/ Questions/Q 730901
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-05-14T06:57:53+00:00

.NET 4 introduced Code Contracts as a new feature. I’d like to use CC,

  • 0

.NET 4 introduced Code Contracts as a new feature. I’d like to use CC, but provide files that can still run in 3.5 SP1. Is that possible? Can I only use parts of the new functionality? Apparently it is possible to have CC only do static checks without being included in the binary files, is that correct?

I’m aware CC was available for 3.5 as separate module, is this a feasible workaround in case I can’t use the 4 version of CC? Is there a difference in the feature set?

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    I’d like to use CC, but provide files
    that can still run in 3.5 SP1. Is that
    possible?

    You can’t use .NET 4.0 CC but you can use Microsoft.Contracts.dll which is the 3.5 CC assembly.

    Apparently it is possible to have CC
    only do static checks without being
    included in the binary files, is that
    correct?

    Yes. The premium edition includes the static checker, but you need VS2008 Team System or VS2010 Premium/Ultimate to use Code Contracts Premium Edition.

    I’m aware CC was available for 3.5 as
    separate module, is this a feasible
    workaround in case I can’t use the 4
    version of CC?

    Yes it is still available. Get it from http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx

    • 0