http://lukhezo.com/2009/02/25/code-contracts-forthcoming-in-net-40/ .NET Haberdasher Thu, 22 Dec 2011 04:06:39 +0000 hourly 1 http://wordpress.com/ http://lukhezo.com/2009/02/25/code-contracts-forthcoming-in-net-40/#comment-564 Wed, 14 Oct 2009 15:06:23 +0000 http://castalian.wordpress.com/2009/02/25/code-contracts-forthcoming-in-net-40/#comment-564 One thing to note in your example. The static checker would produce an unproven ensures in the VB sample. The ToInt method is using floating-point division rather than integer division. Since part of the Ensure is that the return will be an Integer, unless you change the method to use integer division (backslash instead of forward slash in VB) you’ll get an unproven ensures warning.

]]>