Check for abstract base class definitions with no abstractmethods

from abc import ABC, ABCMeta, abstractmethod

class Base(ABC):  # I'd like a lint error here if there are no @abstract* decorated methods

    # @abstractmethod
    def method(self):
        ...

class MyABC(metaclass=ABCMeta):  # and here too for the same reason
    pass

Suggested message: {classname} is an abstract base class, but it has no abstract methods. Remember to use @abstractmethod, @abstractclassmethod, and/or @abstractproperty decorators.

We might also want to emit a warning for a probably-missing-decorator on any method of an ABC where the whole method body is ..., even if there are some abstract-decorated methods on the class.

[cooperlees]

I’m not a fan of that tbh as we don’t have good enough change log enforcement etc. with this project so the 1 commit + release via GitHub is there enough for me imo.

[jakkdl]

I’m starting on a PR now!

We might also want to emit a warning for a probably-missing-decorator on any method of an ABC where the whole method body is …, even if there are some abstract-decorated methods on the class.

How about extending this to the body being anything but pass, ... or string constants - to also catch

# @abstractmethod
def method(self):
  """my abstract method"""
  pass

Similar to pyright’s check for @overload with an implementation https://github.com/microsoft/pyright/blob/6fa755c025cb5b18838d8bfdd85761184afa45f1/packages/pyright-internal/src/analyzer/parseTreeUtils.ts#L1999