Make several fields on _dummy_threading classes read-only properties (#7588)

This commit is contained in:
Alex Waygood
2022-04-05 07:35:00 +01:00
committed by GitHub
parent 414f324083
commit b8f2eb3930

View File

@@ -80,8 +80,9 @@ class local:
class Thread:
name: str
ident: int | None
daemon: bool
@property
def ident(self) -> int | None: ...
def __init__(
self,
group: None = ...,
@@ -183,9 +184,12 @@ class Timer(Thread):
def cancel(self) -> None: ...
class Barrier:
parties: int
n_waiting: int
broken: bool
@property
def parties(self) -> int: ...
@property
def n_waiting(self) -> int: ...
@property
def broken(self) -> bool: ...
def __init__(self, parties: int, action: Callable[[], None] | None = ..., timeout: float | None = ...) -> None: ...
def wait(self, timeout: float | None = ...) -> int: ...
def reset(self) -> None: ...