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
    }