C# (CSharp) InferenceOfNecessaryEnsures AbstractClass Examples

Example #1

File: NecessaryEnsures.cs Project: wang-xinhong/CodeContracts

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

            var x = abs.AbstractMethod();

            return(x.Length);
        }

Example #2

File: NecessaryEnsures.cs Project: asvishnyakov/CodeContracts

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

      var x = abs.AbstractMethod();

      return x.Length;
    }