logging: make Logger inherit from Filterer (#1448)

Fixes #1401
This commit is contained in:
Jelle Zijlstra
2017-07-04 19:18:01 -07:00
committed by Matthias Kramm
parent e980c8987b
commit 2b97c02801

View File

@@ -28,7 +28,14 @@ if sys.version_info >= (3,):
else:
_levelNames = ... # type: dict
class Logger:
class Filterer(object):
filters = ... # type: List[Filter]
def __init__(self) -> None: ...
def addFilter(self, filter: Filter) -> None: ...
def removeFilter(self, filter: Filter) -> None: ...
def filter(self, record: 'LogRecord') -> bool: ...
class Logger(Filterer):
name = ... # type: str
level = ... # type: int
parent = ... # type: Union[Logger, PlaceHolder]
@@ -128,14 +135,6 @@ DEBUG = ... # type: int
NOTSET = ... # type: int
class Filterer(object):
filters = ... # type: List[Filter]
def __init__(self) -> None: ...
def addFilter(self, filter: Filter) -> None: ...
def removeFilter(self, filter: Filter) -> None: ...
def filter(self, record: 'LogRecord') -> bool: ...
class Handler(Filterer):
level = ... # type: int
formatter = ... # type: Optional[Formatter]