Exemple #1
0
        public int TestViaAbstractClass(AbstractClass abs)
        {
            Contract.Requires(abs != null);

            var x = abs.AbstractMethod();

            return(x.Length);
        }
Exemple #2
0
    public int TestViaAbstractClass(AbstractClass abs)
    {
      Contract.Requires(abs != null);

      var x = abs.AbstractMethod();

      return x.Length;
    }