Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/csharp/336.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
C# 如何从代码契约自动生成建议需求？_C#_.net_Code Contracts - Fatal编程技术网
Fatal编程技术网
  • csharp/
  • C# 如何从代码契约自动生成建议需求？

C# 如何从代码契约自动生成建议需求？

c# .net

C# 如何从代码契约自动生成建议需求？,c#,.net,code-contracts,C#,.net,Code Contracts,从静态分析中给我很多建议。有没有办法自动生成建议代码（以节省键入时间） 不，团队确实发布了“代码合同”，但这都是关于查看合同的 据我所知，你得把它们打进去。但是从较低的层次开始，大量信息冒出泡沫，也许你不得不写得比第一次出现的要少

从静态分析中给我很多建议。有没有办法自动生成建议代码（以节省键入时间）

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

据我所知，你得把它们打进去。但是从较低的层次开始，大量信息冒出泡沫，也许你不得不写得比第一次出现的要少