如何從代碼合約中自動生成建議的需求？

Question

Code Contracts給我很多靜態分析的建議。有什麼方法可以自動生成建議的代碼（以節省打字時間）？

Answer 1

不，團隊確實發佈了「代碼合同Editor extensions」，但這都是關於查看合同。

就我所知，您只需輸入它們即可。但是從較低的層面開始，很多信息會冒出來，也許您必須寫出比第一次寫入更少的信息。