如何从代码合同中自动生成建议的要求？

Question

Code Contracts从静态分析中给出了很多建议。有没有办法自动生成建议的代码（节省打字时间）？

Answer 1

不，团队确实发布了“代码合同Editor extensions”，但这都是关于查看合同的。

据我所知，你只需要输入它们。但从较低层开始，很多信息都会冒泡，也许你必须写的比第一次出现的要少。