C# (CSharp) ConsoleApplication8 SomeClassWithOneConstructorの例

コード例 #1

        public void Test1(SomeClassWithOneConstructor obj)
        {
            Contract.Requires(obj != null);

            var str = obj.TheString_AsMethodCall(); // we should infer the postcondition

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

コード例 #2

        public void Test0(SomeClassWithOneConstructor obj)
        {
            Contract.Requires(obj != null);

            var str = obj.TheString;

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

コード例 #3

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

    public void Test1(SomeClassWithOneConstructor obj)
    {
      Contract.Requires(obj != null);

      var str = obj.TheString_AsMethodCall(); // we should infer the postcondition

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

コード例 #4

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

    public void Test0(SomeClassWithOneConstructor obj)
    {
      Contract.Requires(obj != null);

      var str = obj.TheString;

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