Ejemplos de ConsoleApplication8 SomeClassWithTwoConstructors_AndFieldCannotBeNull en C# (CSharp)

Ejemplo n.º 1

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

            var str = obj.TheString;

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

Ejemplo n.º 2

Archivo: ObjectInvariants_Forward.cs Proyecto: asvishnyakov/CodeContracts

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

      var str = obj.TheString;

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