http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.pnghttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/Mike Barnett - Getting started with Code Contracts in Visual Studio 2008http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/en-usTue, 03 Mar 2009 08:34:05 GMTTue, 03 Mar 2009 08:34:05 GMTEvNet (EvNet, Version=1.0.3608.3122, Culture=neutral, PublicKeyToken=null)aaaaw its only for vs team suite :( pleeeeese make a version for those of us not able to convice our managers to get TS? :) <BR><BR>--edit--<BR>oh wait, there is one for pro as well :D<BR>(use the second link, not the devlabs one)http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=459506Tue, 03 Mar 2009 08:31:16 GMThttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=4595060http://channel9.msdn.com/459506/WebViewBug.aspx?EVT=0aaaaw its only for vs team suite :( pleeeeese make a version for those of us not able to convice our managers to get TS? :) --edit--oh wait, there is one for pro as well :D(use the second link, not the devlabs one)Allan Lindqvist0http://channel9.msdn.com/459506/Trackback.aspxAwesome to say the least!!<BR><BR>Ensuring that your class is in a correct state would extremely cut back on how often you have to validate your code. <BR><BR>I'm going to start using this right away.<BR><BR>Does anyone know if I can use this with Windows Mobile development in Visual Studio?http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=459483Tue, 03 Mar 2009 04:22:43 GMThttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=4594830http://channel9.msdn.com/459483/WebViewBug.aspx?EVT=0Awesome to say the least!!Ensuring that your class is in a correct state would extremely cut back on how often you have to validate your code. I'm going to start using this right away.Does anyone know if I can use this with Windows Mobile development in Visual Studio?ChazB0http://channel9.msdn.com/459483/Trackback.aspxwoah... that awsome :O <BR>the static check in perticular is really cool :)<BR><BR>is there a way to customise the runtime checks&nbsp;a little more though? [i just watched the video so this might be obvious in practice]http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=459453Tue, 03 Mar 2009 00:59:10 GMThttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=4594530http://channel9.msdn.com/459453/WebViewBug.aspx?EVT=0woah... that awsome :O the static check in perticular is really cool :)is there a way to customise the runtime checks&nbsp;a little more though? [i just watched the video so this might be obvious in practice]Allan Lindqvist0http://channel9.msdn.com/459453/Trackback.aspxSeems that I can soon throw my custom made post condition check snippets away!! Nicehttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=458934Thu, 26 Feb 2009 19:00:24 GMThttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=4589340http://channel9.msdn.com/458934/WebViewBug.aspx?EVT=0Seems that I can soon throw my custom made post condition check snippets away!! NiceChris Richner0http://channel9.msdn.com/458934/Trackback.aspxI was really excited about contracts and invariants after watching the Spec# video a while ago. It is an absolute delight to find out that this will become part of the base class library, and I don't need to placate managers or developers to use contracts. Just a call to System.Diagnostics.Contracts will do the trick.<br><br>Thank you for the demonstration, I have put aside all my free time to try this out.<br>http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=458734Wed, 25 Feb 2009 06:30:32 GMThttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=4587340http://channel9.msdn.com/458734/WebViewBug.aspx?EVT=0I was really excited about contracts and invariants after watching the Spec# video a while ago. It is an absolute delight to find out that this will become part of the base class library, and I don't need to placate managers or developers to use contracts. Just a call to System.Diagnostics.Contracts&#8230;vesuvius0http://channel9.msdn.com/458734/Trackback.aspxThis is a fine place to ask, but in general we will be monitoring the forum more, so please use that for questions.&nbsp;(<A href="http://social.msdn.microsoft.com/Forums/en-US/codecontracts/threads/">http://social.msdn.microsoft.com/Forums/en-US/codecontracts/threads/</A>) But yes, you can have preconditions on any method, not just constructors. In the video, we just ran out of time before we could write a method more complicated than ToInt() and since that one had no parameters, it didn't make any sense to put a precondition on it.<BR><BR>Thanks!http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=458705Wed, 25 Feb 2009 02:20:21 GMThttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=4587050http://channel9.msdn.com/458705/WebViewBug.aspx?EVT=0This is a fine place to ask, but in general we will be monitoring the forum more, so please use that for questions.&nbsp;(http://social.msdn.microsoft.com/Forums/en-US/codecontracts/threads/) But yes, you can have preconditions on any method, not just constructors. In the video, we just ran out of&#8230;mbarnett0http://channel9.msdn.com/458705/Trackback.aspxI had one question about how to use the contract, and please let me know if this is not the right place to ask.<BR>Question I have is can the preconditions only go in the constructor?&nbsp; It makes sense to me that this would be the case, but I figued I'd ask just in case.&nbsp; I have a custom attribute where I need to check if a variable object inplements a specific interface, but the object is passed in a method and not in the constructor.<BR><BR>Thanks,<BR>DoNhttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=458664Tue, 24 Feb 2009 20:47:40 GMThttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=4586640http://channel9.msdn.com/458664/WebViewBug.aspx?EVT=0I had one question about how to use the contract, and please let me know if this is not the right place to ask.Question I have is can the preconditions only go in the constructor?&nbsp; It makes sense to me that this would be the case, but I figued I'd ask just in case.&nbsp; I have a custom&#8230;Don Hansen0http://channel9.msdn.com/458664/Trackback.aspx<P>There are several reasons to put the contracts into the code as opposed to using custom attributes. hillr's reply is definitely one of the big reasons. You can see our comments on this topic in our FAQ:&nbsp;<A href="http://msdn.microsoft.com/en-us/devlabs/dd492004.aspx">http://msdn.microsoft.com/en-us/devlabs/dd492004.aspx</A>. </P>http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=458652Tue, 24 Feb 2009 18:40:54 GMThttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=4586520http://channel9.msdn.com/458652/WebViewBug.aspx?EVT=0There are several reasons to put the contracts into the code as opposed to using custom attributes. hillr's reply is definitely one of the big reasons. You can see our comments on this topic in our FAQ:&nbsp;http://msdn.microsoft.com/en-us/devlabs/dd492004.aspx. mbarnett0http://channel9.msdn.com/458652/Trackback.aspxMy guess is because any expressions (a == b || c != d)&nbsp;you put in an attribute (as a string)&nbsp;can't be verified by the compiler.&nbsp;&nbsp; Any errors wouldn't be noticed until runtime.http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=458594Tue, 24 Feb 2009 05:46:29 GMThttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=4585940http://channel9.msdn.com/458594/WebViewBug.aspx?EVT=0My guess is because any expressions (a == b || c != d)&nbsp;you put in an attribute (as a string)&nbsp;can't be verified by the compiler.&nbsp;&nbsp; Any errors wouldn't be noticed until runtime.hillr0http://channel9.msdn.com/458594/Trackback.aspxI watched the Spec# Expert to Expert vid with Erik Meijer a while back and it is pretty interesting stuff. Looking forward to this to see how far it has come.<br>http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=458587Tue, 24 Feb 2009 03:42:15 GMThttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=4585870http://channel9.msdn.com/458587/WebViewBug.aspx?EVT=0I watched the Spec# Expert to Expert vid with Erik Meijer a while back and it is pretty interesting stuff. Looking forward to this to see how far it has come.Sparky0http://channel9.msdn.com/458587/Trackback.aspxWhy put the contract into the method, as opposed to an attribute? How does this code rewriting work with the standard compiler?http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=458577Tue, 24 Feb 2009 01:37:18 GMThttp://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/?CommentID=4585770http://channel9.msdn.com/458577/WebViewBug.aspx?EVT=0Why put the contract into the method, as opposed to an attribute? How does this code rewriting work with the standard compiler?Joshua Ross0http://channel9.msdn.com/458577/Trackback.aspx