This project has moved. For the latest updates, please go here.

IntelliSense component and Code Contracts

Topics: Developer Forum, User Forum
Aug 18, 2013 at 1:17 PM

it seems that the IntelliSense component is removing all Code Contracts related information (e.g. <requires>, <ensures>, ...) from the generated XML files. Is there a workaround or fix?

Aug 18, 2013 at 8:48 PM
IntelliSense only shows a limited set of elements. The component will remove everything that isn't relevant. Are code contract elements part of normal IntelliSense (do they show up in Visual Studio in the IntelliSense tooltips)? If so, they'll need to be added to the set that gets written out to the files.

Nov 11, 2013 at 1:26 PM
Yes code contracts are displayed in IntelliSense when the code contracts extension in visual studio is installed.
Nov 12, 2013 at 7:10 PM
I've added the code contracts elements to the ones written out by the IntelliSense build component.