class documentation

class CheckerPluginInterface: (source)

Known subclasses: mypy.checker.TypeChecker

View In Hierarchy

Interface for accessing type checker functionality in plugins. Methods docstrings contain only basic info. Look for corresponding implementation docstrings in checker.py for more details.

Method fail Emit an error message at given location.
Method named_generic_type Construct an instance of a builtin type with given type arguments.
Class Variable msg Undocumented
Class Variable options Undocumented
Class Variable path Undocumented
Property type_context Return the type context of the plugin
@abstractmethod
def fail(self, msg: str|ErrorMessage, ctx: Context, *, code: ErrorCode|None = None): (source)

Emit an error message at given location.

@abstractmethod
def named_generic_type(self, name: str, args: list[Type]) -> Instance: (source)

Construct an instance of a builtin type with given type arguments.

Undocumented

Undocumented

Return the type context of the plugin