前提条件允许方法为输入参数提供最低要求的值
例...
void DoWork(string input) { Contract.Requires(!string.IsNullOrEmpty(input)); //做工作 }
静态分析结果...