C# (CSharp) ConsoleApplication8 SomeClassWithANonReadonlyField示例

示例#1

        public void Test2(SomeClassWithANonReadonlyField obj)
        {
            Contract.Requires(obj != null);

            var str = obj.TheString_FromANonReadonlyField;

            Contract.Assert(str != null); // no warning
        }

示例#2

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

	public void Test2(SomeClassWithANonReadonlyField obj)
    {
      Contract.Requires(obj != null);

      var str = obj.TheString_FromANonReadonlyField;

      Contract.Assert(str != null); // no warning
    }