Hi, sorry to be offtopic but I could not find information about this anywhere.
I noticed the //^ prefixed annotations in the sourcecode which look like Spec# contracts in C# source. Does anyone have information about those contract annotations? How do you process/check them?
I downloaded the CodeContracts package for VS 2008 but it seems to use method calls instead of comments. Google yields no results either, probably because I don't know what keywords to search for. The code contracts coming with C# 4.0 seem to be based on
method calls as well.
The reason I'm interested in this is that I'd like to use the static checker without adding a hard dependency to Microsoft.Contracts.