public int TestViaAbstractClass(AbstractClass abs) { Contract.Requires(abs != null); var x = abs.AbstractMethod(); return(x.Length); }
public int TestViaAbstractClass(AbstractClass abs) { Contract.Requires(abs != null); var x = abs.AbstractMethod(); return x.Length; }