| Server IP : 209.38.156.173 / Your IP : 216.73.216.122 [ Web Server : Apache/2.4.52 (Ubuntu) System : Linux lakekumayuhotel 5.15.0-136-generic #147-Ubuntu SMP Sat Mar 15 15:53:30 UTC 2025 x86_64 User : root ( 0) PHP Version : 8.1.2-1ubuntu2.22 Disable Function : NONE Domains : 2 Domains MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /usr/lib/python3/dist-packages/hyperlink/__pycache__/ |
Upload File : |
o
G�_'% � @ s� d Z ddlmZ zddlZ[W n ey! ddlmZ dZY dS w ddlm Z
ddl m Z m
Z
ddlmZmZ dd lmZ dd
lmZmZmZmZmZmZmZmZ dd lm Z d d
l m Z m Z ddlm!Z! ddl"m#Z#m$Z$m%Z%m&Z&m'Z' ddl(m)Z)m*Z*m+Z, dZed�Z-eede-f ge-f Z.ze/ W n e0y� e1Z/Y nw dd� Z2da3e#d)dd��Z4e#d*dd��Z5e#d+d d ��Z6e#d,d d ��Z7d!d"� Z8da9e#d#d$� �Z:e#d%d&� �Z;e#d'd(� �Z<dS )-z
Hypothesis strategies.
� )�absolute_importN)�Tuple� )�reader)�dirname�join)�
ascii_letters�digits)�
maxunicode)�Callable�Iterable�List�Optional�Sequence�Text�TypeVar�cast)�open� )�
DecodedURL�
EncodedURL)�assume)� composite�integers�lists� sampled_from�text)� IDNAError� check_label�encode)� decoded_urls� encoded_urls�hostname_labels� hostnames� idna_text�paths� port_numbers�T.c C s� t swg } ttt�d�}t|��[}tdd� |D �dd�}t|� |D ]A}|\}}}|dkr-q!|d �dd �}t|�d krB|� |d � d
d� |D �\} }
t
| |
d �D ]} | t krZ n| � t | �� qRq!W d � n1 smw Y d �| �a t S )
z>
Returns a string containing IDNA characters.
z idna-tables-properties.csv.gzc s s � | ]}|� d �V qdS )�utf-8N)�decode)�.0�liner r �6/usr/lib/python3/dist-packages/hyperlink/hypothesis.py� <genexpr>Q � � z"idna_characters.<locals>.<genexpr>�,)� delimiter�PVALIDr �-r c s s � | ]}t |d �V qdS )� N)�int)r* �ir r r, r- b r. N� )
�_idnaCharactersr r �__file__� open_gzip�
csv_reader�next�split�len�append�ranger
�unichr) �result� dataFileName�dataFiler �row�codes�prop� description�startEnd�start�endr5 r r r, �idna_characters? s8 �
�
�� �
rK r6 c C sj t � }|dks J �|dur|dksJ �tt| t|||d���}zt|� W |S ty4 td� Y |S w )a(
A strategy which generates IDNA-encodable text.
@param min_size: The minimum number of characters in the text.
C{None} is treated as C{0}.
@param max_size: The maximum number of characters in the text.
Use C{None} for an unbounded size.
r N��min_size�max_size�alphabetF)rK r r r � idna_encoder r )�drawrM rN rO rA r r r, r$ o s �
�
�r$ Fc C s$ |rd}nd}t t| t|dd���S )z�
A strategy which generates port numbers.
@param allow_zero: Whether to allow port C{0} as a possible value.
r r i�� )� min_value� max_value)r r4 r )rQ �
allow_zerorR r r r, r& � s r& Tc C s� |r>t t| tddd���}z|�d� W n; ty= t|�d��dtd� kr;|dd� }t|�d��dtd� ks(Y nw t t| tddttt d �d
���}zt |� W |S t
ye t d � Y |S w ) z�
A strategy which generates host name labels.
@param allow_idn: Whether to allow non-ASCII characters as allowed by
internationalized domain names (IDNs).
r �? �rM rN �ascii�punycodezxn--N���r2 rL F) r r r$ r �UnicodeEncodeErrorr= r r r r � UnicodeErrorr )rQ � allow_idn�labelr r r, r" � s6 ��� ���
�
�r" c s� t t| t|d��� fdd����g}|t tt | tt|d�ddd���7 }tdd� |D ��t|� d d krM|d
d � }tdd� |D ��t|� d d ks6d �|�S )
aD
A strategy which generates host names.
@param allow_leading_digit: Whether to allow a leading digit in host
names; they were not allowed prior to RFC 1123.
@param allow_idn: Whether to allow non-ASCII characters as allowed by
internationalized domain names (IDNs).
)r\ c s � rdS | d t vS )NTr )r )�l��allow_leading_digitr r, �<lambda>� s zhostnames.<locals>.<lambda>r � rV c s s � | ]}t |�V qd S )N)r= )r* r] r r r, r- � s � z hostnames.<locals>.<genexpr>� NrY �.) r r r" �filterr
r �sumr= r )rQ r` r\ �labelsr r_ r, r# � s.
����
���"
"�
r# c C s t du rdd� } d�| � �a t S )zH
Returns a string containing valid URL path characters.
Nc s sN � t t�D ] } t| �}|dv rqz|�d� W n ty Y qw |V qd S )Nz#/?r( )r? r
r@ r rZ )r5 �cr r r, �chars s � ��z path_characters.<locals>.charsr6 )�_path_charactersr )ri r r r, �path_characters� s rk c C s$ t tt | ttdt� d�dd���S )Nr )rM rO �
)rN )r r
r r r rk �rQ r r r, r% s ��r% c C sf t tt | tdd���}t t| t� ��}t tt | t� ��}|dkr$d}tt t| t d���|||d�S )z�
A strategy which generates L{EncodedURL}s.
Call the L{EncodedURL.to_uri} method on each URL to get an HTTP
protocol-friendly URI.
T)rT r N)�http�https)�scheme�host�port�path)
r r r4 r& r r# r r% r r )rQ rr rq rs r r r, r! # s �r! c C s t | t� ��S )z�
A strategy which generates L{DecodedURL}s.
Call the L{EncodedURL.to_uri} method on each URL to get an HTTP
protocol-friendly URI.
)r r! rm r r r, r 9 s r )r N)F)T)TT)=�__doc__�
__future__r �
hypothesis� ImportError�typingr �__all__�csvr r: �os.pathr r �stringr r �sysr
r r r
r r r r r �gzipr r9 r6 r r r �hypothesis.strategiesr r r r r �idnar r r rP r' � DrawCallabler@ � NameError�chrrK r7 r$ r& r" r# rk rj r% r! r r r r r, �<module> sZ
� (
�. - +