class documentation
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 |
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 |
Return the type context of the plugin |
@abstractmethod
def fail(self, msg:
def fail(self, msg:
str|ErrorMessage
, ctx: Context
, *, code: ErrorCode|None
= None):
(source)
¶
overridden in
mypy.checker.TypeChecker
Emit an error message at given location.
overridden in
mypy.checker.TypeChecker
Construct an instance of a builtin type with given type arguments.