Code Contract brings this programming paradigm to.net.
代码契约为。NET引入了这种编程范式。
A Code Contract that fails, on the other hand, tells you a lot more.
代码合同的失败,另一方面,告诉你很多。
Whereas an assertion tells you only about a detected bad symptom, a Code Contract can show invaluable information on how the method should be used.
而断言告诉您只对检测到的不良症状,则代码合同可以显示宝贵的资讯应如何使用该方法。
应用推荐