| Server IP : 217.160.0.135 / Your IP : 216.73.217.85 Web Server : Apache System : Linux www 6.18.52-i1-ampere #1203 SMP Mon Sep 14 18:29:59 CEST 2026 aarch64 User : sws1074145052 ( 1074145052) PHP Version : 8.3.32 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /lib/python3/dist-packages/pip/_vendor/rich/__pycache__/ |
Upload File : |
�
�/�c � � � d dl mZmZmZmZmZ ddlmZ ddlm Z ddl
mZ ddlm
Z
erddlmZmZmZmZ ddlmZ G d � d
� � Zedk rzd dlmZ dd
lmZ ddlmZ ddlmZ ed� e ej � � � � D � � dd�� � Z! e ee!dd�� � d�� � 5 Z ed� � �# 1 swxY w Y dS dS )� )�cast�List�Optional�
TYPE_CHECKING�Union� )�SPINNERS)�Measurement)�Table)�Text)�Console�ConsoleOptions�RenderResult�RenderableType)� StyleTypec � � e Zd Z dddd�deddded d
eddf
d�Z dd�Zd
ddddefd�Z deddfd�Z
dddd�ddded d
ee ddfd�ZdS )�Spinner� Ng �?)�style�speed�name�textr r r r �returnc � � t | }n # t $ r t d|��� � �w xY wt |t � � rt j |� � n|| _ t t t |d � � dd� | _ t t |d � � | _ d| _ || _
|| _ d| _ d| _ dS )a 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.
zno spinner called �framesN�interval� )r �KeyError�
isinstance�strr �from_markupr r r r �floatr �
start_timer r �frame_no_offset�
_update_speed)�selfr r r r �spinners �:/usr/lib/python3/dist-packages/pip/_vendor/rich/spinner.py�__init__zSpinner.__init__ s� � �& :��t�n�G�G��� :� :� :��8��8�8�9�9�9� :���� '1��s�&;�&;�E�D��T�"�"�"��
� � �4��9�g�h�&7�8�8����;����U�G�J�$7�8�8��
�+/�����
���
�&)��� ����s �
�-�consoler
�optionsr r c # �\ K � | � |� � � � � V � d S )N)�render�get_time)r&