Exemplos de InferenceOfNecessaryEnsures AbstractClass em C# (CSharp)

Exemplo n.º 1

Arquivo: NecessaryEnsures.cs Projeto: wang-xinhong/CodeContracts

        public int TestViaAbstractClass(AbstractClass abs)
        {
            Contract.Requires(abs != null);

            var x = abs.AbstractMethod();

            return(x.Length);
        }

Exemplo n.º 2

Arquivo: NecessaryEnsures.cs Projeto: asvishnyakov/CodeContracts

    public int TestViaAbstractClass(AbstractClass abs)
    {
      Contract.Requires(abs != null);

      var x = abs.AbstractMethod();

      return x.Length;
    }