C＃/ Mono支持编程/按合同设计：可以指定＆＃34;要求＆＃34;并且＆＃34;确保＆＃34;声明。这是通过System.Diagnostics.Contracts库完成的。
如果读取规格，则需要＆＃34;重写＆＃34;用ccrewrite执行之前的程序。这个页面http://social.msdn.microsoft.com/Forums/en-US/1d0bc7e9-a1bc-469c-982a-47232308f131/ccrewrite似乎暗示必须在构建程序集之前执行该操作，这很奇怪，因为程序将在构建后被覆盖。
如何在MonoDevelop中实现按合同设计？