o G_'%@sdZddlmZzddlZ[Wney!ddlmZdZYdSwddlm 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/Wn e0ye1Z/YnwddZ2da3e#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).0linerr6/usr/lib/python3/dist-packages/hyperlink/hypothesis.py Qz"idna_characters..,)Z delimiterZPVALIDr-rcss|]}t|dVqdS)N)int)r*irrr,r-br.N) _idnaCharactersrr__file__ open_gzip csv_readernextsplitlenappendranger unichr) resultZ dataFileNameZdataFilerrowZcodesZprop descriptionZstartEndstartendr3rrr,idna_characters?s8     rDr4cCsjt}|dks J|dur|dksJtt|t|||d}zt|W|Sty4tdY|Sw)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)rDrrr idna_encoderr)drawrFrGrHr?rrr,r$os    r$FcCs$|rd}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)rr2r)rJ allow_zerorKrrr,r&sr&Tc Cs|r>tt|tddd}z|dWn;ty=t|ddtdkr;|dd}t|ddtdks(Ynwtt|tddtttd d }zt |W|St yet d Y|Sw) 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?rFrGasciiZpunycodezxn--Nr0rEF) rrr$rUnicodeEncodeErrorr;rrr r UnicodeErrorr)rJ allow_idnlabelrrr,r"s6      r"c stt|t|dfddg}|ttt|tt|dddd7}tdd|Dt|dd krM|d d }tdd|Dt|dd 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). )rScsrdS|dtvS)NTr)r )lallow_leading_digitrr,szhostnames..rrNcss|]}t|VqdS)N)r;)r*rTrrr,r-szhostnames..NrP.) rrr"filterr rsumr;r)rJrWrSlabelsrrVr,r#s.   " " r#cCs tdurdd}d|atS)zH Returns a string containing valid URL path characters. Nc ssNttD]}t|}|dvrqz|dWn ty Yqw|VqdS)Nz#/?r()r=r r>rrQ)r3crrr,charss  zpath_characters..charsr4)_path_charactersr)r`rrr,path_characterss rbcCs$ttt|ttdtdddS)Nr)rFrH )rG)rr rrrrbrJrrr,r%s r%cCsfttt|tdd}tt|t}ttt|t}|dkr$d}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)rLrN)ZhttpZhttps)Zschemehostportpath) rrr2r&rr#rr%rr)rJrfrergrrr,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!rdrrr,r 9sr )rN)F)T)TT)=__doc__Z __future__rZ hypothesis ImportErrortypingr__all__Zcsvrr8os.pathrrstringrr sysr r r r rrrrrgziprr7r4rrrZhypothesis.strategiesrrrrrZidnarrrrIr'Z DrawCallabler> NameErrorchrrDr5r$r&r"r#rbrar%r!r rrrr,sZ      (    .   - +