/// <summary> /// Delete a method from this scope. /// </summary> /// <param name="meth">The method to be deleted.</param> public void RemoveMethod(MethodRef meth) { Contract.Requires(meth != null); defaultClass.RemoveMethod(meth); }