2021-04-29 11:25:00 +02:00
|
|
|
import asyncio
|
2021-04-29 13:11:58 +02:00
|
|
|
from contextlib import asynccontextmanager, contextmanager
|
2021-04-29 11:25:00 +02:00
|
|
|
from pathlib import Path
|
2021-04-29 13:11:58 +02:00
|
|
|
# TODO If we upgrade to python 3.9, these context manager hints are deprecated
|
|
|
|
from typing import (AsyncContextManager, AsyncIterator, ContextManager,
|
|
|
|
Iterator, List, Optional)
|
2021-04-29 11:25:00 +02:00
|
|
|
|
|
|
|
import rich
|
|
|
|
from rich.markup import escape
|
|
|
|
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] = []
|
|
|
|
|
|
|
|
def _start(self) -> None:
|
|
|
|
for line in self._lines:
|
|
|
|
rich.print(line)
|
|
|
|
self._lines = []
|
|
|
|
|
|
|
|
self._progress.start()
|
|
|
|
|
|
|
|
def _stop(self) -> None:
|
|
|
|
self._progress.stop()
|
|
|
|
self._stopped = True
|
|
|
|
|
|
|
|
async def start(self) -> None:
|
|
|
|
with self._lock:
|
|
|
|
self._start()
|
|
|
|
|
|
|
|
async def stop(self) -> None:
|
|
|
|
with self._lock:
|
|
|
|
self._stop()
|
|
|
|
|
|
|
|
def print(self, line: str) -> None:
|
|
|
|
if self._stopped:
|
|
|
|
self._lines.append(line)
|
|
|
|
else:
|
|
|
|
rich.print(line)
|
|
|
|
|
|
|
|
@asynccontextmanager
|
|
|
|
async def _exclusive_output_cm(self) -> AsyncIterator[None]:
|
|
|
|
async with self._lock:
|
|
|
|
self.stop()
|
|
|
|
try:
|
|
|
|
yield
|
|
|
|
finally:
|
|
|
|
self.start()
|
|
|
|
|
2021-04-29 13:11:58 +02:00
|
|
|
def exclusive_output(self) -> AsyncContextManager[None]:
|
2021-04-29 11:25:00 +02:00
|
|
|
return self._exclusive_output_cm()
|
|
|
|
|
|
|
|
@contextmanager
|
|
|
|
def _progress_bar_cm(
|
|
|
|
self,
|
|
|
|
description: str,
|
|
|
|
steps: Optional[float],
|
|
|
|
) -> Iterator[ProgressBar]:
|
|
|
|
taskid = self._progress.add_task(description, steps=steps)
|
|
|
|
bar = ProgressBar(self._progress, taskid)
|
|
|
|
try:
|
|
|
|
yield bar
|
|
|
|
finally:
|
|
|
|
self._progress.remove_task(taskid)
|
|
|
|
|
|
|
|
def progress_bar(
|
|
|
|
self,
|
|
|
|
description: Path,
|
|
|
|
steps: Optional[float],
|
2021-04-29 13:11:58 +02:00
|
|
|
) -> ContextManager[ProgressBar]:
|
2021-04-29 11:25:00 +02:00
|
|
|
return self._progress_bar_cm(escape(str(description)), steps=steps)
|