C# (CSharp) InferenceOfNecessaryEnsures ImplementAbstractClass Examples

Example #1

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

        public int TestViaInstance()
        {
            var myInstance = new ImplementAbstractClass();
            var x          = myInstance.AbstractMethod();

            return(x.Length);
        }

Example #2

File: NecessaryEnsures.cs Project: asvishnyakov/CodeContracts

    public int TestViaInstance()
    {
      var myInstance = new ImplementAbstractClass();
      var x = myInstance.AbstractMethod();

      return x.Length;
    }