Javascript Disabled Detected

You currently have javascript disabled. Several functions may not work. Please re-enable javascript to access full functionality.

The Netduino forums have been replaced by new forums at community.wildernesslabs.co. This site has been preserved for archival purposes only and the ability to make new accounts or posts has been turned off.

Code Contracts

Started by JonnyBoats, Apr 30 2011 02:51 AM

Please log in to reply

2 replies to this topic

#1 JonnyBoats

Advanced Member

Members
155 posts

LocationPhillips, ME

Posted 30 April 2011 - 02:51 AM

Does anyone know if Code Contracts (http://msdn.microsof...evlabs/dd491992 ) are implemented in the .NET Micro framework?

Back to top

#2 Mario Vernari

Advanced Member

Members
1768 posts

LocationVenezia, Italia

Posted 30 April 2011 - 09:51 AM

Hi Jonny. You have posted a very good question, indeed. I don't think that the contracts could be applied on the MF, at least the runtime checking ones. Maybe the static checking could be performed...that is a very interesting task to study on. Let me some time to search on. There would be another viewpoint to consider, anyway. Due to the strong limitations of the MF (especially on a Netduino board), most of the good-practices cannot be applied, or they are not so convenient. We might consider to study a special "good-practice" guidance for tiny boards like Netduino. Cheers

Biggest fault of Netduino? It runs by electricity.