C# (CSharp) ConsoleApplication8 SomeClassWithTwoConstructors_ShouldWarn примеры использования

Пример #1

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

            var str = obj.TheString;

            Contract.Assert(str != null); // should warn
        }

Пример #2

Файл: ObjectInvariants_Forward.cs Проект: asvishnyakov/CodeContracts

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

      var str = obj.TheString;

      Contract.Assert(str != null); // should warn
    }