Sign in
 
DevLabs > DevLabs Forums > Code Contracts > Will ccrewrite ship as part of the .NET SDK - or just with VS?
Ask a questionAsk a question
Search Forums:
 

AnswerWill ccrewrite ship as part of the .NET SDK - or just with VS?

  • Tuesday, July 28, 2009 5:20 AMJoe AlbahariMVPUsers MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     
    Sign In to Vote
    0
    Sign In to Vote
    Will ccrewrite ship as part of the .NET SDK - or just with VS?

    I presume cccheck will ship only with VS Team Edition.

    Thanks

    Joe
    Write LINQ queries interactively - www.linqpad.net
     

Answers

  • Wednesday, August 12, 2009 4:17 PMMike BarnettMSFT, OwnerUsers MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     Answer
    Sign In to Vote
    0
    Sign In to Vote
    Right, it will *not* ship with VS2010. You will have to go to DevLabs and download the Code Contracts installer in order to use any of the tools. That is definitely not as nice as having it in the "box", but the tradeoff that we get by being able to release frequently seems to be worth it.
     
  • Wednesday, October 28, 2009 1:55 AMManuel FahndrichMSFT, OwnerUsers MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     Answer
    Sign In to Vote
    0
    Sign In to Vote
    To be absolutely clear: - the Contract tools neither ship with the SDK nor with VS - the only thing that ships in the SDK is the contract class - this makes it possible to author contracts and compile code containing contracts without an extra download. But obviously the contracts have no effect in this scenario. So the tools need to be downloaded from DEVLABS for the forseable future.
    Cheers, -MaF (Manuel Fahndrich)
     

All Replies

  • Friday, July 31, 2009 1:26 AMManuel FahndrichMSFT, OwnerUsers MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     
    Sign In to Vote
    0
    Sign In to Vote
    At the moment, the Contract tools will only ship as part of the separate Devlabs download. This way, we can update it more frequently. It may ship with another vehicle in the future but not for VS2010 or CLR 4.0.

    Cheers, -MaF (Manuel Fahndrich)
     
  • Friday, July 31, 2009 1:43 AMJoe AlbahariMVPUsers MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     
    Sign In to Vote
    0
    Sign In to Vote
    Are you saying that ccrewrite won't ship with VS2010?

    But doesn't VS2010 rely on it? Will you be able to use code contracts at all in VS2010 without a separate download?

    Joe
    Write LINQ queries interactively - www.linqpad.net
     
  • Wednesday, August 12, 2009 4:17 PMMike BarnettMSFT, OwnerUsers MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     Answer
    Sign In to Vote
    0
    Sign In to Vote
    Right, it will *not* ship with VS2010. You will have to go to DevLabs and download the Code Contracts installer in order to use any of the tools. That is definitely not as nice as having it in the "box", but the tradeoff that we get by being able to release frequently seems to be worth it.
     
  • Wednesday, October 28, 2009 1:55 AMManuel FahndrichMSFT, OwnerUsers MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     Answer
    Sign In to Vote
    0
    Sign In to Vote
    To be absolutely clear: - the Contract tools neither ship with the SDK nor with VS - the only thing that ships in the SDK is the contract class - this makes it possible to author contracts and compile code containing contracts without an extra download. But obviously the contracts have no effect in this scenario. So the tools need to be downloaded from DEVLABS for the forseable future.
    Cheers, -MaF (Manuel Fahndrich)