Exemplos de ConsoleApplication8 SomeClassWithTwoConstructors_AndFieldCannotBeNull em C# (CSharp)

Exemplo n.º 1

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

            var str = obj.TheString;

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

Exemplo n.º 2

Arquivo: ObjectInvariants_Forward.cs Projeto: asvishnyakov/CodeContracts

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

      var str = obj.TheString;

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