using System;
using System.Collections.Generic;
using System.Diagnostics.Contracts;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
//c#-检测-代码协定
namespace ConsoleApp32
{
class Program
{
static void Main(string[] args)
{
int a = fun(2,3);
fun2(null);
Console.WriteLine(a);
Console.ReadLine();
}
static int fun(int a, int b) {
Contract.Requires(a > b);
return 5;
}
static void fun2(Object o) {
Contract.Requires<ArgumentException>(o != null, "对象为空");
Contract.EndContractBlock();
Console.WriteLine("fun2 end");
}
}
}
c#-检测-代码协定
最新推荐文章于 2021-01-13 16:18:57 发布