C# (CSharp) TestPostconditionInference NullFieldの例

コード例 #1

        public void SomeMethod()
        {
            var tmp = new NullField();

            Contract.Assert(tmp.s != null); // false
        }

コード例 #2

ファイル: PostconditionInferenceNonnull.cs プロジェクト: asvishnyakov/CodeContracts

    public void SomeMethod()
    {
      var tmp = new NullField();

      Contract.Assert(tmp.s != null); // false
    }