locked
Code Contracts Editor Extensions for VS2012 RRS feed

  • Question

  • Will the Code Contracts Editor Extensions for VS2012 be available soon?

    The hover feature that tells you the contract requirements is the only place (that I can find) the .NET Framework contracts documentation.


    -glenn-

    Thursday, August 23, 2012 7:23 PM

Answers

All replies

  • 3 month later and still no reply or release date? Hey BCL guys, do you read these questions? Or do we need to file a bug to get answers?
    Wednesday, November 7, 2012 10:15 AM
  • I have the same question!
    Wednesday, December 26, 2012 8:40 AM
  • I've been successful in communicating with them on several occasions thru the email inbox for feedback that they have setup. 

    codconfb@microsoft.com


    If this post is helpful, please mark it as such!
    Dave Black, MCPD, MCTS
    http://dave-black.blogspot.com

    Wednesday, January 2, 2013 11:20 PM
  • And you can't tell us what they said?

    -glenn-

    Thursday, January 3, 2013 12:05 AM
  • I would have obviously provided the answer had I known what it was.  My point was that I had contacted them in the past thru that email for other questions - not specifically asking about when a 2012 version would be released.

    I did email them yesterday just after I my initial response to this post.  I will re-post here when I receive a reply.


    If this post is helpful, please mark it as such!
    Dave Black, MCPD, MCTS
    http://dave-black.blogspot.com

    Thursday, January 3, 2013 3:30 PM
  • Just a quick update...

    I have not yet received a response to my email inquiry sent to the CC team.  Note that there is also another post asking about these at: http://social.msdn.microsoft.com/Forums/en-US/codecontracts/thread/bf7c6ae3-4f84-49a1-8354-23c7b971eded?prof=required


    If this post is helpful, please mark it as such!
    Dave Black, MCPD, MCTS
    http://dave-black.blogspot.com

    Friday, January 11, 2013 11:20 PM
  • The release of the VS2012 editor extensions is imminent. Thanks for the patience. We will announce it this week.


    Cheers, -MaF (Manuel Fahndrich)

    Monday, March 18, 2013 7:06 PM
  • The new editor extensions have been released.

    VS2012 version
    VS2010 version


    Cheers, -MaF (Manuel Fahndrich)

    Wednesday, March 20, 2013 3:53 PM
  • Just pulled down the VS2012 .vsix and the install fails. Below is the error log. Tried on two PCs each running VS2012 Premium Update 1 (11.0.51106.01).

    Thanks.

    03/20/13 2:02:34 PM - Microsoft VSIX Installer
    03/20/13 2:02:34 PM - -------------------------------------------
    03/20/13 2:02:34 PM - Initializing Install...
    03/20/13 2:02:34 PM - Extension Details...
    03/20/13 2:02:34 PM - Identifier      : ContractAdornments.MicrosoftResearch.2fb66ab7-53ec-479b-bd35-e9dd5be0426b
    03/20/13 2:02:34 PM - Name            : Code Contracts Editor Extensions
    03/20/13 2:02:34 PM - Author          : Microsoft Research
    03/20/13 2:02:34 PM - Version         : 1.4.60319.13
    03/20/13 2:02:34 PM - Description     : Displays Code Contracts (when editing C#) in code, Intellisense, and in metadata files.

    Inheritance:
    Displays contracts on methods with inherited contracts, or on interface/abstract methods

    Metadata:
    Displays contracts on metadata files.

    Quick Info:
    Displays contracts in Quick Info tool tips.

    Signature Help:
    Displays contracts in Signature Help tool tips.
    03/20/13 2:02:34 PM - Locale          : en
    03/20/13 2:02:34 PM - MoreInfoURL     : http://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970
    03/20/13 2:02:34 PM - InstalledByMSI  : False
    03/20/13 2:02:34 PM - SupportedFrameworkVersionRange : 4.5
    03/20/13 2:02:34 PM - 
    03/20/13 2:02:34 PM - Supported Products : 
    03/20/13 2:02:34 PM - Microsoft.VisualStudio.IntegratedShell
    03/20/13 2:02:34 PM - Version : [11.0,12.0)
    03/20/13 2:02:34 PM - Microsoft.VisualStudio.Pro
    03/20/13 2:02:34 PM - Version : [11.0,12.0)
    03/20/13 2:02:34 PM - Microsoft.VisualStudio.Premium
    03/20/13 2:02:34 PM - Version : [11.0,12.0)
    03/20/13 2:02:34 PM - Microsoft.VisualStudio.Ultimate
    03/20/13 2:02:34 PM - Version : [11.0,12.0)
    03/20/13 2:02:34 PM - 
    03/20/13 2:02:34 PM - References      : 
    03/20/13 2:02:34 PM - -------------------------------------------------------
    03/20/13 2:02:34 PM - Identifier   : CodeContractsVSIX.MicrosoftResearch.990ACB05-1AAE-4fa6-A178-9BF28206012F
    03/20/13 2:02:34 PM - Name         : Code Contracts Tools
    03/20/13 2:02:34 PM - Version      : [1.4.60307.10,2.0)
    03/20/13 2:02:34 PM - MoreInfoURL  : http://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970/file/93972/5/Contracts.devlab9ts.msi
    03/20/13 2:02:34 PM - Nested       : No
    03/20/13 2:02:34 PM - 
    03/20/13 2:02:34 PM - 
    03/20/13 2:02:34 PM - Searching for applicable products...
    03/20/13 2:02:38 PM - Found installed product - Microsoft Visual Studio 2010 Premium
    03/20/13 2:02:38 PM - Found installed product - Microsoft Visual Studio Premium 2012
    03/20/13 2:02:40 PM - The extension with ID 'ContractAdornments.MicrosoftResearch.2fb66ab7-53ec-479b-bd35-e9dd5be0426b' is not installed to Microsoft Visual Studio Premium 2012.
    03/20/13 2:02:40 PM - Found installed product - Microsoft Visual Studio Professional 2012
    03/20/13 2:02:40 PM - Found installed product - Microsoft LightSwitch for Visual Studio 2012
    03/20/13 2:02:40 PM - Found installed product - Microsoft Visual Studio 2012 Shell (Integrated)
    03/20/13 2:02:40 PM - Found installed product - Global Location
    03/20/13 2:02:40 PM - Found installed product - ssms
    03/20/13 2:02:44 PM - The following target products have been selected...
    03/20/13 2:02:44 PM - Microsoft Visual Studio Premium 2012
    03/20/13 2:02:44 PM - 
    03/20/13 2:02:44 PM - Beginning to install extension to Microsoft Visual Studio Premium 2012...
    03/20/13 2:02:44 PM - Install Error : Microsoft.VisualStudio.ExtensionManager.MissingReferencesException: This extension cannot be installed because the following references are missing:
    - Code Contracts Tools
       at Microsoft.VisualStudio.ExtensionManager.ExtensionManagerService.CheckForInstallBlockers(InstallableExtensionImpl extension, IInstalledExtensionList modifiedInstalledExtensionsList, Boolean isNestedExtension, Boolean& olderVersionInstalled)
       at Microsoft.VisualStudio.ExtensionManager.ExtensionManagerService.InstallInternal(InstallableExtensionImpl extension, Boolean perMachine, Boolean isNestedExtension, IDictionary`2 extensionsInstalledSoFar, List`1 extensionsUninstalledSoFar, IInstalledExtensionList modifiedInstalledExtensionsList, AsyncOperation asyncOp, UInt64 totalBytesToWrite, UInt64& totalBytesWritten)
       at Microsoft.VisualStudio.ExtensionManager.ExtensionManagerService.BeginInstall(IInstallableExtension installableExtension, Boolean perMachine, AsyncOperation asyncOp)
       at Microsoft.VisualStudio.ExtensionManager.ExtensionManagerService.InstallWorker(IInstallableExtension extension, Boolean perMachine, AsyncOperation asyncOp)


    -glenn-

    Wednesday, March 20, 2013 6:10 PM
  • Hi Glenn,

    It requires the latest version of the tools (also released today) to be installed first:

    http://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970

    - Dave


    http://davesexton.com/blog

    Wednesday, March 20, 2013 6:16 PM
  • Ah, that did it. Thanks.


    -glenn-

    Wednesday, March 20, 2013 6:32 PM