C# (CSharp) TestPostconditionInference Virtual示例

示例#1

文件： PostconditionInference.cs 项目： asvishnyakov/CodeContracts

 static public void Test(Virtual v)
 {
   // The warning here is ok, we do not know which instance is passed
   Contract.Assert(v.GetConst() == 15);
 }

示例#2

文件： PostconditionInference.cs 项目： terrorizer1980/CodeContracts

 static public void Test(Virtual v)
 {
     // The warning here is ok, we do not know which instance is passed
     Contract.Assert(v.GetConst() == 15);
 }