R`i
d dl mZmZmZmZmZ ddlmZ ddlm Z ddl
m Z ddl m
Z
erddlmZmZmZmZ ddlmZ G d d
Zed k( rzd d lmZ dd
lmZ ddlm Z ddl m Z e e ej@ D cg c] } e| e
e!| d c} dd Z" e e e"dd d 5 Z ed yc c} w # 1 sw Y yxY w) )castListOptional
TYPE_CHECKINGUnion )SPINNERS) Measurement)Table)Text)ConsoleConsoleOptions RenderResultRenderableType) StyleTypec e Zd ZdZ dddddeddd ed
d ed df
d
Z ddZddddd e fdZ
ded dfdZ ddddddd ed
d ee d dfdZ y)Spinnera A spinner animation.
Args:
name (str): Name of spinner (run python -m rich.spinner).
text (RenderableType, optional): A renderable to display at the right of the spinner (str or Text typically). Defaults to "".
style (StyleType, optional): Style for spinner animation. Defaults to None.
speed (float, optional): Speed factor for animation. Defaults to 1.0.
Raises:
KeyError: If name isn't one of the supported spinner animations.
Ng ?)stylespeednametextr r r r returnc ` t | }t |t rt j
| n|| _ t t t |d d d | _ t t |d | _ d | _ || _
|| _ d| _ d| _ y # t $ r t d| w xY w)Nzno spinner called framesinterval )r KeyError
isinstancestrr from_markupr r r r floatr
start_timer r frame_no_offset
_update_speed)selfr r r r spinners /builddir/build/BUILDROOT/alt-python312-pip-23.3.1-3.el8.x86_64/opt/alt/python312/lib/python3.12/site-packages/pip/_vendor/rich/spinner.py__init__zSpinner.__init__ s : tnG '1s&;D T "
49gh&78; UGJ$78
+/
&) : /x89 9 :s B B-consoler
optionsr c # N K | j |j y w)N)renderget_time)r& r* r+ s r( __rich_console__zSpinner.__rich_console__1 s kk'**,--s #%c R | j d }t j ||| S )Nr )r- r
get)r& r* r+ r s r( __rich_measure__zSpinner.__rich_measure__6 s$ {{1~w66 timec | j || _ || j z
| j z | j dz z | j z }t | j
t
| t | j
z | j xs d }| j r&|| _ || _ | j | _ d| _ | j s|S t | j t t f r!t j |d| j S t j d }|j! || j |S )zRender the spinner for a given time.
Args:
time (float): Time in seconds.
Returns:
RenderableType: A renderable containing animation frame.
g @@r r r r )padding)r# r r r$ r r intlenr r% r r r assembler gridadd_row)r& r4 frame_noframetables r( r- zSpinner.render< s ?? " "DODOO+tzz9 MMF "
! KKH
DKK(88 9AQr
#+D "DO ++DJ!$D yyL
C;
/==TYY7 7JJq)E MM% +Lr3 )r r r c |r,t |t rt j | n|| _ |r|| _ |r|| _ yy)a Updates attributes of a spinner after it has been started.
Args:
text (RenderableType, optional): A renderable to display at the right of the spinner (str or Text typically). Defaults to "".
style (StyleType, optional): Style for spinner animation. Defaults to None.
speed (float, optional): Speed factor for animation. Defaults to None.
N)r r r r! r r r% )r& r r r s r( updatezSpinner.update^ s> 2ra s = = NN d' d'N z !'}x}} 7
7
LtD ,>g'N O 7
L
l*6B
#J )
s = C9 C
C