mirror of
https://github.com/Garmelon/PFERD.git
synced 2023-12-21 10:23:01 +01:00
83 lines
2.2 KiB
Python
83 lines
2.2 KiB
Python
import asyncio
|
|
from contextlib import asynccontextmanager, contextmanager
|
|
from types import TracebackType
|
|
from typing import AsyncIterator, Iterator, List, Optional, Type
|
|
|
|
import rich
|
|
from rich.progress import Progress, TaskID
|
|
|
|
|
|
class ProgressBar:
|
|
def __init__(self, progress: Progress, taskid: TaskID):
|
|
self._progress = progress
|
|
self._taskid = taskid
|
|
|
|
def advance(self, amount: float = 1) -> None:
|
|
self._progress.advance(self._taskid, advance=amount)
|
|
|
|
|
|
class TerminalConductor:
|
|
def __init__(self) -> None:
|
|
self._stopped = False
|
|
self._lock = asyncio.Lock()
|
|
self._progress = Progress()
|
|
self._lines: List[str] = []
|
|
|
|
async def _start(self) -> None:
|
|
async with self._lock:
|
|
for line in self._lines:
|
|
rich.print(line)
|
|
self._lines = []
|
|
|
|
self._progress.start()
|
|
|
|
async def _stop(self) -> None:
|
|
async with self._lock:
|
|
self._progress.stop()
|
|
self._stopped = True
|
|
|
|
async def __aenter__(self) -> None:
|
|
await self._start()
|
|
|
|
async def __aexit__(
|
|
self,
|
|
exc_type: Optional[Type[BaseException]],
|
|
exc_value: Optional[BaseException],
|
|
traceback: Optional[TracebackType],
|
|
) -> Optional[bool]:
|
|
await self._stop()
|
|
return None
|
|
|
|
def print(self, line: str) -> None:
|
|
if self._stopped:
|
|
self._lines.append(line)
|
|
else:
|
|
rich.print(line)
|
|
|
|
@asynccontextmanager
|
|
async def exclusive_output(self) -> AsyncIterator[None]:
|
|
async with self._lock:
|
|
self._stop()
|
|
try:
|
|
yield
|
|
finally:
|
|
self._start()
|
|
|
|
@contextmanager
|
|
def progress_bar(
|
|
self,
|
|
description: str,
|
|
total: Optional[float] = None,
|
|
) -> Iterator[ProgressBar]:
|
|
if total is None:
|
|
# Indeterminate progress bar
|
|
taskid = self._progress.add_task(description, start=False)
|
|
else:
|
|
taskid = self._progress.add_task(description, total=total)
|
|
|
|
bar = ProgressBar(self._progress, taskid)
|
|
try:
|
|
yield bar
|
|
finally:
|
|
self._progress.remove_task(taskid)
|