U j5{i'%@sdZddlmZzddlZ[Wn&ek rDddlmZdZYntXddlm Z ddl m Z m Z ddlmZmZdd lmZdd lmZmZmZmZmZmZmZmZdd lmZd d lmZm Z ddlm!Z!ddl"m#Z#m$Z$m%Z%m&Z&m'Z'ddl(m)Z)m*Z*m+Z,dZedZ-eede-fge-fZ.ze/Wne0k rBe1Z/YnXddZ2da3e#d)ddZ4e#d*ddZ5e#d+ddZ6e#d,dd Z7d!d"Z8da9e#d#d$Z:e#d%d&Z;e#d'd(Z Returns a string containing IDNA characters. zidna-tables-properties.csv.gzcss|]}|dVqdS)utf-8N)decode).0linerr8/tmp/pip-unpacked-wheel-rqym3v4w/hyperlink/hypothesis.py Qsz"idna_characters..,) delimiterPVALIDr-rcss|]}t|dVqdS)N)int)r*irrr,r-bs) _idnaCharactersrr__file__ open_gzip csv_readernextsplitlenappendranger unichr) resultZ dataFileNameZdataFilerrowcodesprop descriptionZstartEndstartendr4rrr,idna_characters?s4     rGr5cCslt}|dkst|dk r&|dks&ttt|t|||d}z t|Wntk rftdYnX|S)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. rNmin_sizemax_sizealphabetF)rGAssertionErrorrrr idna_encoderr)drawrIrJrKr@rrr,r$os    r$FcCs$|r d}nd}tt|t|ddS)z A strategy which generates port numbers. @param allow_zero: Whether to allow port C{0} as a possible value. rri) min_valueZ max_value)rr3r)rN allow_zerorOrrr,r&sr&Tc Cs|rhtt|tddd}z|dWqtk rdt|ddtdkr`|dd}q8YqXn$tt|tddtttd d }z t |Wnt k rt d YnX|S) 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?rIrJasciipunycodezxn--Nr1rHF) rrr$rUnicodeEncodeErrorr<rrr r UnicodeErrorr)rN allow_idnlabelrrr,r"s,  r"c stt|t|dfddg}|ttt|tt|dddd7}tdd|Dt|dd krz|d d }qJd |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). )rXcsrdS|dtkS)NTr)r )lallow_leading_digitrr,szhostnames..rrRcss|]}t|VqdS)N)r<)r*rYrrr,r-szhostnames..NrU.) rrr"filterr rsumr<r)rNr\rXlabelsrr[r,r#s,    "r#cCs tdkrdd}d|atS)zH Returns a string containing valid URL path characters. Nc ssRttD]D}t|}|dkrqz|dWntk rDYqYnX|VqdS)Nz#/?r()r>r r?rrV)r4crrr,charss  zpath_characters..charsr5)_path_charactersr)rerrr,path_characterss rgcCs$ttt|ttdtdddS)Nr)rIrK )rJ)rr rrrrgrNrrr,r%s r%cCsfttt|tdd}tt|t}ttt|t}|dkrHd}ttt|t d|||dS)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)rPrN)httphttps)schemehostportpath) rrr3r&rr#rr%rr)rNrnrmrorrr,r!#sr!cCst|tS)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. )rr!rirrr,r 9sr )rN)F)T)TT)=__doc__ __future__rZ hypothesis ImportErrortypingr__all__csvrr9os.pathrrstringrr sysr r r r rrrrrgziprr8r5rrrZhypothesis.strategiesrrrrridnarrrrMr'Z DrawCallabler? NameErrorchrrGr6r$r&r"r#rgrfr%r!r rrrr,sT     (    .   - +