Exemplos de ConsoleApplication8 SomeClassWithOneConstructor em C# (CSharp)

Exemplo n.º 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
        }

Exemplo n.º 2

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

            var str = obj.TheString;

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

Exemplo n.º 3

Arquivo: ObjectInvariants_Forward.cs Projeto: 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
    }

Exemplo n.º 4

Arquivo: ObjectInvariants_Forward.cs Projeto: asvishnyakov/CodeContracts

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

      var str = obj.TheString;

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